Search results for "UML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	José Miguel Fuentes, Víctor Quintana, Juan Lloréns, Gonzalo Génova, Rubén Prieto-Díaz	Errors in the UML metamodel?	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF
52	Francis Thom	The Standard UML-Ada Profile.	Ada-Europe	2003	DBLP DOI BibTeX RDF
52	Zinovy Diskin	Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML.	Diagrams	2002	DBLP DOI BibTeX RDF
52	Alain Le Guennec, Gerson Sunyé, Jean-Marc Jézéquel	Precise Modeling of Design Patterns.	UML	2000	DBLP DOI BibTeX RDF
52	Mara Nikolaidou, Nancy Alexopoulou, Anargyros Tsadimas, Alexandros Dais, Dimosthenis Anagnostopoulos	Accommodating EIS UML 2.0 Profile using a standard UML modeling tool.	ICSEA	2007	DBLP DOI BibTeX RDF
52	Julie A. Street, Robert G. Pettit IV	The Impact of UML 2.0 on Existing UML 1.4 Models.	MoDELS	2005	DBLP DOI BibTeX RDF
52	Jessica Rubart, Peter Dawabi	Towards UML-G : A UML Profile for Modeling Groupware.	CRIWG	2002	DBLP DOI BibTeX RDF
52	Alexandre L. Correa, Cláudia Maria Lima Werner	Applying Refactoring Techniques to UML/OCL Models.	UML	2004	DBLP DOI BibTeX RDF
52	Andrew J. Bennett, A. J. Field, C. Murray Woodside	Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time.	UML	2004	DBLP DOI BibTeX RDF
52	Subash Shankar, Sinan Asa	Formal Semantics of UML with Real-Time Constructs.	UML	2003	DBLP DOI BibTeX RDF
52	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen	A QoS-Oriented Extension of UML Statecharts.	UML	2003	DBLP DOI BibTeX RDF
52	Jan Jürjens	Developing Safety-Critical Systems with UML.	UML	2003	DBLP DOI BibTeX RDF
52	Gregor Engels, Reiko Heckel, Jochen Malte Küster	Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model.	UML	2001	DBLP DOI BibTeX RDF	behavioral consistency, meta modeling, model verification
52	Gonzalo Génova, Juan Lloréns, Paloma Martínez	Semantics of the Minimum Multiplicity in Ternary Associations in UML.	UML	2001	DBLP DOI BibTeX RDF
52	Marc Lettrari, Jochen Klose	Scenario-Based Monitoring and Testing of Real-Time UML Models.	UML	2001	DBLP DOI BibTeX RDF
52	Werner Damm	Understanding UML - Pains and Rewards.	UML	2001	DBLP DOI BibTeX RDF
52	Lionel C. Briand, Yvan Labiche	A UML-Based Approach to System Testing.	UML	2001	DBLP DOI BibTeX RDF
52	Thomas Weigert, David Garlan, John Knapman, Birger Møller-Pedersen, Bran Selic	Modeling of Architectures with UML (Panel).	UML	2000	DBLP DOI BibTeX RDF
52	Raffaela Mirandola, Vittorio Cortellessa	UML Based Performance Modeling of Distributed Systems.	UML	2000	DBLP DOI BibTeX RDF
52	Friedrich Steimann	A Radical Revision of UML's Role Concept.	UML	2000	DBLP DOI BibTeX RDF
52	Simon Pickin 0001, Angeles Manjarrés Riesco	Describing AI Analysis Patterns with UML.	UML	2000	DBLP DOI BibTeX RDF
52	Esperanza Marcos, Belén Vela, José María Cavero	A methodological approach for object-relational database design using UML.	Inform. Forsch. Entwickl.	2004	DBLP DOI BibTeX RDF	SQL: 1999, UML, Design Methodology, Database Design, Oracle, Stereotypes, Object-Relational Databases, UML extensions, Object Persistence
52	Xuede Zhan, Huaikou Miao, Ling Liu	Formalizing the Semantics of UML Statecharts with Z*.	CIT	2004	DBLP DOI BibTeX RDF	UML, formal semantics, Z, UML statechart
52	Kevin Lano, David Clark 0001, Kelly Androutsopoulos	UML to B: Formal Verification of Object-Oriented Models.	IFM	2004	DBLP DOI BibTeX RDF	UML-RSDS, Graphical Specifications, UML, B
52	Michael von der Beeck	A structured operational semantics for UML-statecharts.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
51	Hengye Zhu, Guangyao Li	Visualizing HLA-Based Collaborative Simulation System Modeling with a UML Profile.	CDVE	2008	DBLP DOI BibTeX RDF	collaborative simulation, high level architecture, UML profile, stereotype, visualization modeling
51	Michelle L. Crane, Jürgen Dingel	Towards a Formal Account of a Foundational Subset for Executable UML Models.	MoDELS	2008	DBLP DOI BibTeX RDF	formal mapping, semantics, Model-driven Engineering, activities, actions, Executable UML
51	Lidia Fuentes, Jorge Manrique, Pablo Sánchez 0002	Pópulo: a tool for debugging UML models.	ICSE Companion	2008	DBLP DOI BibTeX RDF	executable uml, model execution, model simulation
51	José Luis Fernández Alemán, José Ambrosio Toval Álvarez	Can Intuition Become Rigorous? Foundations for UML Model Verification Tools.	ISSRE	2000	DBLP DOI BibTeX RDF	UML Statechart Diagrams, Software Model Reliability, Formal Verification, Requirements Specification
51	Marcus Alanen, Jordi Cabot, Miguel Goulão, José Sáez	Doctoral Symposium.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
51	Zbigniew Huzar, Ludwik Kuzniarz, Gianna Reggio, Jean-Louis Sourrouille	Consistency Problems in UML-Based Software Development.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
51	Martin Gogolla, Paul Sammut, Jon Whittle 0001	Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004).	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
51	Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews	EPTUD: An Eclipse Plugin for Testing UML Designs.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
50	Anisha Vemulapalli, Nary Subramanian	Transforming Functional Requirements from UML into BPEL to Efficiently Develop SOA-Based Systems.	OTM Workshops	2009	DBLP DOI BibTeX RDF	Business Process Execution Language for Web Services (BPEL4WS or BPEL), Visual Paradigm for UML (VP - UML), Unified modeling Language (UML), Service-Oriented Architecture (SOA)
48	Albert Zündorf	From use cases to code---rigorous software development with UML.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	object-oriented applications, UML, UML, CASE tools, development processes, software development methods
48	Jaiprakash T. Lallchandani, Rajib Mall	Slicing UML architectural models.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	architectural metamodel, UML, software architecture, slicing, impact analysis
48	Vinita, Amita Jain, Devendra K. Tayal	On reverse engineering an object-oriented code into UML class diagrams incorporating extensible mechanisms.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	UML, reverse engineering, object-oriented programming, class diagrams
48	David H. Akehurst, W. Gareth J. Howells, Klaus D. McDonald-Maier	Implementing associations: UML 2.0 to Java 5.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	Java, UML, Code Generation, Association, Property
48	Dorina C. Petriu, C. Murray Woodside, Dorin Bogdan Petriu, Jing Xu 0024, Toqeer Israr, Geri Georg, Robert B. France, James M. Bieman, Siv Hilde Houmb, Jan Jürjens	Performance analysis of security aspects in UML models.	WOSP	2007	DBLP DOI BibTeX RDF	security, UML, model transformations, software performance engineering, aspect-oriented modeling
48	Bente Anda, Kai Hansen	A case study on the application of UML in legacy development.	ISESE	2006	DBLP DOI BibTeX RDF	UML, model-driven development, embedded software, legacy software
48	Christian F. J. Lange, Michel R. V. Chaudron	Effects of defects in UML models: an experimental investigation.	ICSE	2006	DBLP DOI BibTeX RDF	UML, consistency, completeness, defect detection
48	Ninh-Thuan Truong, Jeanine Souquières	Verification of behavioural elements of UML models using B.	SAC	2005	DBLP DOI BibTeX RDF	UML, verification, metamodel, B, proof obligation
48	Muan Yong Ng, Michael J. Butler	Tool Support for Visualizing CSP in UML.	ICFEM	2002	DBLP DOI BibTeX RDF	UML, CSP, class diagram, state diagram
48	Peter Graubmann, Ekkart Rudolph	HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing.	UML	2000	DBLP DOI BibTeX RDF	distributed systems, software engineering, real time systems, UML, testing, telecommunication, Sequence Diagrams, Use Cases, MSC, OO
48	Keng Siau, Yuhong Tian	A semiotic analysis of unified modeling language graphical notations.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Unified modeling language, Semiotics, Graphical notations, Modeling methods, Systems analysis and design
48	Juan Trujillo 0001	A report on the first international workshop on best practices of UML: (BP-UML'05).	SIGMOD Rec.	2006	DBLP DOI BibTeX RDF	UML
47	Akhtar Ali Jalbani, Jens Grabowski, Helmut Neukirchen, Benjamin Zeiss	Towards an Integrated Quality Assessment and Improvement Approach for UML Models.	SDL Forum	2009	DBLP DOI BibTeX RDF
47	Wojciech J. Dzidek, Erik Arisholm, Lionel C. Briand	A Realistic Empirical Evaluation of the Costs and Benefits of UML in Software Maintenance.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Maintenance and Enhancement, Software/Software Engi, Design notations and documentation, Software Engineering, Object-Oriented Programming, Distribution, Maintainability
47	Mirco Kuhlmann, Martin Gogolla	Modeling and validating Mondex scenarios described in UML and OCL with USE.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF
47	Juliana de Melo Bezerra, Celso Massaki Hirata	A Semantics for UML-RT using n-calculus.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
47	Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard	Enhancing UML Extensions with Operational Semantics.	MoDELS	2007	DBLP DOI BibTeX RDF
47	Tony Khoo, Yingxu Wang 0001	Formalization of UML Models by RTPA.	CCECE	2006	DBLP DOI BibTeX RDF
47	Iris Reinhartz-Berger	Conceptual Modeling of Structure and Behavior with UML - The Top Level Object-Oriented Framework (TLOOF) Approach.	ER	2005	DBLP DOI BibTeX RDF
47	Jennifer Tenzer	Improving UML Design Tools by Formal Games .	ICSE	2004	DBLP DOI BibTeX RDF	Application of formal methods to software design
47	Wuwei Shen, Kevin J. Compton, James Huggins	A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines.	APSEC	2003	DBLP DOI BibTeX RDF
47	Vieri Del Bianco, Luigi Lavazza, Marco Mauri	Model Checking UML Specifications of Real Time Software.	ICECCS	2002	DBLP DOI BibTeX RDF
47	François Pennaneac'h, Jean-Marc Jézéquel, Jacques Malenfant, Gerson Sunyé	UML Reflections.	Reflection	2001	DBLP DOI BibTeX RDF
47	Jan Jürjens, Pasha Shabalin	Automated Verification of UMLsec Models for Security Requirements.	UML	2004	DBLP DOI BibTeX RDF
47	Colin Atkinson 0001, Thomas Kühne 0001, Brian Henderson-Sellers	Stereotypical Encounters of the Third Kind.	UML	2002	DBLP DOI BibTeX RDF
47	José M. Álvarez 0003, Andy Evans, Paul Sammut	Mapping between Levels in the Metamodel Architecture.	UML	2001	DBLP DOI BibTeX RDF
47	Colin Atkinson 0001, Thomas Kühne 0001	The Essence of Multilevel Metamodeling.	UML	2001	DBLP DOI BibTeX RDF
47	Paulo Pinheiro da Silva, Norman W. Paton	UMLi: The Unified Modeling Language for Interactive Applications.	UML	2000	DBLP DOI BibTeX RDF
47	Sajjad Mahmood, Richard Lai 0001	RE-UML: An Extension to UML for Specifying Component-Based Software System.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
47	Juan Trujillo 0001, Dae-Kyoo Kim	Preface to FP-UML 2009.	ER Workshops	2009	DBLP DOI BibTeX RDF
47	Juan Trujillo 0001, Jeffrey Parsons	Preface to FP-UML 2007.	ER Workshops	2007	DBLP DOI BibTeX RDF
47	Jorge Enrique Pérez-Martínez, Almudena Sierra-Alonso	UML 1.4 versus UML 2.0 as Languages to Describe Software Architectures.	EWSA	2004	DBLP DOI BibTeX RDF
47	Risto Pitkänen, Petri Selonen	A UML Profile for Executable and Incremental Specification-Level Modeling.	UML	2004	DBLP DOI BibTeX RDF
47	Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta	A UML Profile to Model Mobile Systems.	UML	2004	DBLP DOI BibTeX RDF
47	Dorin Bogdan Petriu, C. Murray Woodside	A Metamodel for Generating Performance Models from UML Designs.	UML	2004	DBLP DOI BibTeX RDF
47	Ezra Kaahwa Mugisa	Tutorials at the UML 2004 Conference.	UML	2004	DBLP DOI BibTeX RDF
47	Agustín Goñi, Yadran Eterovic	Building Precise UML Constructs to Model Concurrency Using OCL.	UML	2004	DBLP DOI BibTeX RDF
47	Sadahiro Isoda	A Critique of UML's Definition of the Use-Case Class.	UML	2003	DBLP DOI BibTeX RDF
47	João Araújo 0001	Tutorials at the UML 2003 Conference.	UML	2003	DBLP DOI BibTeX RDF
47	Herman Balsters	Modelling Database Views with Derived Classes in the UML/OCL-Framework.	UML	2003	DBLP DOI BibTeX RDF
47	Yaojin Yang, Jianli Xu	Encoding Informal Architectural Descriptions with UML: An Experience Report.	UML	2003	DBLP DOI BibTeX RDF
47	Martin Gogolla, Jörn Bohling, Mark Richters	Validation of UML and OCL Models by Automatic Snapshot Generation.	UML	2003	DBLP DOI BibTeX RDF
47	Nicolas F. Rouquette	UML/MDA Reality Check: Heterogenous Architecture Style.	UML	2003	DBLP DOI BibTeX RDF
47	Charles André, Marie-Agnès Peraldi-Frati, Jean-Paul Rigault	Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems.	UML	2002	DBLP DOI BibTeX RDF
47	Jon Whittle 0001	Transformations and Software Modeling Languages: Automating Transformations in UML.	UML	2002	DBLP DOI BibTeX RDF
47	Stephan Flake, Wolfgang Müller 0003	A UML Profile for Real-Time Constraints with the OCL.	UML	2002	DBLP DOI BibTeX RDF
47	Torsten Lodderstedt, David A. Basin, Jürgen Doser	SecureUML: A UML-Based Modeling Language for Model-Driven Security.	UML	2002	DBLP DOI BibTeX RDF
47	Sherif M. Yacoub, Hany H. Ammar	UML Support for Designing Software Systems as a Composition of Design Patterns.	UML	2001	DBLP DOI BibTeX RDF	Pattern-Oriented Design, Design Patterns and Pattern Composition
47	John Mylopoulos, Manuel Kolp, Jaelson Castro	UML for Agent-Oriented Software Development: The Tropos Proposal.	UML	2001	DBLP DOI BibTeX RDF
47	Aynur Abdurazik, A. Jefferson Offutt	Using UML Collaboration Diagrams for Static Checking and Test Generation.	UML	2000	DBLP DOI BibTeX RDF
47	Steve Cook	The UML family: Profiles, Prefaces and Packages.	UML	2000	DBLP DOI BibTeX RDF
47	Michelle Chabrol, David Sarramia	Object Oriented Methodology based on UML for Urban Traffic System Modeling.	UML	2000	DBLP DOI BibTeX RDF
47	Alistair Barros, Keith Duddy, Michael Lawley, Zoran Milosevic, Kerry Raymond, Andrew Wood	Processes, Roles, and Events: UML Concepts for Enterprise Architecture.	UML	2000	DBLP DOI BibTeX RDF
47	Gihwon Kwon	Rewrite rules and Operational Semantics for Model Checking UML Statecharts.	UML	2000	DBLP DOI BibTeX RDF
47	Barbara Paech	On the Role of Activity Diagrams in UML - A User Task Centered Development Process for UML.	UML	1998	DBLP DOI BibTeX RDF
47	Abdelouahed Gherbi, Ferhat Khendek	From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	UML/SPT, UML, Real-time, MDA, Model transformations, Schedulability analysis, ATL
47	Gregory Zoughbi, Lionel C. Briand, Yvan Labiche	A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.	MoDELS	2007	DBLP DOI BibTeX RDF	Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority
47	Nathalie Moreno, Piero Fraternali, Antonio Vallecillo	A UML 2.0 profile for WebML modeling.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	UML, metamodels, UML profiles, WebML
47	Fu Zhang 0001, Zong Min Ma 0001, Jingwei Cheng, Xiangfu Meng	Fuzzy semantic web ontology learning from fuzzy UML model.	CIKM	2009	DBLP DOI BibTeX RDF	fuzzy UML model, ontology learning, fuzzy ontology
47	Joe Mooney, Hessam S. Sarjoughian	A framework for executable UML models.	SpringSim	2009	DBLP DOI BibTeX RDF	discrete event simulation, state machine, DEVS, executable UML
47	David Harel, Shahar Maoz	Assert and negate revisited: Modal semantics for UML sequence diagrams.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts
47	Giovanni Giachetti, Francisco Valverde, Oscar Pastor 0001	Improving Automatic UML2 Profile Generation for MDA Industrial Development.	ER Workshops	2008	DBLP DOI BibTeX RDF	DSML, MDA, MDD, Metamodeling, Model-driven Engineering, UML Profile, UML2
47	Markus Schmidt 0004	Transformations of UML 2 Models Using Concrete Syntax Patterns.	RISE	2006	DBLP DOI BibTeX RDF	UML 2 Profiles, Patterns, Model Transformations
47	Vittorio Cortellessa, Antonio Pompei	Towards a UML profile for QoS: a contribution in the reliability domain.	WOSP	2004	DBLP DOI BibTeX RDF	software reliability, UML profile, software performance, component-based software systems
47	Gilleanes Thorwald Araujo Guedes, Rosa Maria Vicari	Applying AUML and UML 2 in the Multi-agent Systems Project.	ER Workshops	2009	DBLP DOI BibTeX RDF	UML 2, Use Case Diagram, Internal Use Cases, Combined Fragments, State Machine Diagram, Composite States, Activity Partition, Agents, Actors, Sequence Diagram, Activity Diagram, AUML
46	Steve Anonsen	Experiences in Modeling for a Domain Specific Language.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF