|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6398 occurrences of 1806 keywords
|
|
|
Results
Found 8456 publication records. Showing 8456 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Ye Wu, Jeff Offutt |
Maintaining Evolving Component-Based Software with UML. |
CSMR |
2003 |
DBLP DOI BibTeX RDF |
Unified, software maintenance, program analysis, Modeling Language (UML), component-based software |
32 | Matthias Tichy, Holger Giese |
Seamless UML Support for Service-Based Software Architectures. |
FIDJI |
2003 |
DBLP DOI BibTeX RDF |
Development methodologies for UML, service-based architectures, design of distributed Java applications |
32 | Colin Atkinson 0001, Thomas Kühne 0001 |
Rearchitecting the UML infrastructure. |
ACM Trans. Model. Comput. Simul. |
2002 |
DBLP DOI BibTeX RDF |
UML infrastructure, classification dimensions, deep instantiation, strict metamodeling, classification, unified modeling language, Metamodeling |
32 | Leandro Buss Becker, R. H. Höltz, Carlos Eduardo Pereira |
On Mapping RT-UML Specifications to RT-Java API: Bridging the Gap. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
real-time object computing, RT-UML, RT-Java, code generation |
32 | Tetsuro Katayama |
Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
diagram transformation editor, Unified Modeling Language (UML), object-oriented design, modeling tool, transformation rules |
32 | Jean Hartmann, Claudio Imoberdorf, Michael Meisinger |
UML-Based integration testing. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
COM/DCOM, XML, CORBA, test generation, functional testing, distributed components, UML statecharts, test execution |
32 | Martin Wolf 0002, Evgeni Ivanov, Rainer Burkhardt, Ilka Philippow |
UML Tool Support: Utilization of Object-Oriented Models. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
UML-Modeling Tool, Model checking, Frameworks, Patterns, Object-oriented Modeling |
32 | Diego Latella, István Majzik, Mieke Massink |
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. |
Formal Aspects Comput. |
1999 |
DBLP DOI BibTeX RDF |
UML Statechart Diagrams, Model-checking, Program transformation, SPIN, PROMELA |
32 | Liuying Li, Zhichang Qi |
Test Selection from UML Statecharts. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
Wp-method, concurrency, test case selection, UML Statecharts |
32 | Dong Kwan Kim, Hyo Taeg Jung, Chae Kyu Kim |
Techniques for Systematically Generating Framework Diagram based on UML. |
APSEC |
1998 |
DBLP DOI BibTeX RDF |
Framework Diagram, Unified Modeling Language(UML), Interface, Reuse, Object-Oriented Framework, Control Flow |
32 | Roman Gumzej, Wolfgang A. Halang |
A safety shell for UML-RT projects structure and methods of the corresponding UML pattern. |
Innov. Syst. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Safety shell, Real time, Pattern, Safety, UML-RT |
32 | David Garcia Rosado, Eduardo Fernández-Medina, Javier López 0001 |
Applying a UML Extension to Build Use Cases Diagrams in a Secure Mobile Grid Application. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
secure mobile Grid, secure development, Security, Use Cases, UML extension |
32 | Anthony J. H. Simons |
Use Cases Considered Harmful. |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
UML 1.3, UML semantics, cognitive misdirection, use cases, ambiguity, inconsistency, control flow |
32 | Padmanabhan Krishnan |
Consistency checks for UML. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
UML consistency checking, state predicates, PVS theorem prover, Prototype Verification System, partially specified systems, behavioural description, Unified Modeling Language, formal verification, theorem proving, specification languages, diagrams, computation history, UML diagrams, dynamic aspects |
29 | Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen |
A methodology for specifying and analyzing consistency of object-oriented behavioral models. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
behavioral consistency, UML, UML, CSP, object-oriented modeling |
29 | Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang |
Object-Z web environment and projections to UML. |
WWW |
2001 |
DBLP DOI BibTeX RDF |
XML/XSL/XMI, XML, UML, UML, WEB, object-Z |
29 | Fried Hoeben |
Using UML models for performance calculation. |
Workshop on Software and Performance |
2000 |
DBLP DOI BibTeX RDF |
automated performance estimates, distributed systems, UML, UML, abstractions, component based systems, performance engineering |
29 | Hans J. Köhler, Ulrich Nickel 0002, Jörg Niere, Albert Zündorf |
Integrating UML diagrams for production control systems. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
UML, UML, embedded systems, statecharts, SDL, graph grammars, collaboration diagrams |
29 | Ali Ebnenasir, Betty H. C. Cheng |
A Pattern-Based Approach for Modeling and Analyzing Error Recovery. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, UML, Formal Methods, Requirements Analysis, Error Recovery, Corrector |
29 | Thomas Fahringer, Sabri Pllana, Johannes Testori |
Teuta: Tool Support for Performance Modeling of Distributed and Parallel Applications. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
Distributed and Parallel Applications, Performance, UML, Modeling and Simulation |
29 | Stefano Ceri, Peter Dolog, Maristella Matera, Wolfgang Nejdl |
Model-Driven Design of Web Applications with Client-Side Adaptation. |
ICWE |
2004 |
DBLP DOI BibTeX RDF |
WebML Modeling, UML, Personalization, Web Engineering |
29 | Franck Barbier, Brian Henderson-Sellers, Annig Le Parc, Jean-Michel Bruel |
Formalization of the Whole-Part Relationship in the Unified Modeling Language. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
Whole-Part relationship, UML, composition, aggregation, Object-oriented modeling |
29 | Anneke Kleppe, Jos Warmer |
The Semantics of the OCL Action Clause. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
action clause, UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions |
29 | Franck Barbier |
Component-Based Design of Large-Scale Distributed Systems. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
Distributed Systems, UML, Software Components |
29 | Robert L. Nord, Daniel J. Paulish, Robert W. Schwanke, Dilip Soni |
Software architecture in a changing world: developing design strategies that anticipate change. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
UML |
29 | Ulrich Nickel 0002, Jörg Niere, Albert Zündorf |
The FUJABA environment. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
Java, UML |
29 | Vipin Saxena, Manish Shrivastava 0002 |
Performance of function point analysis through UML modeling. |
ACM SIGSOFT Softw. Eng. Notes |
2009 |
DBLP DOI BibTeX RDF |
UML, software metrics, function point analysis, size estimation |
29 | 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 |
29 | Christine Choppy, Gianna Reggio |
A method for developing UML state machines. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
UML, state machine |
29 | Michael Decker |
An UML profile for the modelling of mobile business processes and workflows. |
MobiMedia |
2009 |
DBLP DOI BibTeX RDF |
mobile business processes/workflows, usecase diagrams, modelling, UML, location-based services, activity diagrams |
29 | Ariadi Nugroho, Michel R. V. Chaudron |
Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
UML, Complexity, Coupling, Case Study, Defect Density |
29 | Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos |
Automatic Generation of Integrated Formal Models Corresponding to UML System Models. |
TOOLS (47) |
2009 |
DBLP DOI BibTeX RDF |
Epsilon, UML, Model transformation, CSP, B |
29 | Dae-Kyoo Kim, Wuwei Shen |
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies. |
Softw. Qual. J. |
2008 |
DBLP DOI BibTeX RDF |
Pattern conformance, RBML, UML, Design pattern |
29 | 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 |
29 | Luis Reynoso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini |
Formal definition of measures for UML statechart diagrams using OCL. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
UML, measures, metamodeling, OCL, understandability, structural properties, formal definition, statechart diagrams |
29 | Bill Hasling, Helmut Goetz, Klaus Beetz |
Model Based Testing of System Requirements using UML Use Case Models. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
UML, Model Based Testing, Requirements Tracing |
29 | Kalliopi Tourtoglou, Maria Virvou |
User Modelling in a Collaborative Learning Environment for UML. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
UML, user modelling, CSCL, learning environment, stereotypes |
29 | Panuchart Bunyakiati, Anthony Finkelstein, James Skene, Clovis Chapman |
Using JULE to generate a compliance test suite for the UML standard. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
ocl, test generation, metamodel, certification, binary decision diagram, uml |
29 | Huáscar Espinoza, David Servat, Sébastien Gérard |
Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems. |
SHARK |
2008 |
DBLP DOI BibTeX RDF |
UML, embedded systems, model-driven engineering, design space exploration, trade-off analysis |
29 | Vincent Pretre, Fabrice Bouquet, Christophe Lang |
Automating UML models merge for web services testing. |
iiWAS |
2008 |
DBLP DOI BibTeX RDF |
web services, UML, model based testing |
29 | Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting |
A subset of precise UML for model-based testing. |
A-MOST |
2007 |
DBLP DOI BibTeX RDF |
UML, model-based testing, OCL |
29 | Gene Wang, Brian McSkimming, Zachary Marzec, Joshua Gardner, Adrienne Decker, Carl Alphonce |
Green: a flexible UML class diagramming tool for eclipse. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
Java, design, UML, reverse-engineering, object-orientation, code generation |
29 | Ethan Hadar, Irit Hadar |
Effective preparation for design review: using UML arrow checklist leveraged on the Gurus' knowledge. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
modeling, UML, refactoring, object-oriented design, design review, software engineering methodology |
29 | Gene Wang, Brian McSkimming, Zachary Marzec, Joshua Gardner, Adrienne Decker, Carl Alphonce |
Green: a flexible UML class diagramming tool for eclipse. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
Java, design, UML, reverse-engineering, object-orientation, code generation, CS1, CS2 |
29 | Darius Silingas, Ruslanas Vitiutinas |
Towards UML-Intensive Framework for Model-Driven Development. |
CEE-SET |
2007 |
DBLP DOI BibTeX RDF |
MagicDraw, UML, MDA, Model-Driven Development |
29 | Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta |
Platform-Independent Programming of Data-Intensive Applications Using UML. |
CEE-SET |
2007 |
DBLP DOI BibTeX RDF |
UML, MDA, query language, database applications, executable modelling, action language |
29 | Jordi Cabot, Robert Clarisó, Daniel Riera |
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
UML, MDD, constraint programming, OCL, model verification |
29 | Christian Bunse |
Using patterns for the refinement and translationof UML models: A controlled experiment. |
Empir. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
UML, Patterns, Empirical evaluation, Understandability, Verifiability |
29 | Amel Mammar, Régine Laleau |
A formal approach based on UML and B for the specification and development of database applications. |
Autom. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Relational implementation, UML, Formal methods, Integration, Database applications, B |
29 | Felix Bübl |
Keeping track of crosscutting requirements in UML models via context-based constraints. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
modelling, UML, constraints, AOP, requirements engineering, AOSD |
29 | Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Flávio Rech Wagner |
MDA-based approach for embedded software generation from a UML/MOF repository. |
SBCCI |
2006 |
DBLP DOI BibTeX RDF |
UML, MDA, design space exploration, embedded systems design |
29 | Cédric Teyssié |
UML-based Specification of QoS Contract Negotiation and Service Level Agreements. |
ICN/ICONS/MCL |
2006 |
DBLP DOI BibTeX RDF |
QoS, UML, specification, negotiation, Service Level Agreement |
29 | Jacqueline A. McQuillan, James F. Power |
On the Application of Software Metrics to UML Models. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
UML, software metrics, metamodels, object-oriented systems |
29 | Minseong Kim, Suntae Kim, Sooyong Park, Mun-Taek Choi, Munsang Kim, Hassan Gomaa |
UML-based service robot software development: a case study. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
object-oriented analysis and design methods, service robot development, software engineering, UML |
29 | Martin Gogolla, Jörn Bohling, Mark Richters |
Validating UML and OCL models in USE by automatic snapshot generation. |
Softw. Syst. Model. |
2005 |
DBLP DOI BibTeX RDF |
models, UML, Invariant, Reasoning, OCL, Test case, Class diagram, Model validation, Snapshot, Pre- and postcondition, Model testing |
29 | Karsten Sohr, Gail-Joon Ahn, Lars Migge |
Articulating and enforcing authorisation policies with UML and OCL. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
UML |
29 | Elli Georgiadou, Eleni Berki, Maria del Brezo Cordero, Margaret Ross 0001, Geoff Staples |
Towards Formalised Guidelines for Migrating Structured Designs to UML: A Case Study. |
Softw. Qual. J. |
2005 |
DBLP DOI BibTeX RDF |
isomorphic models, UML, testing, reuse, re-engineering, structured designs, OO |
29 | Akram Idani, Yves Ledru, Didier Bert |
Derivation of UML Class Diagrams as Static Views of Formal B Developments. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
UML, Formal concept analysis, B, Method integration |
29 | Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières |
Consistency in UML and B Multi-view Specifications. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
UML, verification, consistency, operator, B, multi-view |
29 | Robert B. France, Dae-Kyoo Kim, Sudipto Ghosh, Eunjee Song |
A UML-Based Pattern Specification Technique. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
pattern specification, UML, Design patterns, object-oriented models |
29 | Flora Dilys Salim, Rosanne Price, Shonali Krishnaswamy, Maria Indrawan |
UML Documentation Support for XML Schema. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
UML, reverse engineering, transformation, graphical modelling, XML Schema, conceptual |
29 | Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001 |
A Formal Semantics of UML Sequence Diagram. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
UML, Semantics, Consistency, Sequence Diagram |
29 | Patricia K. Schank, Lawrence Hamel |
Collaborative modeling: hiding UML and promoting data examples in NEMo. |
CSCW |
2004 |
DBLP DOI BibTeX RDF |
example-driven design, XML, UML, participatory design, data modeling, domain modeling, knowledge extraction |
29 | Gergely Pintér, István Majzik |
Modeling and Analysis of Exception Handling by Using UML Statecharts. |
FIDJI |
2004 |
DBLP DOI BibTeX RDF |
model checking, UML, formal methods, Exception handling |
29 | Robert G. Pettit IV |
Lessons Learned Applying UML in Embedded Software Systems Designs. |
WSTFEUS |
2004 |
DBLP DOI BibTeX RDF |
UML, Embedded Systems, Object Oriented, Software Design, Experience Reports, Lessons Learned |
29 | Indrakshi Ray, Na Li, Robert B. France, Dae-Kyoo Kim |
Using uml to visualize role-based access control constraints. |
SACMAT |
2004 |
DBLP DOI BibTeX RDF |
modeling, UML, RBAC |
29 | Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen |
Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
safety requirements specification, safety patterns, radio-based train control system (FFB), UML, object orientation, level crossing |
29 | Hallvard Trætteberg |
Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach. |
DSV-IS |
2003 |
DBLP DOI BibTeX RDF |
UML, Statecharts, user interface model, dialog model |
29 | Lionel C. Briand, Yvan Labiche |
A UML-Based Approach to System Testing. |
Softw. Syst. Model. |
2002 |
DBLP DOI BibTeX RDF |
Testing of object-oriented systems, UML, Testability, Sequence Diagrams, System testing, Use Cases |
29 | Zhiming Liu 0001, Xiaoshan Li, Jifeng He 0001 |
Using Transition Systems to Unify UML Models. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, Conceptual model, Transition systems, Use-case model |
29 | Tsuneo Nakata, Akio Matsuda, Minoru Shoji, Shinya Kuwamura, Qiang Zhu 0005 |
An Object-Oriented Design Process for System-on-Chip Using UML. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
system level performance evaluation, UML, design process, system level design, object-oriented analysis and design |
29 | Dominik Stein, Stefan Hanenberg, Rainer Unland |
A UML-based aspect-oriented design notation for AspectJ. |
AOSD |
2002 |
DBLP DOI BibTeX RDF |
UML |
29 | Philippe Kruchten, Bran Selic, Wojtek Kozaczynski |
Tutorial: describing software architecture with UML. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
UML |
29 | Bernhard Bauer |
UML classes diagrams and agent-based systems. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
internal behavior of agents, software engineering, UML, agents, AUML, design artifacts |
29 | Stefan Sauer 0001, Gregor Engels |
UML-based Behavior Specification of Interactive Multimedia Applications. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
UML, interactive multimedia, behavior specification, integrated modeling |
29 | Frank Keienburg, Andreas Rausch |
Using XML/XMI for Tool Supported Evolution of UML Models. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
XML, UML, Tool, Migration, XMI, Model evolution |
29 | Paolo Tonella, Alessandra Potrich |
Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
UML, reverse engineering, software maintenance, flow analysis |
29 | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
mixed specification, symbolic transition systems, Korrigan, UML, formal specification, graphical notation |
29 | Luiz Marcio Cysneiros, Julio César Sampaio do Prado Leite |
Using UML to reflect non-functional requirements. |
CASCON |
2001 |
DBLP BibTeX RDF |
UML |
29 | Sophie Dupuy, Lydie du Bousquet |
A Multi-formalism Approach for the Validation of UML Models. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Rational Rose ™, RoZ, Z-EVES, UML, Z, Lustre, Multi-formalism |
29 | Dionisis X. Adamopoulos, George Pavlou, Constantine A. Papandreou |
A UML Based Methodology for the Creation of TINA Compatible Telecommunications Services. |
ISCC |
2000 |
DBLP DOI BibTeX RDF |
service creation methodology, new telecommunications services, TINA-C, UML, service engineering |
29 | Vangalur S. Alagar, D. Muthiayen |
Towards a mechanical verification of real-time reactive systems modeled in UML. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
Prototype Verification System, real-time systems, UML, Unified Modeling Language, formal specification, object-oriented programming, program verification, specification languages, PVS, notation, safety-critical applications, mechanical verification, real-time reactive systems, design analysis, object-based systems |
29 | Joseph Gil, John Howse, Stuart Kent 0001 |
Advanced visual modeling (tutorial session): beyond UML. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
UML |
29 | Juan Trujillo 0001, Jaime Gómez, Manuel Palomar |
Modeling the Behavior of OLAP Applications Using an UML Compilant Approach. |
ADVIS |
2000 |
DBLP DOI BibTeX RDF |
conceptual modeling, uml, multidimensionality, olap |
29 | Stefania Gnesi, Diego Latella, Mieke Massink |
Model Checking UML Statechart Diagrams Using JACK. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Branching Time Temporal Logics, Model Checking, UML, Formal Verification |
29 | Liliana Favre, Silvia Clerici |
Integrating UML and Algebraic Specification Techniques. |
TOOLS (32) |
1999 |
DBLP DOI BibTeX RDF |
UML, object-oriented programming, reusability, algebraic specification, forward engineering |
29 | Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane |
A Model Driven Approach to the Analysis of Timeliness Properties. |
ECMDA-FA |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Narayan C. Debnath, Ana Gabriela Garis, Daniel Riesco, German Montejano |
Defining OCL constraints for the Proxy Design Pattern Profile. |
AICCSA |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel |
Reliability Prediction in Model-Driven Development. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Farooque Azam, Li Zhang 0029, Rashid Ahmad 0001 |
Higher-Level Information Aspects of Web Systems: Addressing the Problem of Disconnection. |
ICWE |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Viviane Torres da Silva, Ricardo Choren, Carlos José Pereira de Lucena |
Using the MAS-ML to Model a Multi-agent System. |
SELMAS |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Jochen Malte Küster, Gregor Engels |
Consistency Management Within Model-Based Object-Oriented Development of Components. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Zamira Daw, Marcus Vetter |
Deterministic UML Models for Interconnected Activities and State Machines. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
deterministic behavior, state machine, Activity |
28 | Özlem Albayrak |
An experiment to observe the impact of UML diagrams on the effectiveness of software requirements inspections. |
ESEM |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Yefei Zhao, Zongyuan Yang, Jinkui Xie |
Formal semantics of UML state diagram and automatic verification based on Kripke structure. |
CCECE |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Fateh Boutekkouk, Mohamed Benmohammed |
UML Modeling and Formal Verification of Control/Data Driven Embedded Systems. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Zhe Chen 0011, Gilles Motet |
A Language-Theoretic View on Guidelines and Consistency Rules of UML. |
ECMDA-FA |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Frédéric Mallet |
Clock constraint specification language: specifying clock constraints with UML/MARTE. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Unified modeling language, Constraints, MARTE, Time model |
28 | Tony Spiteri Staines |
Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Lisane B. de Brisolara, Marcio F. da S. Oliveira, Ricardo Miotto Redin, Luís C. Lamb, Luigi Carro, Flávio Rech Wagner |
Using UML as Front-end for Heterogeneous Software Code Generation Strategies. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
|
|