Search results for "UML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	Sébastien Gérard, François Terrier	UML for Real-Time.	UML for Real	2003	DBLP DOI BibTeX RDF
37	Martyn Edwards, Peter Green 0001	UML for Hardware and Software Object Modeling.	UML for Real	2003	DBLP DOI BibTeX RDF
37	Bran Selic	Modeling Quality of Service with UML.	UML for Real	2003	DBLP DOI BibTeX RDF
37	Bran Selic	Models, Software Models and UML.	UML for Real	2003	DBLP DOI BibTeX RDF
37	Øystein Haugen, Birger Møller-Pedersen, Thomas Weigert	Structural Modeling with UML 2.0.	UML for Real	2003	DBLP DOI BibTeX RDF
37	Dorina C. Petriu, C. Murray Woodside	Performance Analysis with UML.	UML for Real	2003	DBLP DOI BibTeX RDF
37	Michael von der Beeck, Peter Braun 0003, Martin Rappl, Christian Schröder	Automotive UML.	UML for Real	2003	DBLP DOI BibTeX RDF
37	Rong Chen, Marco Sgroi, Luciano Lavagno, Grant Martin, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey	UML and Platform-based Design.	UML for Real	2003	DBLP DOI BibTeX RDF
37	Thomas Weigert, Rick Reed	Specifying Telecommunications Systems with UML.	UML for Real	2003	DBLP DOI BibTeX RDF
36	Stephan Flake, Wolfgang Müller 0003	Formal semantics of static and temporal state-oriented OCL constraints.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts
36	Marcela Genero, Luis Jiménez 0001, Mario Piattini	A Controlled Experiment for Validating Class Diagram Structural Complexity Metrics.	OOIS	2002	DBLP DOI BibTeX RDF	UML class diagram structural complexity, UML class diagram modifiability, structural complexity metrics, fuzzy rule system, prediction model, empirical validation
36	James F. Power, Brian A. Malloy	Symbol Table Construction and Name Lookup in ISO C++.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	name lookup, ISO C++ language, symbol table construction, UML class, decorator, facade, model understandability, ISO C++ standard, C++ understandability, UML knowledge, parser front-end, name lookup problem, component approach, compiler technology, parser driven applications, front-end development, user interfaces, Unified Modeling Language, reverse engineering, specification languages, program compilers, grammars, object oriented model, object oriented framework, table lookup, sequence diagrams, software standards, ISO standards, C++ language
36	Matthew Kaplan 0003, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz 0001	Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation.	ICST	2008	DBLP DOI BibTeX RDF	UML Model-based Test Generation, Use Case Based Test Generation, Test Verification Sequence, Fault Models for UML, Invariants analysis
36	Aline Lúcia Baroni	Quantitative assessment of UML dynamic models.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	UML meta-model, UML models (use cases, activity, sequence, collaboration, communication), estimation, statecharts, OCL, behavioral models, formalization, dynamic models, object-oriented design metrics
36	Wan-Seob Byeon, Bo Wang, Sa-Kyun Jeong, Ok-Bae Chang	Extension and Implementation of Iconic Stereotype for GNSS Application in the UML Class Diagram.	CW	2004	DBLP DOI BibTeX RDF	GNSS, Iconic stereotype, Unified Modeling Language(UML), UML extension
34	Nima Kaveh, Wolfgang Emmerich	Deadlock detection in distribution object systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	object middleware, model checking, UML, UML, process algebra
34	Jean Brodeur, Yvan Bédard, Marie-Josée Proulx	Modelling geospatial application databases using UML-based repositories aligned with international standards in geomatics.	ACM-GIS	2000	DBLP DOI BibTeX RDF	ISO/TC 211, feature catalogue, geographic information standard, geospatial database modelling, geospatial repository, perceptory, UML, UML, interoperability, metadata, OGC
33	Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, Behzad Bordbar	Ensuring spatio-temporal access control for real-world applications.	SACMAT	2009	DBLP DOI BibTeX RDF	spatio-temporal rbac, alloy, uml
33	Luigi Lavazza, Vieri Del Bianco	A Case Study in COSMIC Functional Size Measurement: The Rice Cooker Revisited.	IWSM/Mensura	2009	DBLP DOI BibTeX RDF	COSMIC method case study, measurement-oriented modelling, UML, requirements modelling, Functional Size Measurement
33	Jing Dong 0005, Sheng Yang 0002, Kang Zhang 0001	Visualizing Design Patterns in Their Applications and Compositions.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Web service, UML, Design pattern, model-driven architecture, visual tool
33	Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero	End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform.	FM	2005	DBLP DOI BibTeX RDF	UML, performance analysis, security analysis, process calculi
33	Jörg Gericke, Peter Liggesmeyer	Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen.	Inform. Forsch. Entwickl.	2002	DBLP DOI BibTeX RDF	Softwareanforderung, Anforderungsverfolgung, Sicherheit (safety), UML
33	Harald Störrle	Towards clone detection in UML domain models.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	UML, clone detection
33	Chun Ruan, Ewa Huebner	Formalizing Computer Forensics Process with UML.	UNISCON	2009	DBLP DOI BibTeX RDF	Computer forensics process, UML, system modeling
33	Marco Brambilla 0001, Christina Tziviskou	An Online Platform for Semantic Validation of UML Models.	ICWE	2009	DBLP DOI BibTeX RDF	ontology, Semantic Web, UML, component, validation, conceptual modeling, pattern, reasoner, class diagram, WebML
33	Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein	Supporting UML-based development of embedded systems by formal techniques.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	UML, Embedded systems, Real-time, Formal methods
33	Yann Thierry-Mieg, Lom-Messan Hillah	UML behavioral consistency checking using instantiable Petri nets.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Behavioral consistency, Model checking, UML, Petri nets, Formal verification
33	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
33	Sabnam Sengupta, Swapan Bhattacharya	Formalization of UML diagrams and their consistency verification: A Z notation based approach.	ISEC	2008	DBLP DOI BibTeX RDF	UML, traceability, formalization, class diagram, sequence diagram, Z notation, automated verification, use case diagram, ER diagram
33	Nasreddine Aoumeur, Gunter Saake	A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS.	UNISCON	2008	DBLP DOI BibTeX RDF	Architectural connectors, Distributed IS, Evolution and Adaptability, UML, Rewriting logic
33	Jaeyong Park, David C. Rine, Elizabeth White	Assessing conformance of pattern-based design in UML.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	pattern-based design, UML, design pattern, profile, assessment
33	Vahid Garousi	Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty.	ICST	2008	DBLP DOI BibTeX RDF	Time Uncertainty, UML, Distributed Real-Time Systems, Stress Testing
33	Holger Eichelberger	Automatic layout of UML use case diagrams.	SOFTVIS	2008	DBLP DOI BibTeX RDF	automatic layout algorithms, drawing rules, UML, model-driven development, use case diagrams
33	Raimund Dachselt, Mathias Frisch, Eike Decker	Enhancing UML sketch tools with digital pens and paper.	SOFTVIS	2008	DBLP DOI BibTeX RDF	UML, software design, sketching, Anoto
33	Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta	OCL as the Query Language for UML Model Execution.	ICCS (3)	2008	DBLP DOI BibTeX RDF	UML, MDA, query language, OCL
33	Pedro Nogueira Ramos	Contrary-to-Duties Constraints: From UML to Relational Model.	MoDELS	2008	DBLP DOI BibTeX RDF	Contrary-To-Duties, Deontic Constraints, UML, Relational Model
33	Franck Barbier	Supporting the UML State Machine Diagramsat Runtime.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	UML, Statecharts, model executability
33	Achim D. Brucker, Burkhart Wolff	HOL-OCL: A Formal Proof Environment for UML/OCL.	FASE	2008	DBLP DOI BibTeX RDF	holocl, ocl, Formal Method, Theorem Proving, uml
33	Ali Ebnenasir, Betty H. C. Cheng	Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML.	HASE	2007	DBLP DOI BibTeX RDF	FormalMethods, Fault-Tolerance, UML, Requirements Analysis, Detector
33	Dolev Dotan, Andrei Kirshin	Debugging and testing behavioral UML models.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	UML, software development, debugging, profiles, state machines, activities
33	Martin Soukup, Jiri Soukup	The popularity cycle of graphical tools, UML, and libraries of associations.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	intrusive data structures, model, UML, unified modelling language, design patterns, MDA, reusable, association, MDE, model driven, class library, agile programming
33	Marcin Szlenk	UML Static Models in Formal Approach.	CEE-SET	2007	DBLP DOI BibTeX RDF	UML, Software modeling, Formal reasoning
33	Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic	Preface of "Specification and Validation of Real Time and Embedded systems in UML".	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Modeling, UML, Real time, Semantics, Formal verification, Software development, Validation
33	Susanne Graf, Ileana Ober, Iulian Ober	A real-time profile for UML.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Real-time profile, Modeling, Real-time systems, UML, Formal verification, Timing analysis, OMEGA, Timing properties
33	Christine Choppy, Gianna Reggio	Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt.	ASWEC	2006	DBLP DOI BibTeX RDF	UML, Requirements Specification, Domain Model, Enterprise Applications, Problem Frames
33	Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz	Transformation of B specifications into UML class diagrams and state machines.	SAC	2006	DBLP DOI BibTeX RDF	UML, state machine, B method, class diagram
33	Terrence P. Fries	A framework for transforming structured analysis and design artifacts to UML.	SIGDOC	2006	DBLP DOI BibTeX RDF	structured analysis and design, UML, class diagram, sequence diagram, data flow diagram, entity relationship diagram
33	Scott A. Turner, Manuel A. Pérez-Quiñones, Stephen H. Edwards	minimUML: A minimalist approach to UML diagramming for early computer science education.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	minimalist design, human-computer interaction, UML, learning, education
33	Xavier Sautejeau	Modeling SPARK systems with UML.	SIGAda	2005	DBLP DOI BibTeX RDF	UML, ada, profile, metamodel, informed, SPARK
33	Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France, Michael Hamilton, Brent Wilkins	UMLAnT: an Eclipse plugin for animating and testing UML designs.	eTX	2005	DBLP DOI BibTeX RDF	EclipseUML, UML, Eclipse, class diagram, sequence diagram, activity diagram, plugin, EMF, model execution, object diagram, model testing
33	Chih-Hao Tseng, Pao-Ann Hsiung	UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems.	EUC	2005	DBLP DOI BibTeX RDF	FPGA, UML, partitioning, reconfigurable computing, codesign, sequence diagram, design flow
33	Connie U. Smith, Catalina M. Lladó, Vittorio Cortellessa, Antinisca Di Marco, Lloyd G. Williams	From UML models to software performance results: an SPE process based on XML interchange formats.	WOSP	2005	DBLP DOI BibTeX RDF	SPE process, automated model building, methods and tools, XML, UML, performance model, software performance engineering, tool interoperability, interchange format
33	Jan Jürjens	Sound methods and effective tools for model-based security engineering with UML.	ICSE	2005	DBLP DOI BibTeX RDF	verification biometric authentication, verification framework, security, UML, unified modeling language, cryptographic protocol
33	Lori L. DeLooze	Minimal UML diagrams for a data-driven web site.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	models, design, UML, analysis
33	Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews	A Tool-Supported Approach to Testing UML Design Models.	ICECCS	2005	DBLP DOI BibTeX RDF	UML, software testing, code generation, class diagram, test adequacy criteria, model execution, test execution, interaction diagrams
33	C. T. Carr, T. Martin McGinnity, L. J. McDaid	Integration of UML and VHDL-AMS for analogue system modelling.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Analogue, Automated mapping, UML, Circuits, VHDL-AMS
33	Jan Jürjens, Pasha Shabalin	A Foundation for Tool-Supported Critical Systems Development with UML.	ECBS	2004	DBLP DOI BibTeX RDF	formal models of object-oriented design, UML, verification, specification, tool support, secure computing, critical systems
33	Jing Liu, Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li	Linking UML Models of Design and Requirement.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF	UML, semantics, consistency
33	Nuno Amálio, Susan Stepney, Fiona Polack	Formal Proof from UML Models.	ICFEM	2004	DBLP DOI BibTeX RDF	UML, Z, consistency checking, formal proof, model analysis
33	Jing Yang, Quan Long, Zhiming Liu 0001, Xiaoshan Li	A Predicative Semantic Model for Integrating UML Models.	ICTAC	2004	DBLP DOI BibTeX RDF	UML, Refinement, Formal semantics, Model integration
33	Jessica Chen, Hanmei Cui	Translation from Adapted UML to Promela for CORBA-Based Applications.	SPIN	2004	DBLP DOI BibTeX RDF	Model Checking, UML, Middleware, CORBA, SPIN, Distributed Object Systems, Formal Specification and Verification
33	Sergio Luján-Mora, Panos Vassiliadis, Juan Trujillo 0001	Data Mapping Diagrams for Data Warehouse Design with UML.	ER	2004	DBLP DOI BibTeX RDF	UML, data warehouse, ETL, data mapping
33	Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries	Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions.	OTM Workshops	2004	DBLP DOI BibTeX RDF	Cross-enterprise business processes modeling, fault-tolerance, UML, verification, validation, methodology, tools, advanced transaction model
33	Tiberiu Seceleanu, Juha Plosila	Constituent Elements of a Correctness-Preserving UML Design Approach.	IFM	2004	DBLP DOI BibTeX RDF	UML, refinement, Action Systems
33	Claudio Riva, Petri Selonen, Tarja Systä, Jianli Xu	UML-Based Reverse Engineering and Model Analysis Approaches for Software Architecture Maintenance.	ICSM	2004	DBLP DOI BibTeX RDF	Architecture Maintenance, UML, Software Architecture, Reverse Engineering, Architecture Analysis
33	Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li, Yifeng Chen	A Relational Model for Formal Object-Oriented Requirement Analysis in UML.	ICFEM	2003	DBLP DOI BibTeX RDF	UML, Object-orientation, conceptual models, use-cases, requirement specification
33	Shihong Huang, Scott R. Tilley	Workshop on Graphical Documentation for Programmers: Assessing the Efficacy of UML Diagrams for Program Understanding.	IWPC	2003	DBLP DOI BibTeX RDF	UML, assessment, program understanding, graphical documentation
33	Juan Trujillo 0001, Sergio Luján-Mora	A UML Based Approach for Modeling ETL Processes in Data Warehouses.	ER	2003	DBLP DOI BibTeX RDF	ETL processes, UML, conceptual modeling, Data warehouses
33	Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns	Test Adequacy Assessment for UML Design Model Testing.	ISSRE	2003	DBLP DOI BibTeX RDF	category partitioning, UML, software testing, class diagram, test adequacy criteria, design reviews, collaboration diagram
33	Nuno Amálio, Fiona Polack	Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.	ZB	2003	DBLP DOI BibTeX RDF	formalisation, UML, specification, Z, Object-Z
33	Thomas Kudrass, Tobias Krumbein	Rule-Based Generation of XML DTDs from UML Class Diagrams.	ADBIS	2003	DBLP DOI BibTeX RDF	schema generation, XML, UML, DTD
33	Gonzalo Génova, Juan Lloréns, Paloma Martínez	The meaning of multiplicity of n-ary associations in UML.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	ternary association, n-ary association, ternary relationship, n-ary relationship, UML, data modeling, multiplicity, entity-relationship modeling, cardinality
33	Mohamed Mancona Kandé, Valentin Crettaz, Alfred Strohmeier, Shane Sendall	Bridging the gap between IEEE 1471, an architecture description language, and UML.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	ANSI/IEEE-Std-1471, SADL, Advanced separation of concerns, MDSOC, Concern space, UML, Software architecture, Views, ADL, Viewpoints, Architecture description
33	Cris Kobryn	Will UML 2.0 be agile or awkward?	Commun. ACM	2002	DBLP DOI BibTeX RDF	UML
33	Hung Ledang, Jeanine Souquières	Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B.	APSEC	2002	DBLP DOI BibTeX RDF	OCL operation, B expression, B generalised substitution, UML, OCL
33	Ganesh J. Pai, Joanne Bechta Dugan	Automatic Synthesis of Dynamic Fault Trees from UML System Models.	ISSRE	2002	DBLP DOI BibTeX RDF	Fault tree synthesis, UML, Reliability analysis, Dynamic fault trees
33	Stephan Flake, Wolfgang Müller 0003	Specification of Real-Time Properties for UML Models.	HICSS	2002	DBLP DOI BibTeX RDF	UML, Object Constraint Language, Real-Time Constraints, Property Specification
33	Ricardo Melo Bastos, Duncan Dubugras A. Ruiz	Extending UML Activity Diagram for Workflow Modeling in Production Systems.	HICSS	2002	DBLP DOI BibTeX RDF	UML, production systems, workflow modeling
33	Wai-Ming Ho, Jean-Marc Jézéquel, François Pennaneac'h, Noël Plouzeau	A toolkit for weaving aspect oriented UML designs.	AOSD	2002	DBLP DOI BibTeX RDF	UML
33	Gordon Ping Gu, Dorina C. Petriu	XSLT transformation from UML models to LQN performance models.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	UML, XSLT, software performance engineering, XMI, LQN
33	Luciano Baresi, Franca Garzotto, Paolo Paolini	Extending UML for Modeling Web Applications.	HICSS	2001	DBLP DOI BibTeX RDF	UML, Web applications, Web Design, HDM
33	Brian Henderson-Sellers	Some Problems with the UML V1.3 Metamodel.	HICSS	2001	DBLP DOI BibTeX RDF	UML, aggregation, metamodeling, Object modeling, stereotypes
33	Katharina Mehner, Annika Wagner	Visualizing the Synchronization of Java-Threads with UML.	VL	2000	DBLP DOI BibTeX RDF	object oriented concurrent programming, Java, UML, debugging, program comprehension, software visualization
33	Wai-Ming Ho, François Pennaneac'h, Noël Plouzeau	UMLAUT: A Framework for Weaving UML-Based Aspect-Oriented Designs.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	UML, Aspect-Oriented Programming, Model Transformation, Object-oriented Framework
33	Martin Glinz	Problems and Deficiencies of UML as a Requirements Specification Language.	IWSSD	2000	DBLP BibTeX RDF	model, UML, decomposition, use case, requirements specification
33	Zhiwu Xie, Jun Yu, Jinyang Liu	Applying UML to Gas Turbine Engine Simulation.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	gas turbines, simulation, UML, Object-oriented analysis and design
33	Bernhard Rumpe, M. Schoenmakers, Ansgar Radermacher, Andy Schürr	UML + ROOM as a Standard ADL?	ICECCS	1999	DBLP DOI BibTeX RDF	ROOM, Unified Modeling Language, UML, Software Architecture, Software Components, Architecture Description Language, Real-Time Object-Oriented Modeling
33	Ke Ge, Li Zhang, Shunxiang Yang, Bosheng Zhou	A Development and Management Environment Based on UML.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	UML, object-oriented, process, development, environment
33	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
33	Alexander T. Murray, Mohammad Shahabuddin	OO techniques applied to a real-time, embedded, spaceborne application.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	unified modeling language, real-time, C++, embedded, object-oriented design, use case, object-oriented analysis
33	Miroslaw Staron, Ludwik Kuzniarz, Christian Thurn	An empirical assessment of using stereotypes to improve reading techniques in software inspections.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
33	Tim Schattkowsky, Wolfgang Müller 0003, Achim Rettberg	A Model-Based Approach for Executable Specifications on Reconfigurable Hardware.	DATE	2005	DBLP DOI BibTeX RDF
33	Radmila Juric, Jasna Kuljis	Building an Evaluation Instrument for OO CASE Tool Assessment for Unified Modelling Language Support.	HICSS	1999	DBLP DOI BibTeX RDF
33	Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic	2nd UML 2 Semantics Symposium: Formal Semantics for UML.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	UML, Formal Semantics
33	Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh	A Rigorous Approach to Uncovering Security Policy Violations in UML Designs.	ICECCS	2009	DBLP DOI BibTeX RDF
33	Anis Charfi, Artur Schmidt, Axel Spriestersbach	A Hybrid Graphical and Textual Notation and Editor for UML Actions.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
33	Gongzhu Hu	A Formal Specification of UML Class and State Diagrams.	Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing	2008	DBLP DOI BibTeX RDF
33	Erki Eessaar	On Translation-Based Design of UML Profiles.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
33	Akram Idani, Dieu Donné Okalas Ossami, Jean-Louis Boulanger	Commandments of UML for Safety.	ICSEA	2007	DBLP DOI BibTeX RDF
33	Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani	ReUML: a UML Profile for Modeling and Verification of Reactive Systems.	ICSEA	2007	DBLP DOI BibTeX RDF