Search results for "UML"

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