Search results for "UML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
38	Gunnar Övergaard, Karin Palmkvist	Interacting Subsystems in UML.	UML	2000	DBLP DOI BibTeX RDF
38	Andy Evans, Stuart Kent 0001	Core Meta-Modelling Semantics of UML: The pUML Approach.	UML	1999	DBLP DOI BibTeX RDF
38	Ferenc Dósa Rácz, Kai Koskimies	Tool-Supported Compressing of UML Class Diagrams.	UML	1999	DBLP DOI BibTeX RDF
38	Luigia Petre, Ralph-Johan Back, Ivan Paltor	Analysing UML Use Cases as Contracts.	UML	1999	DBLP DOI BibTeX RDF
38	Tony Clark 0001	Type Checking UML Static Diagrams.	UML	1999	DBLP DOI BibTeX RDF
38	Shane Sendall, Alfred Strohmeier	UML Based Fusion Analysis Applied to a Bank Case Study.	UML	1999	DBLP DOI BibTeX RDF
38	Serge Demeyer, Stéphane Ducasse, Sander Tichelaar	Why Unified is not Universal? UML Shortcomings for Coping with Round-trip Engineering.	UML	1999	DBLP DOI BibTeX RDF
38	Mariano Belaunde	A Pragmatic Approach for Building a Flexible UML Model Repository.	UML	1999	DBLP DOI BibTeX RDF
38	Dominikus Herzberg	UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain.	UML	1999	DBLP DOI BibTeX RDF
38	Martin Gogolla, Oliver Radfelder, Mark Richters	Towards Three-Dimensional Animation of UML Diagrams.	UML	1999	DBLP DOI BibTeX RDF
38	Hubert Baumeister, Nora Koch, Luis Mandel	Towards a UML Extension for Hypermedia Design.	UML	1999	DBLP DOI BibTeX RDF
38	Jean-Louis Sourrouille	UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages.	UML	1999	DBLP DOI BibTeX RDF
38	Laila Kabous, Wolfgang Nebel	Modeling Hard Real Time Systems with UML.	UML	1999	DBLP DOI BibTeX RDF
38	Nathan Dykman, Martin L. Griss, Robert R. Kessler	Nine Suggestions for Improving UML Extensibility.	UML	1999	DBLP DOI BibTeX RDF
38	Birgit Demuth, Heinrich Hußmann	Using UML/OCL Constraints for Relational Database Design.	UML	1999	DBLP DOI BibTeX RDF
38	Brian Henderson-Sellers, Colin Atkinson 0001, Donald Firesmith	A UML Variant: OML.	UML	1999	DBLP DOI BibTeX RDF
38	Alexander Egyed, Nenad Medvidovic	Extending Architectural Representation in UML with View Integration.	UML	1999	DBLP DOI BibTeX RDF
38	Rich Hilliard	Using the UML for Architectural Description.	UML	1999	DBLP DOI BibTeX RDF
38	Pekka Kahkipuro	UML Based Performance Modeling Framework for Object-Oriented Distributed Systems.	UML	1999	DBLP DOI BibTeX RDF
38	Josep M. Ribó Balust, Xavier Franch	Using UML for Software Process Modelling.	UML	1999	DBLP DOI BibTeX RDF
38	Xuandong Li, Johan Lilius	Timing Analysis of UML Sequence Diagrams.	UML	1999	DBLP DOI BibTeX RDF
38	Pavel Hruby	Designing UML Based Development Processes.	UML	1999	DBLP DOI BibTeX RDF
38	Gregor Engels, Roland Huecking, Stefan Sauer 0001, Annika Wagner	UML Collaboration Diagrams and their Transformation to Java.	UML	1999	DBLP DOI BibTeX RDF
38	Desmond D'Souza, Aamond Sane, Alan Birchenough	First-Class Extensibility for UML-Profiles, Stereotypes, Patterns.	UML	1999	DBLP DOI BibTeX RDF
38	Junichi Suzuki, Yoshikazu Yamamoto	Extending UML for Modelling Reflective Software Componentsa.	UML	1999	DBLP DOI BibTeX RDF
38	Soon-Kyeong Kim, David A. Carrington	Formalizing the UML Class Diagram Using Object-Z.	UML	1999	DBLP DOI BibTeX RDF
38	Florian Matthes, Axel Wienberg, Marko Boger	Modeling Dynamic Software Components with UML.	UML	1999	DBLP DOI BibTeX RDF
38	Alexander Knapp	A Formal Semantics for UML Interactions.	UML	1999	DBLP DOI BibTeX RDF
38	A. Jefferson Offutt, Aynur Abdurazik	Generating Tests from UML Specifications.	UML	1999	DBLP DOI BibTeX RDF
38	Ivan Paltor, Johan Lilius	Formalising UML State Machines for Model Checking.	UML	1999	DBLP DOI BibTeX RDF
38	Martin Gogolla, Mark Richters	Transformation Rules for UML Class Diagrams.	UML	1998	DBLP DOI BibTeX RDF
38	Pavel Hruby	Structuring UML Design Deliverables.	UML	1998	DBLP DOI BibTeX RDF
38	Srdjan Kovacevic	UML and User Interface Modeling.	UML	1998	DBLP DOI BibTeX RDF
38	Antoni Olivé, Maria-Ribera Sancho	Porting ROSES to UML - An Experience Report.	UML	1998	DBLP DOI BibTeX RDF
38	Kari Kivisto	Considerations of and Suggestions for a UML-Specific Process Model.	UML	1998	DBLP DOI BibTeX RDF
38	Kevin Lano, Juan Bicarregui	Semantics and Transformations for UML Models.	UML	1998	DBLP DOI BibTeX RDF
38	Agnes Lanusse, Sébastien Gérard, François Terrier	Real-Time Modeling with UML: The ACCORD Approach.	UML	1998	DBLP DOI BibTeX RDF
38	Yongzhen Ou	On Using UML Class Diagrams for Object-Oriented Database Design. Specification of Integrity Constraints.	UML	1998	DBLP DOI BibTeX RDF
38	Eric Bourdeau, Philippe Lugagne, Pascal Roques	Hierarchical Context Diagrams with UML: An Experience Report on Satellite Ground System Analysis.	UML	1998	DBLP DOI BibTeX RDF
38	Jim Arlow, Wolfgang Emmerich, John Quinn	Literate Modelling - Capturing Business Knowledge with the UML.	UML	1998	DBLP DOI BibTeX RDF
38	Anneke Kleppe, Jos Warmer, Steve Cook	Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel.	UML	1998	DBLP DOI BibTeX RDF
38	Tom Mens, Carine Lucas, Patrick Steyaert	Supporting Disciplined Reuse and Evolution of UML Models.	UML	1998	DBLP DOI BibTeX RDF
38	Axel Korthaus, Stefan Kuhlins	BOOSTER Process. A Software Development Process Model Integrating Business Object Technology and UML.	UML	1998	DBLP DOI BibTeX RDF
38	Jochen Seemann, Jürgen Wolff von Gudenberg	Extension of UML Sequence Diagrams for Real-Time Systems.	UML	1998	DBLP DOI BibTeX RDF
38	Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe	The UML as a Formal Modeling Notation.	UML	1998	DBLP DOI BibTeX RDF
38	Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. Keller	Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams.	UML	1998	DBLP DOI BibTeX RDF
38	Florian Arnold, Gerd Podehl	Best of Both Worlds - A Mapping from EXPRESS-G to UML.	UML	1998	DBLP DOI BibTeX RDF
38	Junichi Suzuki, Yoshikazu Yamamoto	Making UML Models Interoperables with UXF.	UML	1998	DBLP DOI BibTeX RDF
38	Jean Bézivin, Pierre-Alain Muller	UML: The Birth and Rise of a Standard Modeling Notation.	UML	1998	DBLP DOI BibTeX RDF
38	Stephen J. Mellor, Stephen R. Tockey, Rodolphe Arthaud, Philippe Leblanc	An Action Language for UML: Proposal for a Precise Execution Semantics.	UML	1998	DBLP DOI BibTeX RDF
38	Minika Saksena, Maria M. Larrondo-Petrie, Robert B. France, Matthew P. Evett	Extending Aggregation Constructs in UML.	UML	1998	DBLP DOI BibTeX RDF
38	Colin Atkinson 0001	Supporting and Applying the UML Conceptual Framework.	UML	1998	DBLP DOI BibTeX RDF
38	Mohamed Mancona Kandé, Shahrzade Mazaher, Ognjen Prnjat, Lionel Sacks, Marcus Wittig	Applying UML to Design an Inter-domain Service Management Application.	UML	1998	DBLP DOI BibTeX RDF
38	Paul Allen	A Practical Framework for Applying UML.	UML	1998	DBLP DOI BibTeX RDF
38	N. G. Lester, F. George Wilkie, David W. Bustard	Applying UML Extensions to Facilitate Software Reuse.	UML	1998	DBLP DOI BibTeX RDF
38	Brian Henderson-Sellers	OML: Proposals to Enhance UML.	UML	1998	DBLP DOI BibTeX RDF
38	Martin Hitz, Gerti Kappel	Developing with UML - Some Pitfalls and Workarounds.	UML	1998	DBLP DOI BibTeX RDF
38	Uwe Katzke, Birgit Vogel-Heuser	Vergleich der Anwendbarkeit von UML und UML-PA in der anlagennahen Softwareentwicklung der Automatisierungstechnik (Evaluation of UML and UML-PA for Software Engineering in Plant Automation).	Autom.	2009	DBLP DOI BibTeX RDF
38	Akram Idani	B/UML : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B. (B/UML: Bridging the gap between B specifications and UML graphical descriptions to ease external validation of formal B developments).		2006	RDF
38	Jean-Pierre Seuma Vidal	Maîtrise de la cohérence des modèles UML d'applications critiques, approche par l'analyse des risques liés au langage UML. (Management of UML models consistency for safety critical systems,approach based on a UML risk analysis).		2006	RDF
37	Ali Fatolahi, Fereidoon Shams	An investigation into applying UML to the Zachman framework.	Inf. Syst. Frontiers	2006	DBLP DOI BibTeX RDF	The Zachman framework, UML business profile, UML
37	Yan Jin, Robert Esser, Jörn W. Janneck	A method for describing the syntax and semantics of UML statecharts.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Syntax definition, Formal operational semantics, UML, Visual languages, Statecharts, Abstract State Machines, UML statecharts
37	Juan-Pablo López-Grao, José Merseguer, Javier Campos	From UML activity diagrams to Stochastic Petri nets: application to software performance engineering.	WOSP	2004	DBLP DOI BibTeX RDF	UML Profile for schedulability performance and time specification, UML, CASE tool, compositionality, software performance, activity diagrams, Generalized Stochastic Petri nets
37	Simonetta Balsamo, Moreno Marzolla	A simulation-based approach to software performance modeling.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	simulation, unified modeling language (UML), performance modeling
37	Daniel Cabrera-Paniagua, Claudio Cubillos	UML-F in the Design of an Agent-Oriented Software Framework.	PRIMA	2008	DBLP DOI BibTeX RDF	UML-F, Passenger Transportation, Agents, Framework
37	Chartchai Doungsa-ard, Keshav P. Dahal, M. Alamgir Hossain, Taratip Suwannasart	Test Data Generation from UML State Machine Diagrams using GAs.	ICSEA	2007	DBLP DOI BibTeX RDF	UML state machine diagram, Genetic algorithm, Test data generation
37	Jan Trowitzsch, D. Jerzynek, Armin Zimmermann	A toolkit for performability evaluation based on stochastic UML state machines.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	stochastic UML state machines, performance evaluation, petri nets, software tool, model transformation
37	Christian Lange 0001, Michel R. V. Chaudron, Johan Muskens	In Practice: UML Software Architecture and Design Description.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	current practice, industry survey, Unified Modeling Language (UML), software quality
37	Lukasz Dobrzanski, Ludwik Kuzniarz	An approach to refactoring of executable UML models.	SAC	2006	DBLP DOI BibTeX RDF	executable UML, model refactoring
37	Alexander Knapp, Jochen Wuttke	Model Checking of UML 2.0 Interactions.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	UML 2.0 interactions, model checking, Scenarios
37	Jin Hyuk Yang, In-Jeong Chung	Automatic Generation of Service Ontology from UML Diagrams for Semantic Web Services.	ASWC	2006	DBLP DOI BibTeX RDF	state-chart and UML, Ontology, Semantic Web, OWL-S
37	Marcela Genero, David Miranda, Mario Piattini	Defining Metrics for UML Statechart Diagrams in a Methodological Way.	ER (Workshops)	2003	DBLP DOI BibTeX RDF	OO Software, UML statechart diagrams, theoretical validation, experiment replication, metrics, maintainability, size, empirical validation, understandability, structural complexity
37	Scott R. Tilley, Shihong Huang	A qualitative assessment of the efficacy of UML diagrams as a form of graphical documentation in aiding program understanding.	SIGDOC	2003	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), assessment, program understanding, graphical documentation
37	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen	A Probabilistic Extension of UML Statecharts.	FTRTFT	2002	DBLP DOI BibTeX RDF	model checking, semantics, probabilities, Markov decision processes, UML statecharts
37	Ralf Kollmann, Martin Gogolla	Application of UML Associations and Their Adornments in Design Recovery.	WCRE	2001	DBLP DOI BibTeX RDF	adornment, reverse engineering, composition, aggregation, association, design recovery, UML class diagrams
37	Xuandong Li, Johan Lilius	Checking compositions of UML sequence diagrams for timing inconsistency.	APSEC	2000	DBLP DOI BibTeX RDF	UML sequence diagram composition checking, timing inconsistency checking, real-time systems specification, system behaviour scenarios, high-level graphs, real-time systems, model checking, Unified Modeling Language, formal verification, graphs, timing, specification languages, sequences, diagrams, object interactions
37	Juha Pärssinen, Niklas von Knorring, Jukka Heinonen, Tellabs Oy, Markku Turunen	UML for Protocol Engineering - Extensions and Experiences.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	protocol, implementation, SDL, UML profile
37	Malcolm Shroff, Robert B. France	Towards a formalization of UML class structures in Z.	COMPSAC	1997	DBLP DOI BibTeX RDF	UML class structures, semantic base, OO model, Unified Modeling Language, formal specification, specification, object-oriented modeling, modeling language, Z language
37	Jesús Pardillo, Fernando Molina, Cristina Cachero, José Ambrosio Toval Álvarez	A UML Profile for Modelling Measurable Requirements.	ER Workshops	2008	DBLP DOI BibTeX RDF	GORE, MDD, UML profile
37	Ana Paula Allian, Elisa Yumi Nakagawa, Jabier Martinez, Wesley Klewerton Guez Assunção, Edson OliveiraJr	Variability Implementation and UML-Based Software Product Lines.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
37	Edson OliveiraJr, Itana M. S. Gimenes, José Carlos Maldonado	The SMarty Approach for UML-Based Software Product Lines.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
37	Wesley Klewerton Guez Assunção, Silvia R. Vergilio, Roberto E. Lopez-Herrejon	Reengineering UML Class Diagram Variants into a Product Line Architecture.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
37	Kevin Lano	Verification of UML Models.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
37	Hong Zhu 0002, Lijun Shan, Ian Bayley, Richard Amphlett	Formal Descriptive Semantics of UML and Its Applications.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
37	Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe	Considerations and Rationale for a UML System Model.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
37	Kevin Lano	Axiomatic Semantics of UML Class Diagrams.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
37	Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, José Ambrosio Toval Álvarez (eds.)	UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers	UML Satellite Activities	2005	DBLP DOI BibTeX RDF
37	Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto	SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
37	Vinay Kulkarni, Sreedhar Reddy	Model-Driven Development of Enterprise Applications.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
37	Nikolai Mansurov, Djenana Campara	Managed Architecture of Existing Code as a Practical Transition Towards MDA.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
37	Claudia Pons, Roxana S. Giandini, Gabriela Pérez, Pablo Pesce, Valeria Becker, Jorge Longinotti, Javier Cengia	PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
37	Theo Dirk Meijler	Incremental MDD Through Generative Causal Connectedness.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
37	Pierre-Alain Muller, Cédric Dumoulin, Frédéric Fondement, Michel Hassenforder	The TopModL Initiative.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
37	Eric Jouenne, Véronique Normand	Tailoring IEEE 1471 for MDE Support.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
37	Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer	OCL and Model Driven Engineering.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
37	Stephen J. Mellor, Leon Starr	Six Lessons Learned Using MDA.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
37	Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer	Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
37	Jean-Michel Bruel, Geri Georg, Heinrich Hußmann, Ileana Ober, Christoph Pohl, Jon Whittle 0001, Steffen Zschaler	Models for Non-functional Aspects of Component-Based Software (NfC'04).	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
37	Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander A. Letichevsky, Thomas Weigert	Leveraging UML to Deliver Correct Telecom Applications.	UML for Real	2003	DBLP DOI BibTeX RDF
37	Marco Di Natale, Manas Saksena	Schedulability Analysis with UML.	UML for Real	2003	DBLP DOI BibTeX RDF