Search results for "UML"

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