|
|
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 |
52 | José Miguel Fuentes, Víctor Quintana, Juan Lloréns, Gonzalo Génova, Rubén Prieto-Díaz |
Errors in the UML metamodel? |
ACM SIGSOFT Softw. Eng. Notes |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Francis Thom |
The Standard UML-Ada Profile. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Zinovy Diskin |
Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
52 | Alain Le Guennec, Gerson Sunyé, Jean-Marc Jézéquel |
Precise Modeling of Design Patterns. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Mara Nikolaidou, Nancy Alexopoulou, Anargyros Tsadimas, Alexandros Dais, Dimosthenis Anagnostopoulos |
Accommodating EIS UML 2.0 Profile using a standard UML modeling tool. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Julie A. Street, Robert G. Pettit IV |
The Impact of UML 2.0 on Existing UML 1.4 Models. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Jessica Rubart, Peter Dawabi |
Towards UML-G : A UML Profile for Modeling Groupware. |
CRIWG |
2002 |
DBLP DOI BibTeX RDF |
|
52 | Alexandre L. Correa, Cláudia Maria Lima Werner |
Applying Refactoring Techniques to UML/OCL Models. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Andrew J. Bennett, A. J. Field, C. Murray Woodside |
Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Subash Shankar, Sinan Asa |
Formal Semantics of UML with Real-Time Constructs. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
52 | David N. Jansen, Holger Hermanns, Joost-Pieter Katoen |
A QoS-Oriented Extension of UML Statecharts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Jan Jürjens |
Developing Safety-Critical Systems with UML. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Gregor Engels, Reiko Heckel, Jochen Malte Küster |
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. |
UML |
2001 |
DBLP DOI BibTeX RDF |
behavioral consistency, meta modeling, model verification |
52 | Gonzalo Génova, Juan Lloréns, Paloma Martínez |
Semantics of the Minimum Multiplicity in Ternary Associations in UML. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
52 | Marc Lettrari, Jochen Klose |
Scenario-Based Monitoring and Testing of Real-Time UML Models. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
52 | Werner Damm |
Understanding UML - Pains and Rewards. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
52 | Lionel C. Briand, Yvan Labiche |
A UML-Based Approach to System Testing. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
52 | Thomas Weigert, David Garlan, John Knapman, Birger Møller-Pedersen, Bran Selic |
Modeling of Architectures with UML (Panel). |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Raffaela Mirandola, Vittorio Cortellessa |
UML Based Performance Modeling of Distributed Systems. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Friedrich Steimann |
A Radical Revision of UML's Role Concept. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Simon Pickin 0001, Angeles Manjarrés Riesco |
Describing AI Analysis Patterns with UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Esperanza Marcos, Belén Vela, José María Cavero |
A methodological approach for object-relational database design using UML. |
Inform. Forsch. Entwickl. |
2004 |
DBLP DOI BibTeX RDF |
SQL: 1999, UML, Design Methodology, Database Design, Oracle, Stereotypes, Object-Relational Databases, UML extensions, Object Persistence |
52 | Xuede Zhan, Huaikou Miao, Ling Liu |
Formalizing the Semantics of UML Statecharts with Z*. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
UML, formal semantics, Z, UML statechart |
52 | Kevin Lano, David Clark 0001, Kelly Androutsopoulos |
UML to B: Formal Verification of Object-Oriented Models. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML-RSDS, Graphical Specifications, UML, B |
52 | Michael von der Beeck |
A structured operational semantics for UML-statecharts. |
Softw. Syst. Model. |
2002 |
DBLP DOI BibTeX RDF |
Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts |
51 | Hengye Zhu, Guangyao Li |
Visualizing HLA-Based Collaborative Simulation System Modeling with a UML Profile. |
CDVE |
2008 |
DBLP DOI BibTeX RDF |
collaborative simulation, high level architecture, UML profile, stereotype, visualization modeling |
51 | Michelle L. Crane, Jürgen Dingel |
Towards a Formal Account of a Foundational Subset for Executable UML Models. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
formal mapping, semantics, Model-driven Engineering, activities, actions, Executable UML |
51 | Lidia Fuentes, Jorge Manrique, Pablo Sánchez 0002 |
Pópulo: a tool for debugging UML models. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
executable uml, model execution, model simulation |
51 | José Luis Fernández Alemán, José Ambrosio Toval Álvarez |
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools. |
ISSRE |
2000 |
DBLP DOI BibTeX RDF |
UML Statechart Diagrams, Software Model Reliability, Formal Verification, Requirements Specification |
51 | Marcus Alanen, Jordi Cabot, Miguel Goulão, José Sáez |
Doctoral Symposium. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Zbigniew Huzar, Ludwik Kuzniarz, Gianna Reggio, Jean-Louis Sourrouille |
Consistency Problems in UML-Based Software Development. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Martin Gogolla, Paul Sammut, Jon Whittle 0001 |
Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004). |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews |
EPTUD: An Eclipse Plugin for Testing UML Designs. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Anisha Vemulapalli, Nary Subramanian |
Transforming Functional Requirements from UML into BPEL to Efficiently Develop SOA-Based Systems. |
OTM Workshops |
2009 |
DBLP DOI BibTeX RDF |
Business Process Execution Language for Web Services (BPEL4WS or BPEL), Visual Paradigm for UML (VP - UML), Unified modeling Language (UML), Service-Oriented Architecture (SOA) |
48 | Albert Zündorf |
From use cases to code---rigorous software development with UML. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
object-oriented applications, UML, UML, CASE tools, development processes, software development methods |
48 | Jaiprakash T. Lallchandani, Rajib Mall |
Slicing UML architectural models. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
architectural metamodel, UML, software architecture, slicing, impact analysis |
48 | Vinita, Amita Jain, Devendra K. Tayal |
On reverse engineering an object-oriented code into UML class diagrams incorporating extensible mechanisms. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
UML, reverse engineering, object-oriented programming, class diagrams |
48 | David H. Akehurst, W. Gareth J. Howells, Klaus D. McDonald-Maier |
Implementing associations: UML 2.0 to Java 5. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
Java, UML, Code Generation, Association, Property |
48 | Dorina C. Petriu, C. Murray Woodside, Dorin Bogdan Petriu, Jing Xu 0024, Toqeer Israr, Geri Georg, Robert B. France, James M. Bieman, Siv Hilde Houmb, Jan Jürjens |
Performance analysis of security aspects in UML models. |
WOSP |
2007 |
DBLP DOI BibTeX RDF |
security, UML, model transformations, software performance engineering, aspect-oriented modeling |
48 | Bente Anda, Kai Hansen |
A case study on the application of UML in legacy development. |
ISESE |
2006 |
DBLP DOI BibTeX RDF |
UML, model-driven development, embedded software, legacy software |
48 | Christian F. J. Lange, Michel R. V. Chaudron |
Effects of defects in UML models: an experimental investigation. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
UML, consistency, completeness, defect detection |
48 | Ninh-Thuan Truong, Jeanine Souquières |
Verification of behavioural elements of UML models using B. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
UML, verification, metamodel, B, proof obligation |
48 | 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 |
48 | Peter Graubmann, Ekkart Rudolph |
HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing. |
UML |
2000 |
DBLP DOI BibTeX RDF |
distributed systems, software engineering, real time systems, UML, testing, telecommunication, Sequence Diagrams, Use Cases, MSC, OO |
48 | Keng Siau, Yuhong Tian |
A semiotic analysis of unified modeling language graphical notations. |
Requir. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Unified modeling language, Semiotics, Graphical notations, Modeling methods, Systems analysis and design |
48 | Juan Trujillo 0001 |
A report on the first international workshop on best practices of UML: (BP-UML'05). |
SIGMOD Rec. |
2006 |
DBLP DOI BibTeX RDF |
UML |
47 | Akhtar Ali Jalbani, Jens Grabowski, Helmut Neukirchen, Benjamin Zeiss |
Towards an Integrated Quality Assessment and Improvement Approach for UML Models. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Wojciech J. Dzidek, Erik Arisholm, Lionel C. Briand |
A Realistic Empirical Evaluation of the Costs and Benefits of UML in Software Maintenance. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
Maintenance and Enhancement, Software/Software Engi, Design notations and documentation, Software Engineering, Object-Oriented Programming, Distribution, Maintainability |
47 | Mirco Kuhlmann, Martin Gogolla |
Modeling and validating Mondex scenarios described in UML and OCL with USE. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Juliana de Melo Bezerra, Celso Massaki Hirata |
A Semantics for UML-RT using n-calculus. |
IEEE International Workshop on Rapid System Prototyping |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard |
Enhancing UML Extensions with Operational Semantics. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Tony Khoo, Yingxu Wang 0001 |
Formalization of UML Models by RTPA. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Iris Reinhartz-Berger |
Conceptual Modeling of Structure and Behavior with UML - The Top Level Object-Oriented Framework (TLOOF) Approach. |
ER |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Jennifer Tenzer |
Improving UML Design Tools by Formal Games . |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
Application of formal methods to software design |
47 | Wuwei Shen, Kevin J. Compton, James Huggins |
A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Vieri Del Bianco, Luigi Lavazza, Marco Mauri |
Model Checking UML Specifications of Real Time Software. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
47 | François Pennaneac'h, Jean-Marc Jézéquel, Jacques Malenfant, Gerson Sunyé |
UML Reflections. |
Reflection |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Jan Jürjens, Pasha Shabalin |
Automated Verification of UMLsec Models for Security Requirements. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Colin Atkinson 0001, Thomas Kühne 0001, Brian Henderson-Sellers |
Stereotypical Encounters of the Third Kind. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
47 | José M. Álvarez 0003, Andy Evans, Paul Sammut |
Mapping between Levels in the Metamodel Architecture. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Colin Atkinson 0001, Thomas Kühne 0001 |
The Essence of Multilevel Metamodeling. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Paulo Pinheiro da Silva, Norman W. Paton |
UMLi: The Unified Modeling Language for Interactive Applications. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Sajjad Mahmood, Richard Lai 0001 |
RE-UML: An Extension to UML for Specifying Component-Based Software System. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Juan Trujillo 0001, Dae-Kyoo Kim |
Preface to FP-UML 2009. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Juan Trujillo 0001, Jeffrey Parsons |
Preface to FP-UML 2007. |
ER Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Jorge Enrique Pérez-Martínez, Almudena Sierra-Alonso |
UML 1.4 versus UML 2.0 as Languages to Describe Software Architectures. |
EWSA |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Risto Pitkänen, Petri Selonen |
A UML Profile for Executable and Incremental Specification-Level Modeling. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta |
A UML Profile to Model Mobile Systems. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Dorin Bogdan Petriu, C. Murray Woodside |
A Metamodel for Generating Performance Models from UML Designs. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Ezra Kaahwa Mugisa |
Tutorials at the UML 2004 Conference. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Agustín Goñi, Yadran Eterovic |
Building Precise UML Constructs to Model Concurrency Using OCL. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Sadahiro Isoda |
A Critique of UML's Definition of the Use-Case Class. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
47 | João Araújo 0001 |
Tutorials at the UML 2003 Conference. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Herman Balsters |
Modelling Database Views with Derived Classes in the UML/OCL-Framework. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Yaojin Yang, Jianli Xu |
Encoding Informal Architectural Descriptions with UML: An Experience Report. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Martin Gogolla, Jörn Bohling, Mark Richters |
Validation of UML and OCL Models by Automatic Snapshot Generation. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Nicolas F. Rouquette |
UML/MDA Reality Check: Heterogenous Architecture Style. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Charles André, Marie-Agnès Peraldi-Frati, Jean-Paul Rigault |
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Jon Whittle 0001 |
Transformations and Software Modeling Languages: Automating Transformations in UML. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Stephan Flake, Wolfgang Müller 0003 |
A UML Profile for Real-Time Constraints with the OCL. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Torsten Lodderstedt, David A. Basin, Jürgen Doser |
SecureUML: A UML-Based Modeling Language for Model-Driven Security. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Sherif M. Yacoub, Hany H. Ammar |
UML Support for Designing Software Systems as a Composition of Design Patterns. |
UML |
2001 |
DBLP DOI BibTeX RDF |
Pattern-Oriented Design, Design Patterns and Pattern Composition |
47 | John Mylopoulos, Manuel Kolp, Jaelson Castro |
UML for Agent-Oriented Software Development: The Tropos Proposal. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Aynur Abdurazik, A. Jefferson Offutt |
Using UML Collaboration Diagrams for Static Checking and Test Generation. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Steve Cook |
The UML family: Profiles, Prefaces and Packages. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Michelle Chabrol, David Sarramia |
Object Oriented Methodology based on UML for Urban Traffic System Modeling. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Alistair Barros, Keith Duddy, Michael Lawley, Zoran Milosevic, Kerry Raymond, Andrew Wood |
Processes, Roles, and Events: UML Concepts for Enterprise Architecture. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Gihwon Kwon |
Rewrite rules and Operational Semantics for Model Checking UML Statecharts. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Barbara Paech |
On the Role of Activity Diagrams in UML - A User Task Centered Development Process for UML. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
47 | Abdelouahed Gherbi, Ferhat Khendek |
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
UML/SPT, UML, Real-time, MDA, Model transformations, Schedulability analysis, ATL |
47 | Gregory Zoughbi, Lionel C. Briand, Yvan Labiche |
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority |
47 | Nathalie Moreno, Piero Fraternali, Antonio Vallecillo |
A UML 2.0 profile for WebML modeling. |
ICWE Workshops |
2006 |
DBLP DOI BibTeX RDF |
UML, metamodels, UML profiles, WebML |
47 | Fu Zhang 0001, Zong Min Ma 0001, Jingwei Cheng, Xiangfu Meng |
Fuzzy semantic web ontology learning from fuzzy UML model. |
CIKM |
2009 |
DBLP DOI BibTeX RDF |
fuzzy UML model, ontology learning, fuzzy ontology |
47 | Joe Mooney, Hessam S. Sarjoughian |
A framework for executable UML models. |
SpringSim |
2009 |
DBLP DOI BibTeX RDF |
discrete event simulation, state machine, DEVS, executable UML |
47 | David Harel, Shahar Maoz |
Assert and negate revisited: Modal semantics for UML sequence diagrams. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts |
47 | Giovanni Giachetti, Francisco Valverde, Oscar Pastor 0001 |
Improving Automatic UML2 Profile Generation for MDA Industrial Development. |
ER Workshops |
2008 |
DBLP DOI BibTeX RDF |
DSML, MDA, MDD, Metamodeling, Model-driven Engineering, UML Profile, UML2 |
47 | Markus Schmidt 0004 |
Transformations of UML 2 Models Using Concrete Syntax Patterns. |
RISE |
2006 |
DBLP DOI BibTeX RDF |
UML 2 Profiles, Patterns, Model Transformations |
47 | Vittorio Cortellessa, Antonio Pompei |
Towards a UML profile for QoS: a contribution in the reliability domain. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
software reliability, UML profile, software performance, component-based software systems |
47 | Gilleanes Thorwald Araujo Guedes, Rosa Maria Vicari |
Applying AUML and UML 2 in the Multi-agent Systems Project. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
UML 2, Use Case Diagram, Internal Use Cases, Combined Fragments, State Machine Diagram, Composite States, Activity Partition, Agents, Actors, Sequence Diagram, Activity Diagram, AUML |
46 | Steve Anonsen |
Experiences in Modeling for a Domain Specific Language. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 8456 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|