|
|
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 |
33 | Sapna P. G., Hrushikesha Mohanty |
Ensuring Consistency in Relational Repository of UML Models. |
ICIT |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Jan Van den Bergh 0001, Karin Coninx |
From Task to Dialog Model in the UML. |
TAMODIA |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Yifeng Sun, David Levy 0001 |
A Software Process for Modeling Complex Systems with UML-RT. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu |
Specifying Fractal and GCM Components with UML. |
SCCC |
2007 |
DBLP DOI BibTeX RDF |
software requirements engineering, grid computing, software reliability, software components |
33 | Kim Sandström, Ian Oliver |
A UML Profile for Asynchronous Hardware Design. |
SAMOS |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Yves Vanderperren, Wim Dehaene |
From UML/SysML to Matlab/Simulink: current state and future perspectives. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Frank Alexander Kraemer, Peter Herrmann, Rolv Bræk |
Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. |
OTM Conferences (2) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Didier Buchs, Luis Pedro, Levi Lucio |
Formal Test Generation from UML Models. |
Research Results of the DICS Program |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Duarte Costa, Leonel Nóbrega, Nuno Jardim Nunes |
An MDA Approach for Generating Web Interfaces with UML ConcurTaskTrees and Canonical Abstract Prototypes. |
TAMODIA |
2006 |
DBLP DOI BibTeX RDF |
ConcurTaskTrees, Canonical Abstract Prototypes, Model Driven Architecture, Model-Based User Interface Design |
33 | Michael von der Beeck |
A Formal Semantics of UML-RT. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Ken Satoh, Ken Kaneiwa, Takeaki Uno |
Contradiction Finding and Minimal Recovery for UML Class Diagrams. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Steen Brahe, Kasper Østerbye |
Business Process Modeling: Defining Domain Specific Modeling Languages by Use of UML Profiles. |
ECMDA-FA |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Franck Chauvel, Jean-Marc Jézéquel |
Code Generation from UML Models with Semantic Variation Points. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Ludwik Kuzniarz, Miroslaw Staron |
Best Practices for Teaching UML Based Software Development. |
MoDELS (Satellite Events) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Yves Vanderperren, Wim Dehaene |
UML 2 and SysML: An Approach to Deal with Complexity in SoC/NoC Design. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Sam Supakkul, Lawrence Chung |
A UML Profile for Goal-Oriented and Use Case-Driven Representation of NFRs and FRs. |
SERA |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Holger Rasch, Heike Wehrheim |
Checking the Validity of Scenarios in UML Models. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Alexei Tretiakov, Sven Hartmann |
Higher-Order Entity Relationship Modelling with UML. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Vitus S. W. Lam, Julian A. Padget |
An integrated environment for communicating UML statechart diagrams. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Athanasios Staikopoulos, Behzad Bordbar |
A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Ninh-Thuan Truong, Jeanine Souquières |
An Approach for the Verification of UML Models Using B. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Soon-Kyeong Kim, David A. Carrington |
A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
|
33 | István Majzik, Gergely Pintér, Péter Tamás Kovács |
UML Based Design of Time Triggered Systems. |
ISORC |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Saartje Brockmans, Raphael Volz, Andreas Eberhart, Peter Löffler |
Visual Modeling of OWL DL Ontologies Using UML. |
ISWC |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals |
From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices. |
TestCom |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Holger Giese, Matthias Tichy, Daniela Schilling |
Compositional Hazard Analysis of UML Component and Deployment Models. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Giancarlo Guizzardi, Gerd Wagner 0001, Nicola Guarino, Marten van Sinderen |
An Ontologically Well-Founded Profile for UML Conceptual Models. |
CAiSE |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Xiaoyong Yang |
A Feasibility Study Of UML In The Software Defined Radio. |
DELTA |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Sven Burmester, Holger Giese, Matthias Tichy |
Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. |
MDAFA |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Ken Casey, Chris Exton |
A Java 3D implementation of a geon based visualisation tool for UML. |
PPPJ |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Martin Auer, T. Tschurtschenthaler, Stefan Biffl |
A Flyweight UML Modelling Tool for Software Development in Heterogeneous Environments. |
EUROMICRO |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Huaikou Miao, Ling Liu, Li Li |
Formalizing UML Models with Object-Z. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Patricio Letelier 0001, Pedro Sánchez |
Validation of UML Classes through Animation. |
ER (Workshops) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Martin Gogolla, Mark Richters |
Expressing UML Class Diagrams Properties with OCL. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner 0001 |
Towards Ontological Foundations for UML Conceptual Models. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Martin Gogolla, Mark Richters |
Development of UML Descriptions with USE. |
EurAsia-ICT |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel |
Transformation of UML Specification to XTG. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Luciano Baresi, Mauro Pezzè |
On Formalizing UML with High-Level Petri Nets. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Joerg Evermann, Yair Wand |
Towards Ontologically Based Semantics for UML Constructs. |
ER |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Betty H. C. Cheng |
A Metamodel-Based Approach to Formalizing UML. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Gerson Sunyé, François Pennaneac'h, Wai-Ming Ho, Alain Le Guennec, Jean-Marc Jézéquel |
Using UML Action Semantics for Executable Modeling and Beyond. |
CAiSE |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Jari Peltonen, Petri Selonen |
Processing UML Models with Visual Scripts. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Martin Schaaf, Fawsy Bendeck, Philip Nour |
Using MILOS For Dependency Management In UML-Based SE-Processes. |
WETICE |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Jürgen Lind |
Specifying Agent Interaction Protocols with Standard UML. |
AOSE |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Edward Lank, Jeb S. Thorley, Sean Chen, Dorothea Blostein |
On-Line Recognition of UML Diagrams. |
ICDAR |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Morgan Björkander |
Graphical Programming Using UML and SDL. |
Computer |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe |
UML-F: A Modeling Language for Object-Oriented Frameworks. |
ECOOP |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Bernhard Bauer, Jörg P. Müller, James Odell |
An Extension of UML by Protocols for Multiagent Interaction. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Bernhard Bauer, Jörg P. Müller, James Odell |
Agent UML: A Formalism for Specifying Multiagent Software Systems. |
AOSE |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Stephan Flake, Wolfgang Müller 0003 |
An ASM Definition of the Dynamic OCL 2.0 Semantics. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Geri Georg, Raghu Reddy, Robert B. France |
Specifying Cross-Cutting Requirement Concerns. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert B. France, James M. Bieman |
Model Composition Directives. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt |
An OCL Formulation of UML2 Template Binding. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Jordi Cabot, Ernest Teniente |
Determining the Structural Events That May Violate an Integrity Constraint. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Iris Reinhartz-Berger, Arnon Sturm |
Behavioral Domain Analysis - The Application-Based Domain Modeling Approach. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Marc Lohmann, Stefan Sauer 0001, Tim Schattkowsky |
ProGUM-Web: Tool Support for Model-Based Development of Web Applications. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres |
A Workbench to Experiment on New Model Engineering Applications. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Friedrich Steimann, Jens Gößner, Thomas A. Mück |
On the Key Role of Compositioning Object-Oriented Modelling. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Pierre-Alain Muller, Philippe Studer, Jean Bézivin |
Platform Independent Web Application Modeling. |
UML |
2003 |
DBLP DOI BibTeX RDF |
Web, MDA, Metamodel, Model-driven engineering, PIM |
33 | Øystein Haugen, Ketil Stølen |
STAIRS - Steps to Analyze Interactions with Refinement Semantics. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Bran Selic |
Does Your Software Creak as It Runs? |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Achim D. Brucker, Burkhart Wolff |
HOL-OCL: Experiences, Consequences and Design Choices. |
UML |
2002 |
DBLP DOI BibTeX RDF |
refinement, OCL, formal semantics, constraint languages |
33 | Gregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen |
Consistency-Preserving Model Evolution through Transformations. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer |
A Visualization of OCL Using Collaborations. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Dorina C. Petriu, Yimei Sun |
Consistent Behaviour Representation in Activity and Sequence Diagrams. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Shane Sendall, Alfred Strohmeier |
From Use Cases to System Operation Specifications. |
UML |
2000 |
DBLP DOI BibTeX RDF |
Operation Specification, Unified Modeling Language, Object Constraint Language, Use Cases, Object-Oriented Software Development |
33 | John Knapman |
Business-oriented Constraint Language. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
33 | John Knapman |
Statistical Constraints for EAI. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Edward Hermann Haeusler, Alexandre Rademaker |
Is It Important to Explain a Theorem? A Case Study on UML and ALCQI\mathcal{ALCQI}. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Michelle L. Crane, Jürgen Dingel |
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. |
CASCON |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Alexander Egyed |
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
33 | José A. Cruz-Lemus, Marcela Genero, Sandro Morasca, Mario Piattini |
Using Practitioners for Assessing the Understandability of UML Statechart Diagrams with Composite States. |
ER Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Birgit Hofreiter, Christian Huemer, Philipp Liegl, Rainer Schuster, Marco Zapletal |
UN/CEFACT'S Modeling Methodology (UMM): A UML Profile for B2B e-Commerce. |
ER (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Stefan Kurz, Michael Guppenberger, Burkhard Freitag |
A UML Profile for Modeling Schema Mappings. |
ER (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Sven Burmester, Holger Giese |
Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega |
HRT-UML: Taking HRT-HOOD onto UML. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Soon-Kyeong Kim, David A. Carrington |
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Egidio Astesiano, Gianna Reggio |
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din |
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
UML 2.0 Testing Profile, UML, Testing, MDA, Model transformation, MOF, TTCN-3, QVT |
33 | Irum Rauf, Muhammad Zohaib Z. Iqbal, Zafar I. Malik |
UML Based Modeling of Web Service Composition - A Survey. |
SERA |
2008 |
DBLP DOI BibTeX RDF |
UML, MDA, Web Service Composition, UML Profile |
33 | Jürgen Wolff von Gudenberg, A. Niederle, Marc Ebner, Holger Eichelberger |
Evolutionary layout of UML class diagrams. |
SOFTVIS |
2006 |
DBLP DOI BibTeX RDF |
layout metrics, UML, evolutionary algorithms, graph drawing, UML class diagrams |
32 | Luis Reynoso, Marcela Genero, Mario Piattini, M. Esperanza Manso |
Does object coupling really affect the understanding and modifying of OCL expressions? |
SAC |
2006 |
DBLP DOI BibTeX RDF |
OCL expressions, UML/OCL models, object-oriented measures, coupling, controlled experiments, empirical validation, understandability, modifiability, structural properties |
32 | Xavier Burgués Illa, Xavier Franch, Josep M. Ribó Balust |
Improving the accuracy of UML metamodel extensions by introducing induced associations. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
Shallow instantiation, Metaassociations, Software quality, Metamodelling, MOF, UML extension |
32 | Jiexin Lian, Zhaoxia Hu, Sol M. Shatz |
Simulation-based analysis of UML statechart diagrams: methods and case studies. |
Softw. Qual. J. |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, Petri nets, UML statecharts, Design analysis |
32 | 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 (1) |
2008 |
DBLP DOI BibTeX RDF |
Client Tracking System, Class diagram, UML Model, State diagram, Object Diagram |
32 | Andrea Baruzzo, Marco Comini |
A Methodology for UML Models V&V. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Software engineering, CASE tools, UML models, Validation and Verification |
32 | Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini |
A Comparative Evaluation of Tests Generated from Different UML Diagrams. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Software Testing, Model-based Testing, UML Diagram |
32 | Marcela Genero, José A. Cruz-Lemus, Danilo Caivano, Silvia Mara Abrahão, Emilio Insfrán, José A. Carsí |
Does the use of stereotypes improve the comprehension of UML sequence diagrams? |
ESEM |
2008 |
DBLP DOI BibTeX RDF |
uml sequence diagrams, controlled experiment, comprehension, stereotypes, understandability |
32 | Mingsong Chen, Prabhat Mishra 0001, Dhrubajyoti Kalita |
Coverage-driven automatic test generation for uml activity diagrams. |
ACM Great Lakes Symposium on VLSI |
2008 |
DBLP DOI BibTeX RDF |
uml activity diagrams, test generation |
32 | Stefan Leue, Alin Stefanescu, Wei Wei 0015 |
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
AsmL, Rose-RT, Spec Explorer, model checking, model-based testing, formal semantics, UML-RT, dynamic structures |
32 | Tabinda Waheed, Muhammad Zohaib Z. Iqbal, Zafar I. Malik |
Data Flow Analysis of UML Action Semantics for Executable Models. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
Data Flow Analysis, Executable modeling, Executable UML, Action Semantics |
32 | Monalisa Sarma, Rajib Mall |
Automatic Test Case Generation from UML Models. |
ICIT |
2007 |
DBLP DOI BibTeX RDF |
Software testing, Object- oriented system, UML models |
32 | Simona Bernardi 0001, José Merseguer |
A UML profile for dependability analysis of real-time embedded systems. |
WOSP |
2007 |
DBLP DOI BibTeX RDF |
dependability, UML profiles, real-time embedded systems |
32 | François Lagarde, Huáscar Espinoza, François Terrier, Sébastien Gérard |
Improving uml profile design practices by leveraging conceptual domain models. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
DSML, UML profiles |
32 | Atifah Ali, Aamer Nadeem, Muhammad Zohaib Z. Iqbal, Muhammad Usman 0013 |
Regression Testing Based on UML Design Models. |
PRDC |
2007 |
DBLP DOI BibTeX RDF |
Change identification, UML based testing, Model based testing, Regression testing, Test case selection |
32 | Tero Kangas, Petri Kukkala, Heikki Orsila, Erno Salminen, Marko Hännikäinen, Timo D. Hämäläinen, Jouni Riihimäki, Kimmo Kuusilinna |
UML-based multiprocessor SoC design framework. |
ACM Trans. Embed. Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
design flow, architecture exploration, UML 2.0 |
32 | Bui Minh Duc |
Uniform object modeling methodology and reuse of real-time system using UML. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
UML design, induced energy, object message, reactive systems, modeling methodology, embedded real-time systems, object technology |
32 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001 |
A Semantics for UML-RT Active Classes via Mapping into Circus. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
model transformations, method integration, UML-RT, Circus |
32 | Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta |
UML based modeling and performance analysis of mobile systems. |
MSWiM |
2004 |
DBLP DOI BibTeX RDF |
adaptation, UML profile, code mobility |
32 | 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 |
Displaying result #601 - #700 of 8456 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|