Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Marcel van Amstel, Mark G. J. van den Brand, Zvezdan Protic, Tom Verhoeff |
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?. |
ICMT@TOOLS |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Andrea De Lucia, Carmine Gravino, Rocco Oliveto, Genoveffa Tortora |
Assessing the Support of ER and UML Class Diagrams during Maintenance Activities on Data Models. |
CSMR |
2008 |
DBLP DOI BibTeX RDF |
|
28 | María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing |
A Heterogeneous Approach to UML Semantics. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Manar H. Alalfi, James R. Cordy, Thomas R. Dean |
SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas. |
WCRE |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Moein Mehrolhassani, Atilla Elçi |
Developing Ontology Based Applications of Semantic Web Using UML to OWL Conversion. |
WSKS (2) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Muhammad Fahad 0011, Aamer Nadeem |
A Survey of UML Based Regression Testing. |
Intelligent Information Processing |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun |
Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Xi Wang 0017, Liang Guo, Huaikou Miao |
An Approach to Transforming UML Model to FSM Model for Automatic Testing. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Jiang Zi-bin |
A Study on Modeling of Multi-agent Collaboration in Virtual Enterprise Based on Extended UML. |
CSSE (5) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Jiufu Liu, Zhong Yang |
UML and B Method Based Analysis and Refinement for Flight Control Software of Unmanned Aerial Vehicle. |
CSSE (1) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Benoît Combemale, Laurent Broto, Xavier Crégut, Michel J. Daydé, Daniel Hagimont |
Autonomic Management Policy Specification: From UML to DSML. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Isabelle Perseil, Laurent Pautet |
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Dorin Bogdan Petriu, C. Murray Woodside |
An intermediate metamodel with scenarios and resources for generating performance models from UML designs. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
Performance evaluation, Unified modeling language, Scenarios, Model transformations |
28 | Dorina C. Petriu, Hui Shen, Antonino Sabetta |
Performance analysis of aspect-oriented UML models. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Paulo Gomes, Pedro Gandola, Joel Cordeiro |
Helping Software Engineers Reusing UML Class Diagrams. |
ICCBR |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Shehnaaz Yusuf, Huzefa H. Kagdi, Jonathan I. Maletic |
Assessing the Comprehension of UML Class Diagrams via Eye Tracking. |
ICPC |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Carlos Mario Zapata Jaramillo, Guillermo González-Calderon, Alexander F. Gelbukh |
A Rule-Based System for Assessing Consistency Between UML Models. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Ivan Jureta, Stéphane Faulkner |
Tracing the Rationale Behind UML Model Change Through Argumentation. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Il-Woong Kim, Kyong-Ho Lee |
Describing Semantic Web Services: From UML to OWL-S. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Ke Jiang, Lei Zhang, Shigeru Miyake |
OCL4X: An Action Semantics Language for UML Model Execution. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Dong Kwan Kim, Shawn A. Bohner |
An AOP-based Performance Evaluation Framework for UML Models. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Abdelouahed Gherbi, Ferhat Khendek |
Consistency of UML/SPT Models. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Lidia Fuentes, Pablo Sánchez 0002 |
Execution of Aspect Oriented UML Models. |
ECMDA-FA |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek |
TURTLE-P: a UML profile for the formal validation of critical and distributed systems. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Kenny Wong, Dabo Sun |
On evaluating the layout of UML diagrams for program comprehension. |
Softw. Qual. J. |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Hong-Seok Na, O-Hoon Choi, Jung-Eun Lim |
A Metamodel-Based Approach for Extracting Ontological Semantics from UML Models. |
WISE |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Abdelouahed Gherbi, Ferhat Khendek |
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Mikko Setälä, Petri Kukkala, Tero Arpinen, Marko Hännikäinen, Timo D. Hämäläinen |
Automated Distribution of UML 2.0 Designed Applications to a Configurable Multiprocessor Platform. |
SAMOS |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Øystein Haugen, Birger Møller-Pedersen |
Configurations by UML. |
EWSA |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Ying Wang 0032, Xuegong Zhou, Bo Zhou, Liang Liang, Chenglian Peng |
A MDA based SoC Modeling Approach using UML and SystemC. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble |
Knowledge Modelling Using The UML Profile. |
AIAI |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Nawal Addouche, Christian Antoine, Jacky Montmain |
Methodology for UML Modeling and Formal Verification of Real-Time Systems. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Giuseppe Lipari |
A UML Profile and a Methodology for Real-Time Systems Design. |
EUROMICRO-SEAA |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Brian Henderson-Sellers, Cesar Gonzalez-Perez |
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Greg O'Keefe |
Improving the Definition of UML. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Hua Chu, Qingshan Li, Shengming Hu, Ping Chen |
An Approach for Reversely Generating Hierarchical UML Statechart Diagrams. |
FSKD |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Seno Darmawan Panjaitan, Georg Frey |
Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Claudia Pons |
Heuristics on the Definition of UML Refinement Patterns. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Greg O'Keefe |
Dynamic Logic Semantics for UML Consistency. |
ECMDA-FA |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Soon-Kyeong Kim, Luke Wildman, Roger Duke |
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jacky Estublier, Anca Daniela Ionita |
Extending UML for Model Composition. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Luis Reynoso, Marcela Genero, Mario Piattini, M. Esperanza Manso |
Assessing the Impact of Coupling on the Understandability and Modifiability of OCL Expressions within UML/OCL Combined Models. |
IEEE METRICS |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Huáscar Espinoza, Hubert Dubois, Sébastien Gérard, Julio Luis Medina Pasaje, Dorina C. Petriu, C. Murray Woodside |
Annotating UML Models with Non-functional Properties for Quantitative Analysis. |
MoDELS (Satellite Events) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Hui Shen, Dorina C. Petriu |
Performance Analysis of UML Models Using Aspect-Oriented Modeling Techniques. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
28 | José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Mario Piattini |
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Petri Kukkala, Jouni Riihimäki, Marko Hännikäinen, Timo D. Hämäläinen, Klaus Kronlöf |
UML 2.0 Profile for Embedded System Design. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Qiang Zhu 0005, Ryosuke Oishi, Takashi Hasegawa, Tsuneo Nakata |
Integrating UML into SoC Design Process. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Nawal Addouche, Christian Antoine, Jacky Montmain |
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Paola Inverardi, Henry Muccini, Patrizio Pelliccione |
DUALLY: Putting in Synergy UML 2.0 and ADLs. |
WICSA |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006 |
Improvements Towards Formalizing UML State Diagrams in CSP. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Xi Chen, Jianhua Lu, Zucheng Zhou, YaoHui Shang |
Modeling SystemC design in UML and automatic code generation. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jan Trowitzsch, Armin Zimmermann, Günter Hommel |
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jan Jürjens |
Model-Based Security Engineering with UML: Introducing Security Aspects. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Tim Schattkowsky, Wolfgang Müller 0003 |
Transformation of UML State Machines for Direct Execution. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Christian Lange 0001, Michel R. V. Chaudron |
Combining Metrics Data and the Structure of UML Models using GIS Visualization Approaches. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jocelyn Simmonds, M. Cecilia Bastarrica |
A tool for automatic UML model consistency checking. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
model consistency checking, software design verification, description logics |
28 | Roy Grønmo, Michael C. Jaeger, Hjørdis Hoff |
Transformations Between UML and OWL-S. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Vahid Garousi, Lionel C. Briand, Yvan Labiche |
Control Flow Analysis of UML 2.0 Sequence Diagrams. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes |
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Raffaella Settimi, Jane Cleland-Huang, Oussama Ben Khadra, Jigar Mody, Wiktor Lukasik, Chris DePalma |
Supporting Software Evolution through Dynamically Retrieving Traces to UML Artifacts. |
IWPSE |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Peter Green 0001, Salah Essa |
Integrating the Synchronous Dataflow Model with UML. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Xuede Zhan, Huaikou Miao |
An Approach to Formalizing the Semantics of UML Statecharts. |
ER |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Thouraya Bouabana-Tebibel, Mounira Belmesk |
Formalization of UML object dynamics and behavior. |
SMC (5) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Cédric Teyssié, Zoubir Mammeri |
QoS-Aware Network Design with UML. |
HSNMC |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Sabri Pllana, Thomas Fahringer, Johannes Testori, Siegfried Benkner, Ivona Brandic |
Towards an UML Based Graphical Representation of Grid Workflow Applications. |
European Across Grids Conference |
2004 |
DBLP DOI BibTeX RDF |
|
28 | James Bret Michael, Man-tak Shing, Michael H. Miklaski, Joel D. Babbitt |
Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++. |
IEEE International Workshop on Rapid System Prototyping |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Giancarlo Guizzardi, Gerd Wagner 0001, Heinrich Herre |
On the Foundations of UML as an Ontology Representation Language. |
EKAW |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Rüdiger Grammes, Reinhard Gotzhein |
Towards the Harmonisation of UML and SDL. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng |
Automated Analysis of Timing Information in UML Diagrams. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Jan Jürjens |
Model-Based Security Engineering with UML. |
FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Lionel C. Briand, Yvan Labiche, H.-D. Yan, Massimiliano Di Penta |
A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development. |
ICSM |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Dragan Djuric, Dragan Gasevic, Vladan Devedzic, Violeta Damjanovic |
A UML Profile for OWL Ontologies. |
MDAFA |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Dong Yang, Shen-sheng Zhang |
Using p - calculus to Formalize UML Activity Diagram. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Stephanie M. White, Murray Cantor, Sanford Friedenthal, Cris Kobryn, Byron Purves |
Panel: Extending UML from Software to Systems Engineering. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Susan Darling Urban, Suzanne W. Dietrich |
Using UML class diagrams for a comparative analysis of relational, object-oriented, and object-relational database mappings. |
SIGCSE |
2003 |
DBLP DOI BibTeX RDF |
object-relational data model, unified modeling language, database design, schema mappings, relational model, entity-relationship model, object-oriented data model |
28 | Bernhard Bauer, Jörg P. Müller |
Using UML in the Context of Agent-Oriented Software Engineering: State of the Art. |
AOSE |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou |
Formalizing the Framework Design Language F-UML. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Grant Martin |
UML for Embedded Systems Specification and Design: Motivation and Overview. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
28 | João Araújo 0001, Jonathan Whittle 0001, José Ambrosio Toval Álvarez, Robert B. France |
Integration and Transformation of UML Models. |
ECOOP Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Sabri Pllana, Thomas Fahringer |
Parallel and distributed systems: UML based modeling of performance oriented parallel and distributed applications. |
WSC |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Ina Schieferdecker, Jens Grabowski |
The Graphical Format of TTCN-3 in the Context of MSC and UML. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Georg Sonneck, Renate Motschnig-Pitrik, Thomas A. Mück |
Mapping UML Web Navigation Stereotypes to XML Data Skeletons. |
EC-Web |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Wolfgang Pree, Marcus Fontoura, Bernhard Rumpe |
Product Line Annotations with UML-F. |
SPLC |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Torsten Heverhagen, Rudolf Tracht |
Integrating UML-RealTime and IEC 61131-3 with Function Block Adapters. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk |
A Timed Automata Semantics for Real-Time UML Specifications. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Wuwei Shen, Kevin J. Compton, James Huggins |
A UML Validation Toolset Based on Abstract State Machines. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Petri Selonen, Tarja Systä, Kai Koskimies |
Generating Structured Implementation Schemes from UML Sequence Diagrams. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Bill Taylor, Einar W. Karlsen |
Mapping UML to Ada. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Günter Graw, Peter Herrmann, Heiko Krumm |
Verification of UML-Based Real-Time System Designs by Means of cTLA. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Michel Bruel, Johan Lilius, Ana M. D. Moreira, Robert B. France |
Defining Precise Semantics for UML. |
ECOOP Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Soon-Kyeong Kim, David A. Carrington |
A Formal Mapping between UML Models and Object-Z Specifications. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
Modeling the Dynamics of UML State Machines. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Nuno Jardim Nunes, João Falcão e Cunha |
Wisdom - A UML Based Architecture for Interactive Systems. |
DSV-IS |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Joon-Sang Lee, Tae-Ho Kim, Gwang Sik Yoon, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae |
Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML). |
ISADS |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Iulian Ober, Ileana Stan |
On the Concurrent Object Model of UML. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Johan Lilius, Ivan Paltor |
vUML: A Tool for Verifying UML Models. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor (eds.) |
«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens |
Supporting Model Refactorings Through Behaviour Inheritance Consistencies. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Dániel Varró, András Pataricza |
Generic and Meta-transformations for Model Transformation Engineering. |
UML |
2004 |
DBLP DOI BibTeX RDF |
meta-transformation, generic transformation, model transformation, metamodeling |
28 | Simone Röttger, Steffen Zschaler |
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|