|
|
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 |
28 | Pierre-Alain Muller, Didier Bresch, Philippe Studer |
Model-Driven Architecture for Automatic-Control: An Experience Report. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Amador Durán 0001, Beatriz Bernárdez 0001, Marcela Genero, Mario Piattini |
Empirically Driven Use Case Metamodel Evolution. |
UML |
2004 |
DBLP DOI BibTeX RDF |
metamodel evolution, use cases, empirical software engineering |
28 | Perdita Stevens, Jon Whittle 0001, Grady Booch (eds.) |
«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Isabel Nunes |
An OCL Extension for Low-Coupling Preserving Contracts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Alexander Egyed |
Compositional and Relational Reasoning during Class Abstraction. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Ivan Porres |
Model Refactorings as Rule-Based Update Transformations. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Khaled Alghathbar, Duminda Wijesekera |
Consistent and Complete Access Control Policies in Use Cases. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Jean Bézivin, Nicolas Farcet, Jean-Marc Jézéquel, Benoît Langlois, Damien Pollet |
Reflective Model Driven Engineering. |
UML |
2003 |
DBLP DOI BibTeX RDF |
model transformation, model-driven engineering |
28 | Peter Coad |
Agile Processes: Developing Your Own "Secret Recipes". |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Jörn Guy Süß, Andreas Leicher, Herbert Weber, Ralf-Detlef Kutsche |
Model-Centric Engineering with the Evolution and Validation Environment. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Jörg Pleumann, Stefan Haustein |
A Model-Driven Runtime Environment for Web Applications. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Ákos Schmidt, Dániel Varró |
CheckVML: A Tool for Model Checking Visual Modeling Languages. |
UML |
2003 |
DBLP DOI BibTeX RDF |
model checking, formal verification, metamodeling, graph transformation, visual modeling languages |
28 | Jean-Marc Jézéquel, Heinrich Hußmann, Stephen Cook 0001 (eds.) |
UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Michael Jackson 0001 |
Descriptions in Software Development. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Gonzalo Génova, Juan Lloréns, Víctor Quintana |
Digging into Use Case Relationships. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
28 | David Garlan |
Software, Heal Thyself! |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Tony Clark 0001, Andy Evans, Stuart Kent 0001 |
A Metamodel for Package Extension with Renaming. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Martin Gogolla, Cris Kobryn (eds.) |
«UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Bente Anda, Hege Dreiem, Dag I. K. Sjøberg, Magne Jørgensen |
Estimating Software Development Effort Based on Use Cases-Experiences from Industry. |
UML |
2001 |
DBLP DOI BibTeX RDF |
estimation, Use cases, industrial experience |
28 | Frank Devos, Eric Steegmans |
The Message Paradigm in Object-Oriented Analysis. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Elizabeth Latronico, Philip Koopman |
Representing Embedded System Sequence Diagrams as a Formal Language. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Emil Sekerinski, Rafik Zurob |
iState: A Statechart Translator. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Birgit Demuth, Heinrich Hußmann, Sten Loecher |
OCL as a Specification Language for Business Rules in Database Applications. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Andy Evans, Stuart Kent 0001, Bran Selic (eds.) |
«UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Luca Pazzi |
Part-Whole Statecharts for the Explicit Representation of Compound Behaviors. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer |
Consistency Checking and Visualization of OCL Constraints. |
UML |
2000 |
DBLP BibTeX RDF |
|
28 | Jean Bézivin, Pierre-Alain Muller (eds.) |
The Unified Modeling Language, «UML»'98: Beyond the Notation, First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Robert B. France, Bernhard Rumpe (eds.) |
«UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing |
Correct Realization of Interface Constraints with OCL. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Mark Richters, Martin Gogolla |
A Metamodel for OCL. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Gunnar Övergaard |
A Formal Approach to Collaborations in the Unified Modeling Language |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Brian Henderson-Sellers, Franck Barbier |
Black and White Diamonds. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Richard F. Paige, Jonathan S. Ostroff |
A Comparison of the Business Object Notation and the Unified Modelling Language. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz |
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Berner, Martin Glinz, Stefan Joos |
A Classification of Stereotypes for Object-Oriented Modeling Languages. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Marwan Abi-Antoun, Nenad Medvidovic |
Enabling the Refinement of a Software Architecture into a Design. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Stuart Kent 0001, John Howse |
Mixing Visual and Textual Constraint Languages. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Steve Cook, Anneke Kleppe, Richard Mitchell, Jos Warmer, Alan Cameron Wills |
Defining the Context of OCL Expressions. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Christian Bunse, Colin Atkinson 0001 |
The Normal Object Form: Bridging the Gap from Models to Code. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Neelam Soundarajan, Stephen Fridella |
Modeling Exceptional Behavior. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Joaquin Miller, Rebecca Wirfs-Brock |
How Can Anything be Both a Classifier and a Package? |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Luís Filipe Andrade, José Luiz Fiadeiro |
Interconnecting Objects Via Contracts. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Holger Giese, Jörg Graf, Guido Wirtz |
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Ali Hamie, Franco Civello, John Howse, Stuart Kent 0001, Richard Mitchell |
Reflections on the Object Constraint Language. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h |
Validating Distributed Software Modeled with the Unified Modeling Language. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Philippe Desfray |
Automation of Design Pattern: Concepts, Tools and Practices. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Bernard Morand |
Modeling: Is it Turning Informal into Formal? |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Gunnar Övergaard, Karin Palmkvist |
A Formal Approach to Use Cases and Their Relationships. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Birgit Korherr, Beate List |
Extending the UML 2 Activity Diagram with Business Process Goals and Performance Measures and the Mapping to BPEL. |
ER (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Beate List, Birgit Korherr |
A UML 2 Profile for Business Process Modelling. |
ER (Workshops) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Edgardo Belloni, Claudia A. Marcos |
MAM-UML: An UML Profile for the Modeling of Mobile-Agent Applications. |
SCCC |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Mikael Berndtsson, Bengt Calestam |
Graphical notations for active rules in UML and UML-A. |
ACM SIGSOFT Softw. Eng. Notes |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Giovanni Giachetti, Manuela Albert, Beatriz Marín, Oscar Pastor 0001 |
Linking UML and MDD through UML Profiles: a Practical Approach based on the UML Association. |
J. Univers. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Günther Pernul, Matti Rossi |
6th International Workshop on Foundations and Practices of UML (FP-UML 2010). |
ER Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Piotr Kosiuczenko |
Formal Redesign of UML Class Diagrams. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Liliana Favre |
A Formal Mapping between UML Static Models and Algebraic Specifications. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel |
Conformance Testing from UML Specifications. Experience Report. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Rolf Hennicker, Nora Koch |
Modeling the User Interface of Web Applications with UML. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Zhijiang Dong, Xudong He |
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Simon Pickin 0001, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray |
A UML-integrated Test Description Language for Component Testing. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Richard F. Paige, Jonathan S. Ostroff |
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Geri Georg, Jores Bieman, Robert B. France |
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama |
An Axiomatic Formalization of UML Models. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Alan Wills |
Catalytic Modeling: UML meets XP. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Jan Hendrik Hausmann, Jochen Malte Küster, Stefan Sauer 0001 |
Identifying Semantic Dimensions of (UML) Sequence Diagrams. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Thomas Stauner, Alexander Pretschner, Istran Péter |
Approaching a Discrete-Continuous UML: Tool Support and Formalization. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Shiri Davidson, Mila Keren, Sara Porat, Gabi Zodik |
Designing Procedural 4GL Applications through UML Modeling. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Jeffrey E. Smith, Mieczyslaw M. Kokar, Kenneth Baclawski |
Formal Verification of UML Diagrams: A First Step Towards Code Generation. |
pUML |
2001 |
DBLP BibTeX RDF |
|
28 | Jesús García Molina, María-José Ortín-Ibáñez, Begoña Moros, Joaquín Nicolás, José Ambrosio Toval Álvarez |
Transforming the OOram Three-Model Architecture into a UML-based Process. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
OOram, Three-model architecture, UML-based processes, UML, Conceptual modeling, Business modeling, Use case modeling |
28 | Leonardus Budiman Arief, Neil A. Speirs |
A UML tool for an automatic generation of simulation programs. |
Workshop on Software and Performance |
2000 |
DBLP DOI BibTeX RDF |
UML, program generators, UML extension, discrete simulation, process-oriented, model design |
28 | Miguel de Miguel, Thomas Lambolais, Mehdi Hannouz, Stéphane Betgé-Brezetz, Sophie Piekarec |
UML extensions for the specification and evaluation of latency constraints in architectural models. |
Workshop on Software and Performance |
2000 |
DBLP DOI BibTeX RDF |
UML extension techniques, performance constraints evaluation, real-time object-oriented systems, UML, temporal requirements |
28 | Frédéric Mallet, Robert de Simone |
MARTE: a profile for RT/E systems modeling, analysis-and simulation? |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
UML profile, MARTE |
28 | Dragan Gasevic, Dragan Djuric, Vladan Devedzic |
MDA-based Automatic OWL Ontology Development. |
Int. J. Softw. Tools Technol. Transf. |
2007 |
DBLP DOI BibTeX RDF |
Model Driven Architecture, OWL, XSLT, UML Profile, Ontology development |
28 | Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 |
Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Multimedia, Time, Meta modeling, Formal semantics, Graph transformation, Sequence diagram, UML extensions |
28 | Gergely Pintér, István Majzik |
Runtime Verification of Statechart Implementations. |
WADS |
2004 |
DBLP DOI BibTeX RDF |
temporal logic, Runtime verification, UML statecharts |
28 | Matthias Beyer, Winfried Dulz |
Scenario-Based Statistical Testing of Quality of Service Requirements. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
Markov Chain Usage Model, QoS, Software Testing, Automatic Test Generation, TTCN-3, MSC, UML Sequence Diagram |
28 | Dolors Costal, Cristina Gómez 0001, Anna Queralt, Ruth Raventós, Ernest Teniente |
Improving the definition of general constraints in UML. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
Conceptual modeling, Integrity constraints, UML profile |
28 | 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 |
28 | Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet, Janees Elamkulam |
Verification Framework for Detecting Safety Violations in UML Statecharts. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Verification, UML Statecharts |
28 | Yan Zhang, Yi Liu, Le Zhang, Zhiyi Ma, Hong Mei 0001 |
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 |
28 | María Agustina Cibrán |
Translating BPMN Models into UML Activities. |
Business Process Management Workshops |
2008 |
DBLP DOI BibTeX RDF |
UML Activities, MDA, Model Transformations, BDD, MDE, BPMN, ATL |
28 | Bjørnar Solhaug, Ketil Stølen |
Compositional Refinement of Policies in UML - Exemplified for Access Control. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
policy adherence, access control, UML sequence diagrams, Policy specification, policy refinement |
28 | Dragan Milicev |
On the Semantics of Associations and Association Ends in UML. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
association end, Unified Modeling Language (UML), conceptual modeling, model-driven development, Object-oriented modeling, formal semantics, association |
28 | José Jacobo Zubcoff, Jesús Pardillo, Juan Trujillo 0001 |
Integrating Clustering Data Mining into the Multidimensional Modeling of Data Warehouses with UML Profiles. |
DaWaK |
2007 |
DBLP DOI BibTeX RDF |
Data Mining, Clustering, Conceptual Modeling, Data Warehouse, KDD, Multidimensional Modeling, UML Extension |
28 | Filippo Ricca, Massimiliano Di Penta, Marco Torchiano, Paolo Tonella, Mariano Ceccato |
The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
UML stereotypes, developers' experience, empirical study, program comprehension |
28 | 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 |
28 | Narasimha Bolloju, Vijayan Sugumaran |
Quality Dependencies Among Use Case Models and Sequence Diagrams Developed by Novice Systems Analysts. |
ER Workshops |
2007 |
DBLP DOI BibTeX RDF |
UML artifacts, novice systems analysts, quality dependencies, association rules |
28 | Jan Trowitzsch, Armin Zimmermann |
Using UML state machines and petri nets for the quantitative investigation of ETCS. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
UML state machines, model transformation, stochastic petri nets, ETCS |
28 | Yujian Fu, Zhijiang Dong, Xudong He |
Formalizing and validating UML architecture description of web systems. |
ICWE Workshops |
2006 |
DBLP DOI BibTeX RDF |
UML architecture description, petri nets, temporal logic, verification and validation, software architecture model |
28 | Ebrahim Bagheri, Ali A. Ghorbani 0001 |
Towards an MDA-oriented UML profile for critical infrastructure modeling. |
PST |
2006 |
DBLP DOI BibTeX RDF |
modeling and simulation, UML profiles, critical infrastructure |
28 | Andrea Baldini, Alfredo Benso, Paolo Prinetto |
System-level functional testing from UML specifications in end-of-production industrial environments. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
End-of-production (EOP) environment, Timed message sequences, System-level testing, Unified Modeling Language (UML) |
28 | Manachaya Jamadhvaja, Twittie Senivongse |
An integration of data sources with UML class models based on ontological analysis. |
IHIS |
2005 |
DBLP DOI BibTeX RDF |
UML class model, data integration, semantic integration, ontology integration, heterogeneous data sources |
28 | Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson 0002, Bill Mitchell, Simon Burton 0001 |
Detecting and resolving semantic pathologies in UML sequence diagrams. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
communication semantics, requirements, MSC, UML 2.0 |
28 | Christine W. Chan |
Knowledge and software modeling using UML. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Ontology Knowledge Reuse, Unified Modeling Language (UML) |
28 | Lutz Bichler, Ansgar Radermacher, Andy Schürr |
Integrating Data Flow Equations with UML/Realtime. |
Real Time Syst. |
2004 |
DBLP DOI BibTeX RDF |
UML/Realtime, Rational Rose/RT®, object-oriented modeling, dataflow modeling |
28 | Tong Yi, Fangjun Wu |
Empirical analysis of entropy distance metric for UML class diagrams. |
ACM SIGSOFT Softw. Eng. Notes |
2004 |
DBLP DOI BibTeX RDF |
entropy distance, software measure, correlation analysis, structure complexity, UML class diagram |
28 | David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier |
Validation and automatic test generation on UML models: the AGATHA approach. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Symbolic calculus, Automated test generation, UML specification |
28 | William N. Robinson, Han G. Woo |
Finding Reusable UML Sequence Diagrams Automatically. |
IEEE Softw. |
2004 |
DBLP DOI BibTeX RDF |
CASE (computer-aided software engineering), software engineering, design, UML (unified modeling language), analysis, software, reuse models |
28 | Dragan Gasevic, Dragan Djuric, Vladan Devedzic, Violeta Damjanovic |
Converting UML to OWL ontologies. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
ontology, OWL, XSLT, UML profiles |
28 | Eduardo Fernández-Medina, Juan Trujillo 0001, Rodolfo Villarroel, Mario Piattini |
Extending UML for Designing Secure Data Warehouses. |
ER |
2004 |
DBLP DOI BibTeX RDF |
Secure data warehouses, OCL, multidimensional modeling, UML extension |
|
|