Search results for "UML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Ye Wu, Jeff Offutt	Maintaining Evolving Component-Based Software with UML.	CSMR	2003	DBLP DOI BibTeX RDF	Unified, software maintenance, program analysis, Modeling Language (UML), component-based software
32	Matthias Tichy, Holger Giese	Seamless UML Support for Service-Based Software Architectures.	FIDJI	2003	DBLP DOI BibTeX RDF	Development methodologies for UML, service-based architectures, design of distributed Java applications
32	Colin Atkinson 0001, Thomas Kühne 0001	Rearchitecting the UML infrastructure.	ACM Trans. Model. Comput. Simul.	2002	DBLP DOI BibTeX RDF	UML infrastructure, classification dimensions, deep instantiation, strict metamodeling, classification, unified modeling language, Metamodeling
32	Leandro Buss Becker, R. H. Höltz, Carlos Eduardo Pereira	On Mapping RT-UML Specifications to RT-Java API: Bridging the Gap.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	real-time object computing, RT-UML, RT-Java, code generation
32	Tetsuro Katayama	Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML.	APSEC	2002	DBLP DOI BibTeX RDF	diagram transformation editor, Unified Modeling Language (UML), object-oriented design, modeling tool, transformation rules
32	Jean Hartmann, Claudio Imoberdorf, Michael Meisinger	UML-Based integration testing.	ISSTA	2000	DBLP DOI BibTeX RDF	COM/DCOM, XML, CORBA, test generation, functional testing, distributed components, UML statecharts, test execution
32	Martin Wolf 0002, Evgeni Ivanov, Rainer Burkhardt, Ilka Philippow	UML Tool Support: Utilization of Object-Oriented Models.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	UML-Modeling Tool, Model checking, Frameworks, Patterns, Object-oriented Modeling
32	Diego Latella, István Majzik, Mieke Massink	Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	UML Statechart Diagrams, Model-checking, Program transformation, SPIN, PROMELA
32	Liuying Li, Zhichang Qi	Test Selection from UML Statecharts.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Wp-method, concurrency, test case selection, UML Statecharts
32	Dong Kwan Kim, Hyo Taeg Jung, Chae Kyu Kim	Techniques for Systematically Generating Framework Diagram based on UML.	APSEC	1998	DBLP DOI BibTeX RDF	Framework Diagram, Unified Modeling Language(UML), Interface, Reuse, Object-Oriented Framework, Control Flow
32	Roman Gumzej, Wolfgang A. Halang	A safety shell for UML-RT projects structure and methods of the corresponding UML pattern.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Safety shell, Real time, Pattern, Safety, UML-RT
32	David Garcia Rosado, Eduardo Fernández-Medina, Javier López 0001	Applying a UML Extension to Build Use Cases Diagrams in a Secure Mobile Grid Application.	ER Workshops	2009	DBLP DOI BibTeX RDF	secure mobile Grid, secure development, Security, Use Cases, UML extension
32	Anthony J. H. Simons	Use Cases Considered Harmful.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	UML 1.3, UML semantics, cognitive misdirection, use cases, ambiguity, inconsistency, control flow
32	Padmanabhan Krishnan	Consistency checks for UML.	APSEC	2000	DBLP DOI BibTeX RDF	UML consistency checking, state predicates, PVS theorem prover, Prototype Verification System, partially specified systems, behavioural description, Unified Modeling Language, formal verification, theorem proving, specification languages, diagrams, computation history, UML diagrams, dynamic aspects
29	Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen	A methodology for specifying and analyzing consistency of object-oriented behavioral models.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	behavioral consistency, UML, UML, CSP, object-oriented modeling
29	Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang	Object-Z web environment and projections to UML.	WWW	2001	DBLP DOI BibTeX RDF	XML/XSL/XMI, XML, UML, UML, WEB, object-Z
29	Fried Hoeben	Using UML models for performance calculation.	Workshop on Software and Performance	2000	DBLP DOI BibTeX RDF	automated performance estimates, distributed systems, UML, UML, abstractions, component based systems, performance engineering
29	Hans J. Köhler, Ulrich Nickel 0002, Jörg Niere, Albert Zündorf	Integrating UML diagrams for production control systems.	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, embedded systems, statecharts, SDL, graph grammars, collaboration diagrams
29	Ali Ebnenasir, Betty H. C. Cheng	A Pattern-Based Approach for Modeling and Analyzing Error Recovery.	WADS	2006	DBLP DOI BibTeX RDF	Fault-Tolerance, UML, Formal Methods, Requirements Analysis, Error Recovery, Corrector
29	Thomas Fahringer, Sabri Pllana, Johannes Testori	Teuta: Tool Support for Performance Modeling of Distributed and Parallel Applications.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Distributed and Parallel Applications, Performance, UML, Modeling and Simulation
29	Stefano Ceri, Peter Dolog, Maristella Matera, Wolfgang Nejdl	Model-Driven Design of Web Applications with Client-Side Adaptation.	ICWE	2004	DBLP DOI BibTeX RDF	WebML Modeling, UML, Personalization, Web Engineering
29	Franck Barbier, Brian Henderson-Sellers, Annig Le Parc, Jean-Michel Bruel	Formalization of the Whole-Part Relationship in the Unified Modeling Language.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Whole-Part relationship, UML, composition, aggregation, Object-oriented modeling
29	Anneke Kleppe, Jos Warmer	The Semantics of the OCL Action Clause.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF	action clause, UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions
29	Franck Barbier	Component-Based Design of Large-Scale Distributed Systems.	COMPSAC	2001	DBLP DOI BibTeX RDF	Distributed Systems, UML, Software Components
29	Robert L. Nord, Daniel J. Paulish, Robert W. Schwanke, Dilip Soni	Software architecture in a changing world: developing design strategies that anticipate change.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	UML
29	Ulrich Nickel 0002, Jörg Niere, Albert Zündorf	The FUJABA environment.	ICSE	2000	DBLP DOI BibTeX RDF	Java, UML
29	Vipin Saxena, Manish Shrivastava 0002	Performance of function point analysis through UML modeling.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	UML, software metrics, function point analysis, size estimation
29	Hector Miguel Chavez, Wuwei Shen, Shaoying Liu	An approach to detection of UML-based ownership violation.	SAC	2009	DBLP DOI BibTeX RDF	UML, Eclipse, class diagram, ownership, model checker
29	Christine Choppy, Gianna Reggio	A method for developing UML state machines.	SAC	2009	DBLP DOI BibTeX RDF	UML, state machine
29	Michael Decker	An UML profile for the modelling of mobile business processes and workflows.	MobiMedia	2009	DBLP DOI BibTeX RDF	mobile business processes/workflows, usecase diagrams, modelling, UML, location-based services, activity diagrams
29	Ariadi Nugroho, Michel R. V. Chaudron	Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study.	MoDELS	2009	DBLP DOI BibTeX RDF	UML, Complexity, Coupling, Case Study, Defect Density
29	Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos	Automatic Generation of Integrated Formal Models Corresponding to UML System Models.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	Epsilon, UML, Model transformation, CSP, B
29	Dae-Kyoo Kim, Wuwei Shen	Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Pattern conformance, RBML, UML, Design pattern
29	Amit Raj, T. V. Prabhakar, Stan Hendryx	Transformation of SBVR business design to UML models.	ISEC	2008	DBLP DOI BibTeX RDF	business design, production rule representation, UML, model driven architecture, business rules, SBVR
29	Luis Reynoso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini	Formal definition of measures for UML statechart diagrams using OCL.	SAC	2008	DBLP DOI BibTeX RDF	UML, measures, metamodeling, OCL, understandability, structural properties, formal definition, statechart diagrams
29	Bill Hasling, Helmut Goetz, Klaus Beetz	Model Based Testing of System Requirements using UML Use Case Models.	ICST	2008	DBLP DOI BibTeX RDF	UML, Model Based Testing, Requirements Tracing
29	Kalliopi Tourtoglou, Maria Virvou	User Modelling in a Collaborative Learning Environment for UML.	ITNG	2008	DBLP DOI BibTeX RDF	UML, user modelling, CSCL, learning environment, stereotypes
29	Panuchart Bunyakiati, Anthony Finkelstein, James Skene, Clovis Chapman	Using JULE to generate a compliance test suite for the UML standard.	ICSE	2008	DBLP DOI BibTeX RDF	ocl, test generation, metamodel, certification, binary decision diagram, uml
29	Huáscar Espinoza, David Servat, Sébastien Gérard	Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems.	SHARK	2008	DBLP DOI BibTeX RDF	UML, embedded systems, model-driven engineering, design space exploration, trade-off analysis
29	Vincent Pretre, Fabrice Bouquet, Christophe Lang	Automating UML models merge for web services testing.	iiWAS	2008	DBLP DOI BibTeX RDF	web services, UML, model based testing
29	Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting	A subset of precise UML for model-based testing.	A-MOST	2007	DBLP DOI BibTeX RDF	UML, model-based testing, OCL
29	Gene Wang, Brian McSkimming, Zachary Marzec, Joshua Gardner, Adrienne Decker, Carl Alphonce	Green: a flexible UML class diagramming tool for eclipse.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, design, UML, reverse-engineering, object-orientation, code generation
29	Ethan Hadar, Irit Hadar	Effective preparation for design review: using UML arrow checklist leveraged on the Gurus' knowledge.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	modeling, UML, refactoring, object-oriented design, design review, software engineering methodology
29	Gene Wang, Brian McSkimming, Zachary Marzec, Joshua Gardner, Adrienne Decker, Carl Alphonce	Green: a flexible UML class diagramming tool for eclipse.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, design, UML, reverse-engineering, object-orientation, code generation, CS1, CS2
29	Darius Silingas, Ruslanas Vitiutinas	Towards UML-Intensive Framework for Model-Driven Development.	CEE-SET	2007	DBLP DOI BibTeX RDF	MagicDraw, UML, MDA, Model-Driven Development
29	Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta	Platform-Independent Programming of Data-Intensive Applications Using UML.	CEE-SET	2007	DBLP DOI BibTeX RDF	UML, MDA, query language, database applications, executable modelling, action language
29	Jordi Cabot, Robert Clarisó, Daniel Riera	UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming.	ASE	2007	DBLP DOI BibTeX RDF	UML, MDD, constraint programming, OCL, model verification
29	Christian Bunse	Using patterns for the refinement and translationof UML models: A controlled experiment.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	UML, Patterns, Empirical evaluation, Understandability, Verifiability
29	Amel Mammar, Régine Laleau	A formal approach based on UML and B for the specification and development of database applications.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Relational implementation, UML, Formal methods, Integration, Database applications, B
29	Felix Bübl	Keeping track of crosscutting requirements in UML models via context-based constraints.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	modelling, UML, constraints, AOP, requirements engineering, AOSD
29	Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Flávio Rech Wagner	MDA-based approach for embedded software generation from a UML/MOF repository.	SBCCI	2006	DBLP DOI BibTeX RDF	UML, MDA, design space exploration, embedded systems design
29	Cédric Teyssié	UML-based Specification of QoS Contract Negotiation and Service Level Agreements.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF	QoS, UML, specification, negotiation, Service Level Agreement
29	Jacqueline A. McQuillan, James F. Power	On the Application of Software Metrics to UML Models.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	UML, software metrics, metamodels, object-oriented systems
29	Minseong Kim, Suntae Kim, Sooyong Park, Mun-Taek Choi, Munsang Kim, Hassan Gomaa	UML-based service robot software development: a case study.	ICSE	2006	DBLP DOI BibTeX RDF	object-oriented analysis and design methods, service robot development, software engineering, UML
29	Martin Gogolla, Jörn Bohling, Mark Richters	Validating UML and OCL models in USE by automatic snapshot generation.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	models, UML, Invariant, Reasoning, OCL, Test case, Class diagram, Model validation, Snapshot, Pre- and postcondition, Model testing
29	Karsten Sohr, Gail-Joon Ahn, Lars Migge	Articulating and enforcing authorisation policies with UML and OCL.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	UML
29	Elli Georgiadou, Eleni Berki, Maria del Brezo Cordero, Margaret Ross 0001, Geoff Staples	Towards Formalised Guidelines for Migrating Structured Designs to UML: A Case Study.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	isomorphic models, UML, testing, reuse, re-engineering, structured designs, OO
29	Akram Idani, Yves Ledru, Didier Bert	Derivation of UML Class Diagrams as Static Views of Formal B Developments.	ICFEM	2005	DBLP DOI BibTeX RDF	UML, Formal concept analysis, B, Method integration
29	Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières	Consistency in UML and B Multi-view Specifications.	IFM	2005	DBLP DOI BibTeX RDF	UML, verification, consistency, operator, B, multi-view
29	Robert B. France, Dae-Kyoo Kim, Sudipto Ghosh, Eunjee Song	A UML-Based Pattern Specification Technique.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	pattern specification, UML, Design patterns, object-oriented models
29	Flora Dilys Salim, Rosanne Price, Shonali Krishnaswamy, Maria Indrawan	UML Documentation Support for XML Schema.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF	UML, reverse engineering, transformation, graphical modelling, XML Schema, conceptual
29	Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001	A Formal Semantics of UML Sequence Diagram.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF	UML, Semantics, Consistency, Sequence Diagram
29	Patricia K. Schank, Lawrence Hamel	Collaborative modeling: hiding UML and promoting data examples in NEMo.	CSCW	2004	DBLP DOI BibTeX RDF	example-driven design, XML, UML, participatory design, data modeling, domain modeling, knowledge extraction
29	Gergely Pintér, István Majzik	Modeling and Analysis of Exception Handling by Using UML Statecharts.	FIDJI	2004	DBLP DOI BibTeX RDF	model checking, UML, formal methods, Exception handling
29	Robert G. Pettit IV	Lessons Learned Applying UML in Embedded Software Systems Designs.	WSTFEUS	2004	DBLP DOI BibTeX RDF	UML, Embedded Systems, Object Oriented, Software Design, Experience Reports, Lessons Learned
29	Indrakshi Ray, Na Li, Robert B. France, Dae-Kyoo Kim	Using uml to visualize role-based access control constraints.	SACMAT	2004	DBLP DOI BibTeX RDF	modeling, UML, RBAC
29	Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen	Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	safety requirements specification, safety patterns, radio-based train control system (FFB), UML, object orientation, level crossing
29	Hallvard Trætteberg	Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach.	DSV-IS	2003	DBLP DOI BibTeX RDF	UML, Statecharts, user interface model, dialog model
29	Lionel C. Briand, Yvan Labiche	A UML-Based Approach to System Testing.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Testing of object-oriented systems, UML, Testability, Sequence Diagrams, System testing, Use Cases
29	Zhiming Liu 0001, Xiaoshan Li, Jifeng He 0001	Using Transition Systems to Unify UML Models.	ICFEM	2002	DBLP DOI BibTeX RDF	UML, Object-orientation, Conceptual model, Transition systems, Use-case model
29	Tsuneo Nakata, Akio Matsuda, Minoru Shoji, Shinya Kuwamura, Qiang Zhu 0005	An Object-Oriented Design Process for System-on-Chip Using UML.	ISSS	2002	DBLP DOI BibTeX RDF	system level performance evaluation, UML, design process, system level design, object-oriented analysis and design
29	Dominik Stein, Stefan Hanenberg, Rainer Unland	A UML-based aspect-oriented design notation for AspectJ.	AOSD	2002	DBLP DOI BibTeX RDF	UML
29	Philippe Kruchten, Bran Selic, Wojtek Kozaczynski	Tutorial: describing software architecture with UML.	ICSE	2002	DBLP DOI BibTeX RDF	UML
29	Bernhard Bauer	UML classes diagrams and agent-based systems.	Agents	2001	DBLP DOI BibTeX RDF	internal behavior of agents, software engineering, UML, agents, AUML, design artifacts
29	Stefan Sauer 0001, Gregor Engels	UML-based Behavior Specification of Interactive Multimedia Applications.	HCC	2001	DBLP DOI BibTeX RDF	UML, interactive multimedia, behavior specification, integrated modeling
29	Frank Keienburg, Andreas Rausch	Using XML/XMI for Tool Supported Evolution of UML Models.	HICSS	2001	DBLP DOI BibTeX RDF	XML, UML, Tool, Migration, XMI, Model evolution
29	Paolo Tonella, Alessandra Potrich	Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers.	ICSM	2001	DBLP DOI BibTeX RDF	UML, reverse engineering, software maintenance, flow analysis
29	Christine Choppy, Pascal Poizat, Jean-Claude Royer	Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.	FASE	2001	DBLP DOI BibTeX RDF	mixed specification, symbolic transition systems, Korrigan, UML, formal specification, graphical notation
29	Luiz Marcio Cysneiros, Julio César Sampaio do Prado Leite	Using UML to reflect non-functional requirements.	CASCON	2001	DBLP BibTeX RDF	UML
29	Sophie Dupuy, Lydie du Bousquet	A Multi-formalism Approach for the Validation of UML Models.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Rational Rose ™, RoZ, Z-EVES, UML, Z, Lustre, Multi-formalism
29	Dionisis X. Adamopoulos, George Pavlou, Constantine A. Papandreou	A UML Based Methodology for the Creation of TINA Compatible Telecommunications Services.	ISCC	2000	DBLP DOI BibTeX RDF	service creation methodology, new telecommunications services, TINA-C, UML, service engineering
29	Vangalur S. Alagar, D. Muthiayen	Towards a mechanical verification of real-time reactive systems modeled in UML.	RTCSA	2000	DBLP DOI BibTeX RDF	Prototype Verification System, real-time systems, UML, Unified Modeling Language, formal specification, object-oriented programming, program verification, specification languages, PVS, notation, safety-critical applications, mechanical verification, real-time reactive systems, design analysis, object-based systems
29	Joseph Gil, John Howse, Stuart Kent 0001	Advanced visual modeling (tutorial session): beyond UML.	ICSE	2000	DBLP DOI BibTeX RDF	UML
29	Juan Trujillo 0001, Jaime Gómez, Manuel Palomar	Modeling the Behavior of OLAP Applications Using an UML Compilant Approach.	ADVIS	2000	DBLP DOI BibTeX RDF	conceptual modeling, uml, multidimensionality, olap
29	Stefania Gnesi, Diego Latella, Mieke Massink	Model Checking UML Statechart Diagrams Using JACK.	HASE	1999	DBLP DOI BibTeX RDF	Branching Time Temporal Logics, Model Checking, UML, Formal Verification
29	Liliana Favre, Silvia Clerici	Integrating UML and Algebraic Specification Techniques.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	UML, object-oriented programming, reusability, algebraic specification, forward engineering
29	Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane	A Model Driven Approach to the Analysis of Timeliness Properties.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
29	Narayan C. Debnath, Ana Gabriela Garis, Daniel Riesco, German Montejano	Defining OCL constraints for the Proxy Design Pattern Profile.	AICCSA	2007	DBLP DOI BibTeX RDF
29	Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel	Reliability Prediction in Model-Driven Development.	MoDELS	2005	DBLP DOI BibTeX RDF
29	Farooque Azam, Li Zhang 0029, Rashid Ahmad 0001	Higher-Level Information Aspects of Web Systems: Addressing the Problem of Disconnection.	ICWE	2005	DBLP DOI BibTeX RDF
29	Viviane Torres da Silva, Ricardo Choren, Carlos José Pereira de Lucena	Using the MAS-ML to Model a Multi-agent System.	SELMAS	2003	DBLP DOI BibTeX RDF
29	Jochen Malte Küster, Gregor Engels	Consistency Management Within Model-Based Object-Oriented Development of Components.	FMCO	2003	DBLP DOI BibTeX RDF
28	Zamira Daw, Marcus Vetter	Deterministic UML Models for Interconnected Activities and State Machines.	MoDELS	2009	DBLP DOI BibTeX RDF	deterministic behavior, state machine, Activity
28	Özlem Albayrak	An experiment to observe the impact of UML diagrams on the effectiveness of software requirements inspections.	ESEM	2009	DBLP DOI BibTeX RDF
28	Yefei Zhao, Zongyuan Yang, Jinkui Xie	Formal semantics of UML state diagram and automatic verification based on Kripke structure.	CCECE	2009	DBLP DOI BibTeX RDF
28	Fateh Boutekkouk, Mohamed Benmohammed	UML Modeling and Formal Verification of Control/Data Driven Embedded Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
28	Zhe Chen 0011, Gilles Motet	A Language-Theoretic View on Guidelines and Consistency Rules of UML.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
28	Frédéric Mallet	Clock constraint specification language: specifying clock constraints with UML/MARTE.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Unified modeling language, Constraints, MARTE, Time model
28	Tony Spiteri Staines	Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets.	ECBS	2008	DBLP DOI BibTeX RDF
28	Lisane B. de Brisolara, Marcio F. da S. Oliveira, Ricardo Miotto Redin, Luís C. Lamb, Luigi Carro, Flávio Rech Wagner	Using UML as Front-end for Heterogeneous Software Code Generation Strategies.	DATE	2008	DBLP DOI BibTeX RDF