|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 467 occurrences of 232 keywords
|
|
|
|
|
Results
Found 269 publication records. Showing 269 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 4 | M. Esperanza Manso, Marcela Genero, Mario Piattini |
No-redundant Metrics for UML Class Diagram Structural Complexity.  |
CAiSE  |
2003 |
DBLP DOI BibTeX RDF |
Class diagram structural complexity, class diagram maintainability, principal component analysis, metrics, empirical validation |
| 4 | Marcela Genero, Luis Jiménez, Mario Piattini |
A Controlled Experiment for Validating Class Diagram Structural Complexity Metrics.  |
OOIS  |
2002 |
DBLP DOI BibTeX RDF |
UML class diagram structural complexity, UML class diagram modifiability, structural complexity metrics, fuzzy rule system, prediction model, empirical validation |
| 3 | Yan Zhang, Yi Liu, Le Zhang, Zhiyi Ma, Hong Mei |
Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram.  |
COMPSAC  |
2008 |
DBLP DOI BibTeX RDF |
non-functional attributes, model checking, model driven development, UML class diagram |
| 3 | Ahmad Alsaadi |
Applying the UML Class Diagram in the Performance Analysis.  |
EPEW  |
2006 |
DBLP DOI BibTeX RDF |
performance analysis, database, relationship, class, class diagram |
| 3 | Ahmad Alsaadi |
A performance analysis approach based on the UML class diagram.  |
WOSP  |
2004 |
DBLP DOI BibTeX RDF |
QN performance model, data integrity constraints, data integrity model, performance values, UML class diagram |
| 2 | Manoli Albert, Jordi Cabot, Cristina Gómez, Vicente Pelechano |
Automatic generation of basic behavior schemas from UML class diagrams.  |
Software and System Modeling  |
2010 |
DBLP DOI BibTeX RDF |
Behavior schema, Structural event, UML, OCL, Operation, Class diagram |
| 2 | Hector Miguel Chavez, Wuwei Shen, Shaoying Liu |
An approach to detection of UML-based ownership violation.  |
SAC  |
2009 |
DBLP DOI BibTeX RDF |
UML, Eclipse, class diagram, ownership, model checker |
| 2 | Deisymar Botega Tavares, Alcione de Paiva Oliveira, José Luís Braga, Jugurta Lisboa Filho |
Analysis Procedure for Validation of Domain Class Diagrams Based on Ontological Analysis.  |
ER Workshops  |
2009 |
DBLP DOI BibTeX RDF |
software procedure, Conceptual Model, Class Diagram, Ontological Analysis |
| 2 | Oksana Nikiforova, Natalya Pavlova |
Development of the Tool for Generation of UML Class Diagram from Two-Hemisphere Model.  |
ICSEA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Hong Zhou, Feng Chen, Hongji Yang |
Developing Application Specific Ontology for Program Comprehension by Combining Domain Ontology with Code Ontology.  |
QSIC  |
2008 |
DBLP DOI BibTeX RDF |
Ontology, Program Comprehension, Concepts, Relations, Domain knowledge, Class Diagram |
| 2 | Marcela Genero, M. Esperanza Manso, Corrado Aaron Visaggio, Gerardo Canfora, Mario Piattini |
Building measure-based prediction models for UML class diagram maintainability.  |
Empirical Software Engineering  |
2007 |
DBLP DOI BibTeX RDF |
UML, Measures, Prediction model, Maintainability, Controlled experiments, Size, Class diagrams, Empirical validation, Understandability, Structural complexity, Modifiability |
| 2 | Andrés Vignaga, M. Cecilia Bastarrica |
Transforming system operations' interactions into a design class diagram.  |
SAC  |
2007 |
DBLP DOI BibTeX RDF |
Kermeta, model transformation, metamodeling, MDE |
| 2 | Ahmed M. Mostafa, Manal A. Ismai, Hatem El-Bolok, E. M. Saad |
Toward a Formalization of UML2.0 Metamodel using Z Specifications.  |
SNPD  |
2007 |
DBLP DOI BibTeX RDF |
Use Case Diagram, State Machine Diagram, Unified Modeling Language (UML), Formalization, Class Diagram, Z specification language |
| 2 | Azzam Maraee, Mira Balaban |
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets.  |
ECMDA-FA  |
2007 |
DBLP DOI BibTeX RDF |
finite satisfiability, reasoning about class diagram, generalization set constraints, class hierarchy structure, consistency, UML class diagram, cardinality constraints |
| 2 | Marcin Szlenk |
Formal Semantics and Reasoning about UML Class Diagram.  |
DepCoS-RELCOMEX  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Ahmad Alsaadi |
Checking Data Integrity via the UML Class Diagram.  |
ICSEA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz |
Transformation of B specifications into UML class diagrams and state machines.  |
SAC  |
2006 |
DBLP DOI BibTeX RDF |
UML, state machine, B method, class diagram |
| 2 | Terrence P. Fries |
A framework for transforming structured analysis and design artifacts to UML.  |
SIGDOC  |
2006 |
DBLP DOI BibTeX RDF |
structured analysis and design, UML, class diagram, sequence diagram, data flow diagram, entity relationship diagram |
| 2 | Raoudha Ben Djemaa, Ikram Amous, Abdelmajid Ben Hamadou |
WA-UML: Towards a UML extension for modelling Adaptive Web Applications.  |
WSE  |
2006 |
DBLP DOI BibTeX RDF |
WA-UML, Adaptive Web Application, analysis class diagram, navigational feature, UML profile, use case diagram |
| 2 | Carl Alphonce, Blake Martin |
Green: a pedagogically customizable round-tripping UML class diagram Eclipse plug-in.  |
ETX  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Carl Alphonce, Blake Martin |
Green: a customizable UML class diagram plug-in for eclipse.  |
OOPSLA Companion  |
2005 |
DBLP DOI BibTeX RDF |
Java, design, UML, reverse-engineering, object-orientation, code generation, CS1, CS2 |
| 2 | Carl Alphonce, Blake Martin |
Green: a customizable UML class diagram plug-in for eclipse.  |
OOPSLA Companion  |
2005 |
DBLP DOI BibTeX RDF |
Java, design, UML, reverse-engineering, object-orientation, code generation, CS1, CS2 |
| 2 | Jin-Sung Kim, Chun-Sik Yoo, Mi-Kyung Lee, Yong-Sung Kim |
Object Modeling of RDF Schema for Converting UML Class Diagram.  |
ICCSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Yann-Gaël Guéhéneuc |
A Systematic Study of UML Class Diagram Constituents for their Abstract and Precise Recovery.  |
APSEC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Marcela Genero, Mario Piattini, M. Esperanza Manso, Giovanni Cantone |
Building UML Class Diagram Maintainability Prediction Models Based on Early Metrics.  |
IEEE METRICS  |
2003 |
DBLP DOI BibTeX RDF |
prediction model, maintainability, controlled experiments, size, class diagrams, empirical validation, object-oriented metrics, structural complexity |
| 2 | Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns |
Test Adequacy Assessment for UML Design Model Testing.  |
ISSRE  |
2003 |
DBLP DOI BibTeX RDF |
category partitioning, UML, software testing, class diagram, test adequacy criteria, design reviews, collaboration diagram |
| 2 | Benoit Baudry, Yves Le Traon, Gerson Sunyé |
Testability Analysis of a UML Class Diagram.  |
IEEE METRICS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Marcela Genero, Mario Piattini, Coral Calero |
Empirical Validation of Class Diagram Metrics.  |
ISESE  |
2002 |
DBLP DOI BibTeX RDF |
OO high-level metrics, UML, maintainability, class diagrams, empirical validation, structural complexity |
| 2 | Muan Yong Ng, Michael J. Butler |
Tool Support for Visualizing CSP in UML.  |
ICFEM  |
2002 |
DBLP DOI BibTeX RDF |
UML, CSP, class diagram, state diagram |
| 2 | Paolo Tonella, Alessandra Potrich |
Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers. (PDF / PS)  |
ICSM  |
2001 |
DBLP DOI BibTeX RDF |
UML, reverse engineering, software maintenance, flow analysis |
| 2 | Gregor Engels, Reiko Heckel, Stefan Sauer |
UML - A Universal Modeling Language?  |
ICATPN  |
2000 |
DBLP DOI BibTeX RDF |
UML, profile, statechart, object-oriented model, OCL, class diagram, interaction diagram |
| 1 | Z. M. Ma, Fu Zhang, Li Yan |
Fuzzy information modeling in UML class diagram and relational database models.  |
Appl. Soft Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoichiro Fujiwara, Kazuki Munakata, Yoshiharu Maeda, Asako Katayama, Tadahiro Uehara |
Test data generation for web application using a UML class diagram with OCL constraints.  |
ISSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumaya Amdouni, Wahiba Ben Abdessalem Karaa, Sondes Bouabid |
Semantic annotation of requirements for automatic UML class diagram generation  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Janis Sejans, Oksana Nikiforova |
Problems and Perspectives of Code Generation from UML Class Diagram.  |
J. Riga Technical University  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oksana Nikiforova, Janis Sejans, Antons Cernickins |
Role of UML Class Diagram in Object-Oriented Software Development.  |
J. Riga Technical University  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Janis Sejans, Oksana Nikiforova |
Practical Experiments with Code Generation from the UML Class Diagram.  |
MDA/MDSD  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Uldis Donins, Janis Osis, Armands Slihte, Erika Asnina, Bernards Gulbis |
Towards the Refinement of Topological Class Diagram as a Platform Independent Model.  |
MDA/MDSD  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Maged Elaasar, Yvan Labiche |
Diagram Definition: A Case Study with the UML Class Diagram.  |
MoDELS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bonita Sharif |
Empirical assessment of UML class diagram layouts based on architectural importance.  |
ICSM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Soler, Imma Boada, Ferran Prados, Jordi Poch, Ramón Fabregat |
A Formative Assessment Tool for Conceptual Database Design Using UML Class Diagram.  |
iJET  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mohd Zainuri Saringat, Tutut Herawan, Rosziati Ibrahim |
A Proposal for Constructing Relational Database from Class Diagram.  |
Computer and Information Science  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hidekazu Enjo, Junichi Iijima |
Towards Class Diagram Algebra for Composing Data Models.  |
SoMeT  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hironori Washizaki, Masayoshi Akimoto, Atsushi Hasebe, Atsuto Kubo, Yoshiaki Fukazawa |
TCD: A Text-Based UML Class Diagram Notation and Its Model Converters.  |
FGIT-ASEA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianhua Yang, Bhuvan Unhelkar |
Iterative class diagram construction in consideration of modeling granularity.  |
RCIS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Scanniello, Anna D'Amico, Carmela D'Amico, Teodora D'Amico |
An approach for architectural layer recovery.  |
SAC  |
2010 |
DBLP DOI BibTeX RDF |
software maintenance, class diagram, architecture recovery, software clustering |
| 1 | Frédéric Jouault, Bert Vanhooff, Hugo Bruneliere, Guillaume Doux, Yolande Berbers, Jean Bézivin |
Inter-DSL coordination support by combining megamodeling and model weaving.  |
SAC  |
2010 |
DBLP DOI BibTeX RDF |
megamodeling, coordination, domain-specific languages, model-driven engineering, model weaving |
| 1 | Oksana Nikiforova |
Two Hemisphere Model Driven Approach for Generation of UML Class Diagram in the Context of MDA.  |
e-Informatica  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Natalya Pavlova, Oksana Nikiforova |
Obtaining of elements of UML class diagram from initial information about problem domain.  |
J. Riga Technical University  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Raimbault, David Genest, Stéphane Loiseau |
Using UML Class Diagram as a Knowledge Engineering Tool.  |
ICEIS  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bonita Sharif, Jonathan I. Maletic |
An empirical study on the comprehension of stereotyped UML class diagram layouts.  |
ICPC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Raimbault, David Genest, Stéphane Loiseau |
A Useful Logical Semantics of UML for Querying and Checking UML Class Diagram.  |
ICAART  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bong-Jin Choi, Yong-Sung Kim, Yan Ha |
UML for XML-GL Query Using Class Diagram and OCL.  |
SERA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Kienzle, Wisam Al Abed, Jacques Klein |
Aspect-oriented multi-view modeling.  |
AOSD  |
2009 |
DBLP DOI BibTeX RDF |
aspect dependencies, binding, class diagram, sequence diagram, aspect-oriented modeling, state diagram, instantiation |
| 1 | Vipin Saxena, Deepak Arora |
Performance evaluation for object oriented software systems.  |
ACM SIGSOFT Software Engineering Notes  |
2009 |
DBLP DOI BibTeX RDF |
Pentium D, core 2 duo, visual C#, UML class diagram, UML sequence diagram, visual C++ |
| 1 | Marco Brambilla, Christina Tziviskou |
An Online Platform for Semantic Validation of UML Models.  |
ICWE  |
2009 |
DBLP DOI BibTeX RDF |
ontology, Semantic Web, UML, component, validation, conceptual modeling, pattern, reasoner, class diagram, WebML |
| 1 | Jin-Sung Kim, Kwang-Jin Choi |
Modeling rule for analysis and design of e-learning content.  |
ICHIT  |
2009 |
DBLP DOI BibTeX RDF |
mapping method, object modeling, SCORM, e-learning content |
| 1 | Marwan Abi-Antoun, Jonathan Aldrich |
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations.  |
OOPSLA  |
2009 |
DBLP DOI BibTeX RDF |
architectural extraction, component-and-connector view, conformance analysis, points-to analysis, object graphs, object diagram, runtime architecture |
| 1 | Eunjee Song, Hanil Kim, Wuliang Sun |
A property-based verification approach in aspect-oriented modeling.  |
SAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vipin Saxena, Manish Shrivastava |
Performance of function point analysis through UML modeling.  |
ACM SIGSOFT Software Engineering Notes  |
2009 |
DBLP DOI BibTeX RDF |
UML, software metrics, function point analysis, size estimation |
| 1 | Maen Hammad, Michael L. Collard, Jonathan I. Maletic |
Automatically identifying changes that impact code-to-design traceability.  |
ICPC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Shan, Hong Zhu |
Semantics of Metamodels in UML.  |
TASE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Conceptual Modeling for Data Integration.  |
Conceptual Modeling: Foundations and Applications  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Sen, Benoit Baudry, Jean-Marie Mottu |
Automatic Model Generation Strategies for Model Transformation Testing.  |
ICMT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan M. Vara, Belén Vela, Verónica Andrea Bollati, Esperanza Marcos |
Supporting Model-Driven Development of Object-Relational Database Schemas: A Case Study.  |
ICMT  |
2009 |
DBLP DOI BibTeX RDF |
Code Generation, Model Transformations, Model-Driven Engineering, Object-Relational Databases |
| 1 | Mathias Kleiner, Patrick Albert, Jean Bézivin |
Parsing SBVR-Based Controlled Languages.  |
MoDELS  |
2009 |
DBLP DOI BibTeX RDF |
constraints, model-driven engineering, configuration, parsing, SBVR, Controlled languages, model search |
| 1 | Spyros T. Halkidis, Alexander Chatzigeorgiou, George Stephanides |
Moving from Requirements to Design Confronting Security Issues: A Case Study.  |
OTM Conferences  |
2009 |
DBLP DOI BibTeX RDF |
Misuse Cases, Requirements Specification, Software Security, Risk Analysis, Security Patterns |
| 1 | Yves Wautelet, Nicolas Neysen, Manuel Kolp |
An Ontology for Modeling Complex Inter-relational Organizations.  |
OTM Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu |
Graph transformations for object-oriented refinement.  |
Formal Asp. Comput.  |
2009 |
DBLP DOI BibTeX RDF |
Class graph, Structure refinement, Object-orientation, Graph transformation, Normal form, Object graph |
| 1 | Kevin Lano |
A compositional semantics of UML-RSDS.  |
Software and System Modeling  |
2009 |
DBLP DOI BibTeX RDF |
UML semantics, UML-RSDS, Model transformations |
| 1 | Paolo Atzeni, Giorgio Gianforme, Paolo Cappellari |
A Universal Metamodel and Its Dictionary.  |
T. Large-Scale Data- and Knowledge-Centered Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Berlizev, Nicolas Guelfi |
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process.  |
Methods, Models and Tools for Fault Tolerance  |
2009 |
DBLP DOI BibTeX RDF |
fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations |
| 1 | Ajaree Naco, Vilas Wuwongse, Chutiporn Anutariya |
A Transformation-Based Approach to Application Model Development: Class Diagram Generation.  |
International Journal of Software Engineering and Knowledge Engineering  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. C. Tseng, Chun-Ling Chen |
Enriching the class diagram concepts to capture natural language semantics for database access.  |
Data Knowl. Eng.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oksana Nikiforova, Natalya Pavlova |
Open Work of Two-Hemisphere Model Transformation Definition into UML Class Diagram in the Context of MDA.  |
CEE-SET  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Faridah Hani Mohamed Salleh, Nazrita Ibrahim, Loo Yim Ling |
Design of Tool for Generating UML Analysis Class Diagram.  |
CIMCA/IAWTIC/ISE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk |
UML Class Diagram as a Navigational Support for E-Learning.  |
ICALT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabnam Sengupta, Swapan Bhattacharya |
Formalization of UML diagrams and their consistency verification: A Z notation based approach.  |
ISEC  |
2008 |
DBLP DOI BibTeX RDF |
UML, traceability, formalization, class diagram, sequence diagram, Z notation, automated verification, use case diagram, ER diagram |
| 1 | Waldemar Pires, João Brunet, Franklin Ramalho |
UML-based design test generation.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
design test, code generation, MDA, UML class diagram |
| 1 | Ian Bayley, Hong Zhu |
Specifying Behavioural Features of Design Patterns in First Order Logic.  |
COMPSAC  |
2008 |
DBLP DOI BibTeX RDF |
Modelling, UML, Formal Specification, Formal Method, Object Orientation, Design Pattern, First Order Logic, Class Diagram, Sequence Diagram |
| 1 | Evangelos Kalampokis, Efthimios Tambouris, Konstantinos A. Tarabanis |
A Domain Model for eParticipation.  |
ICIW  |
2008 |
DBLP DOI BibTeX RDF |
conceptual model, domain model, class-diagram, eParticipation |
| 1 | Lan Anh Tran |
A UML Model of the Client Tracking System at the Learning Enrichment Foundation in Toronto, Canada: A Study of Class, Object, and State Diagrams.  |
WSKS  |
2008 |
DBLP DOI BibTeX RDF |
Client Tracking System, Class diagram, UML Model, State diagram, Object Diagram |
| 1 | Marwan Alseid, Dimitrios Rigas |
Efficiency of multimodal metaphors in the presentation of learning information.  |
BCS HCI  |
2008 |
DBLP DOI BibTeX RDF |
usability, e-learning, efficiency, multimodal interaction, avatar |
| 1 | Amit Raj, T. V. Prabhakar, Stan Hendryx |
Transformation of SBVR business design to UML models.  |
ISEC  |
2008 |
DBLP DOI BibTeX RDF |
business design, production rule representation, UML, model driven architecture, business rules, SBVR |
| 1 | Heorhiy Byelas, Alexandru Telea |
Texture-based visualization of metrics on software architectures.  |
SOFTVIS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinita, Amita Jain, Devendra K. Tayal |
On reverse engineering an object-oriented code into UML class diagrams incorporating extensible mechanisms.  |
ACM SIGSOFT Software Engineering Notes  |
2008 |
DBLP DOI BibTeX RDF |
UML, reverse engineering, object-oriented programming, class diagrams |
| 1 | Chunbo Bao, Boliang Wang |
A Open Source Based General Framework for Virtual Surgery Simulation.  |
BMEI  |
2008 |
DBLP DOI BibTeX RDF |
Virtual surgery simulation, framework design, open source |
| 1 | Andrea De Lucia, Carmine Gravino, Rocco Oliveto, Genoveffa Tortora |
Assessing the Support of ER and UML Class Diagrams during Maintenance Activities on Data Models.  |
CSMR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiufu Liu, Zhong Yang |
UML and B Method Based Analysis and Refinement for Flight Control Software of Unmanned Aerial Vehicle.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adil Anwar, Sophie Ebersold, Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile |
Towards a Generic Approach for Model Composition.  |
ICSEA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Kaplan, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz |
Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation.  |
ICST  |
2008 |
DBLP DOI BibTeX RDF |
UML Model-based Test Generation, Use Case Based Test Generation, Test Verification Sequence, Fault Models for UML, Invariants analysis |
| 1 | Sagar Sen, Benoit Baudry, Jean-Marie Mottu |
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing.  |
ICST  |
2008 |
DBLP DOI BibTeX RDF |
cartier, model tranformation, testing, alloy |
| 1 | Narayan C. Debnath, Maria Carmen Leonardi, María Virginia Mauco, German Montejano, Daniel Riesco |
Improving Model Driven Architecture with Requirements Models.  |
ITNG  |
2008 |
DBLP DOI BibTeX RDF |
LEL, Requirements Engineering, MDA, Scenario Model |
| 1 | Guan Hongjie, Meng Fan-rong, Xia Zhanguo |
Research on UML-based Modeling of Workflow Manage System.  |
SNPD  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Segla Kpodjedo, Filippo Ricca, Philippe Galinier, Giuliano Antoniol |
Error Correcting Graph Matching Application to Software Evolution.  |
WCRE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Spyros T. Halkidis, Nikolaos Tsantalis, Alexander Chatzigeorgiou, George Stephanides |
Architectural Risk Analysis of Software Systems Based on Security Patterns.  |
IEEE Trans. Dependable Sec. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin F. Snook, Michael J. Butler |
UML-B: A Plug-in for the Event-B Tool Set.  |
ABZ  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Shan, Hong Zhu |
A Formal Descriptive Semantics of UML.  |
ICFEM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolás Janota, Victoria Kuzina, Andrzej Wasowski |
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.  |
MoDELS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer |
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.  |
MoDELS  |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 269 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|