|
|
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 |
38 | Gunnar Övergaard, Karin Palmkvist |
Interacting Subsystems in UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Andy Evans, Stuart Kent 0001 |
Core Meta-Modelling Semantics of UML: The pUML Approach. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Ferenc Dósa Rácz, Kai Koskimies |
Tool-Supported Compressing of UML Class Diagrams. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Luigia Petre, Ralph-Johan Back, Ivan Paltor |
Analysing UML Use Cases as Contracts. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Tony Clark 0001 |
Type Checking UML Static Diagrams. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Shane Sendall, Alfred Strohmeier |
UML Based Fusion Analysis Applied to a Bank Case Study. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Serge Demeyer, Stéphane Ducasse, Sander Tichelaar |
Why Unified is not Universal? UML Shortcomings for Coping with Round-trip Engineering. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Mariano Belaunde |
A Pragmatic Approach for Building a Flexible UML Model Repository. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Dominikus Herzberg |
UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Martin Gogolla, Oliver Radfelder, Mark Richters |
Towards Three-Dimensional Animation of UML Diagrams. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Hubert Baumeister, Nora Koch, Luis Mandel |
Towards a UML Extension for Hypermedia Design. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Jean-Louis Sourrouille |
UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Laila Kabous, Wolfgang Nebel |
Modeling Hard Real Time Systems with UML. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Nathan Dykman, Martin L. Griss, Robert R. Kessler |
Nine Suggestions for Improving UML Extensibility. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Birgit Demuth, Heinrich Hußmann |
Using UML/OCL Constraints for Relational Database Design. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Brian Henderson-Sellers, Colin Atkinson 0001, Donald Firesmith |
A UML Variant: OML. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Alexander Egyed, Nenad Medvidovic |
Extending Architectural Representation in UML with View Integration. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Rich Hilliard |
Using the UML for Architectural Description. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Pekka Kahkipuro |
UML Based Performance Modeling Framework for Object-Oriented Distributed Systems. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Josep M. Ribó Balust, Xavier Franch |
Using UML for Software Process Modelling. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Xuandong Li, Johan Lilius |
Timing Analysis of UML Sequence Diagrams. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Pavel Hruby |
Designing UML Based Development Processes. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Gregor Engels, Roland Huecking, Stefan Sauer 0001, Annika Wagner |
UML Collaboration Diagrams and their Transformation to Java. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Desmond D'Souza, Aamond Sane, Alan Birchenough |
First-Class Extensibility for UML-Profiles, Stereotypes, Patterns. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Junichi Suzuki, Yoshikazu Yamamoto |
Extending UML for Modelling Reflective Software Componentsa. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Soon-Kyeong Kim, David A. Carrington |
Formalizing the UML Class Diagram Using Object-Z. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Florian Matthes, Axel Wienberg, Marko Boger |
Modeling Dynamic Software Components with UML. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Alexander Knapp |
A Formal Semantics for UML Interactions. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | A. Jefferson Offutt, Aynur Abdurazik |
Generating Tests from UML Specifications. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Ivan Paltor, Johan Lilius |
Formalising UML State Machines for Model Checking. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Martin Gogolla, Mark Richters |
Transformation Rules for UML Class Diagrams. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Pavel Hruby |
Structuring UML Design Deliverables. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Srdjan Kovacevic |
UML and User Interface Modeling. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Antoni Olivé, Maria-Ribera Sancho |
Porting ROSES to UML - An Experience Report. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Kari Kivisto |
Considerations of and Suggestions for a UML-Specific Process Model. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Kevin Lano, Juan Bicarregui |
Semantics and Transformations for UML Models. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Agnes Lanusse, Sébastien Gérard, François Terrier |
Real-Time Modeling with UML: The ACCORD Approach. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Yongzhen Ou |
On Using UML Class Diagrams for Object-Oriented Database Design. Specification of Integrity Constraints. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Eric Bourdeau, Philippe Lugagne, Pascal Roques |
Hierarchical Context Diagrams with UML: An Experience Report on Satellite Ground System Analysis. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Jim Arlow, Wolfgang Emmerich, John Quinn |
Literate Modelling - Capturing Business Knowledge with the UML. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Anneke Kleppe, Jos Warmer, Steve Cook |
Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Tom Mens, Carine Lucas, Patrick Steyaert |
Supporting Disciplined Reuse and Evolution of UML Models. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Axel Korthaus, Stefan Kuhlins |
BOOSTER Process. A Software Development Process Model Integrating Business Object Technology and UML. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Jochen Seemann, Jürgen Wolff von Gudenberg |
Extension of UML Sequence Diagrams for Real-Time Systems. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe |
The UML as a Formal Modeling Notation. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. Keller |
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Florian Arnold, Gerd Podehl |
Best of Both Worlds - A Mapping from EXPRESS-G to UML. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Junichi Suzuki, Yoshikazu Yamamoto |
Making UML Models Interoperables with UXF. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Jean Bézivin, Pierre-Alain Muller |
UML: The Birth and Rise of a Standard Modeling Notation. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Stephen J. Mellor, Stephen R. Tockey, Rodolphe Arthaud, Philippe Leblanc |
An Action Language for UML: Proposal for a Precise Execution Semantics. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Minika Saksena, Maria M. Larrondo-Petrie, Robert B. France, Matthew P. Evett |
Extending Aggregation Constructs in UML. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Colin Atkinson 0001 |
Supporting and Applying the UML Conceptual Framework. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Mohamed Mancona Kandé, Shahrzade Mazaher, Ognjen Prnjat, Lionel Sacks, Marcus Wittig |
Applying UML to Design an Inter-domain Service Management Application. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Paul Allen |
A Practical Framework for Applying UML. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | N. G. Lester, F. George Wilkie, David W. Bustard |
Applying UML Extensions to Facilitate Software Reuse. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Brian Henderson-Sellers |
OML: Proposals to Enhance UML. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Martin Hitz, Gerti Kappel |
Developing with UML - Some Pitfalls and Workarounds. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Uwe Katzke, Birgit Vogel-Heuser |
Vergleich der Anwendbarkeit von UML und UML-PA in der anlagennahen Softwareentwicklung der Automatisierungstechnik (Evaluation of UML and UML-PA for Software Engineering in Plant Automation). |
Autom. |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Akram Idani |
B/UML : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B. (B/UML: Bridging the gap between B specifications and UML graphical descriptions to ease external validation of formal B developments). |
|
2006 |
RDF |
|
38 | Jean-Pierre Seuma Vidal |
Maîtrise de la cohérence des modèles UML d'applications critiques, approche par l'analyse des risques liés au langage UML. (Management of UML models consistency for safety critical systems,approach based on a UML risk analysis). |
|
2006 |
RDF |
|
37 | Ali Fatolahi, Fereidoon Shams |
An investigation into applying UML to the Zachman framework. |
Inf. Syst. Frontiers |
2006 |
DBLP DOI BibTeX RDF |
The Zachman framework, UML business profile, UML |
37 | Yan Jin, Robert Esser, Jörn W. Janneck |
A method for describing the syntax and semantics of UML statecharts. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Syntax definition, Formal operational semantics, UML, Visual languages, Statecharts, Abstract State Machines, UML statecharts |
37 | Juan-Pablo López-Grao, José Merseguer, Javier Campos |
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
UML Profile for schedulability performance and time specification, UML, CASE tool, compositionality, software performance, activity diagrams, Generalized Stochastic Petri nets |
37 | Simonetta Balsamo, Moreno Marzolla |
A simulation-based approach to software performance modeling. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
simulation, unified modeling language (UML), performance modeling |
37 | Daniel Cabrera-Paniagua, Claudio Cubillos |
UML-F in the Design of an Agent-Oriented Software Framework. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
UML-F, Passenger Transportation, Agents, Framework |
37 | Chartchai Doungsa-ard, Keshav P. Dahal, M. Alamgir Hossain, Taratip Suwannasart |
Test Data Generation from UML State Machine Diagrams using GAs. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
UML state machine diagram, Genetic algorithm, Test data generation |
37 | Jan Trowitzsch, D. Jerzynek, Armin Zimmermann |
A toolkit for performability evaluation based on stochastic UML state machines. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
stochastic UML state machines, performance evaluation, petri nets, software tool, model transformation |
37 | Christian Lange 0001, Michel R. V. Chaudron, Johan Muskens |
In Practice: UML Software Architecture and Design Description. |
IEEE Softw. |
2006 |
DBLP DOI BibTeX RDF |
current practice, industry survey, Unified Modeling Language (UML), software quality |
37 | Lukasz Dobrzanski, Ludwik Kuzniarz |
An approach to refactoring of executable UML models. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
executable UML, model refactoring |
37 | Alexander Knapp, Jochen Wuttke |
Model Checking of UML 2.0 Interactions. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
UML 2.0 interactions, model checking, Scenarios |
37 | Jin Hyuk Yang, In-Jeong Chung |
Automatic Generation of Service Ontology from UML Diagrams for Semantic Web Services. |
ASWC |
2006 |
DBLP DOI BibTeX RDF |
state-chart and UML, Ontology, Semantic Web, OWL-S |
37 | Marcela Genero, David Miranda, Mario Piattini |
Defining Metrics for UML Statechart Diagrams in a Methodological Way. |
ER (Workshops) |
2003 |
DBLP DOI BibTeX RDF |
OO Software, UML statechart diagrams, theoretical validation, experiment replication, metrics, maintainability, size, empirical validation, understandability, structural complexity |
37 | Scott R. Tilley, Shihong Huang |
A qualitative assessment of the efficacy of UML diagrams as a form of graphical documentation in aiding program understanding. |
SIGDOC |
2003 |
DBLP DOI BibTeX RDF |
Unified Modeling Language (UML), assessment, program understanding, graphical documentation |
37 | David N. Jansen, Holger Hermanns, Joost-Pieter Katoen |
A Probabilistic Extension of UML Statecharts. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
model checking, semantics, probabilities, Markov decision processes, UML statecharts |
37 | Ralf Kollmann, Martin Gogolla |
Application of UML Associations and Their Adornments in Design Recovery. |
WCRE |
2001 |
DBLP DOI BibTeX RDF |
adornment, reverse engineering, composition, aggregation, association, design recovery, UML class diagrams |
37 | Xuandong Li, Johan Lilius |
Checking compositions of UML sequence diagrams for timing inconsistency. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
UML sequence diagram composition checking, timing inconsistency checking, real-time systems specification, system behaviour scenarios, high-level graphs, real-time systems, model checking, Unified Modeling Language, formal verification, graphs, timing, specification languages, sequences, diagrams, object interactions |
37 | Juha Pärssinen, Niklas von Knorring, Jukka Heinonen, Tellabs Oy, Markku Turunen |
UML for Protocol Engineering - Extensions and Experiences. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
protocol, implementation, SDL, UML profile |
37 | Malcolm Shroff, Robert B. France |
Towards a formalization of UML class structures in Z. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
UML class structures, semantic base, OO model, Unified Modeling Language, formal specification, specification, object-oriented modeling, modeling language, Z language |
37 | Jesús Pardillo, Fernando Molina, Cristina Cachero, José Ambrosio Toval Álvarez |
A UML Profile for Modelling Measurable Requirements. |
ER Workshops |
2008 |
DBLP DOI BibTeX RDF |
GORE, MDD, UML profile |
37 | Ana Paula Allian, Elisa Yumi Nakagawa, Jabier Martinez, Wesley Klewerton Guez Assunção, Edson OliveiraJr |
Variability Implementation and UML-Based Software Product Lines. |
UML-Based Software Product Line Engineering with SMarty |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Edson OliveiraJr, Itana M. S. Gimenes, José Carlos Maldonado |
The SMarty Approach for UML-Based Software Product Lines. |
UML-Based Software Product Line Engineering with SMarty |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Wesley Klewerton Guez Assunção, Silvia R. Vergilio, Roberto E. Lopez-Herrejon |
Reengineering UML Class Diagram Variants into a Product Line Architecture. |
UML-Based Software Product Line Engineering with SMarty |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Kevin Lano |
Verification of UML Models. |
UML 2 Semantics and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Hong Zhu 0002, Lijun Shan, Ian Bayley, Richard Amphlett |
Formal Descriptive Semantics of UML and Its Applications. |
UML 2 Semantics and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe |
Considerations and Rationale for a UML System Model. |
UML 2 Semantics and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Kevin Lano |
Axiomatic Semantics of UML Class Diagrams. |
UML 2 Semantics and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, José Ambrosio Toval Álvarez (eds.) |
UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers |
UML Satellite Activities |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto |
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Vinay Kulkarni, Sreedhar Reddy |
Model-Driven Development of Enterprise Applications. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Nikolai Mansurov, Djenana Campara |
Managed Architecture of Existing Code as a Practical Transition Towards MDA. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Claudia Pons, Roxana S. Giandini, Gabriela Pérez, Pablo Pesce, Valeria Becker, Jorge Longinotti, Javier Cengia |
PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Theo Dirk Meijler |
Incremental MDD Through Generative Causal Connectedness. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Pierre-Alain Muller, Cédric Dumoulin, Frédéric Fondement, Michel Hassenforder |
The TopModL Initiative. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Eric Jouenne, Véronique Normand |
Tailoring IEEE 1471 for MDE Support. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer |
OCL and Model Driven Engineering. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Stephen J. Mellor, Leon Starr |
Six Lessons Learned Using MDA. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer |
Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop). |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Jean-Michel Bruel, Geri Georg, Heinrich Hußmann, Ileana Ober, Christoph Pohl, Jon Whittle 0001, Steffen Zschaler |
Models for Non-functional Aspects of Component-Based Software (NfC'04). |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander A. Letichevsky, Thomas Weigert |
Leveraging UML to Deliver Correct Telecom Applications. |
UML for Real |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Marco Di Natale, Manas Saksena |
Schedulability Analysis with UML. |
UML for Real |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 8456 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|