Search results for "uml"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	Graham McLeod, Terry A. Halpin, Hannu Kangassalo, Keng Siau	Unified Modeling Language (UML): A Critical Evaluation and Suggested Future - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
99	Wolfgang Mueller, Yves Vanderperren	UML and model-driven development for SoC design.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	simulation, UML, SoC, tools, SystemC, UML profiles, ESL design
94	Esperanza Marcos, Belén Vela, José María Cavero	Extending UML for Object-Relational Database Design.	UML	2001	DBLP DOI BibTeX RDF	Oracle8i, UML, Design Methodology, Database Design, Stereotypes, Object-Relational Databases, UML extensions, SQL:1999
90	Giovanni Giachetti, Beatriz Marín, Oscar Pastor 0001	Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles.	CAiSE	2009	DBLP DOI BibTeX RDF	DSML, UML, MDD, UML Profile
86	Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kristin Thorsen	Experiences from introducing UML-based development in a large safety-critical project.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	UML, Model-driven development, Embedded software, Case study, Safety-critical software
85	Haohai Ma, Weizhong Shao, Lu Zhang 0023, Yanbing Jiang	Applying OO Metrics to Assess UML Meta-models.	UML	2004	DBLP DOI BibTeX RDF
82	Ileana Ober	More Meaningful UML Models.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
81	Twan van Enckevort	Refactoring UML models: using openarchitectureware to measure uml model quality and perform pattern matching on UML models with OCL queries.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	syntactic rules, UML, metrics, OCL, semantic rules, model quality
80	Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001	Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.	UML	2000	DBLP DOI BibTeX RDF	UML meta model, precise behavioral semantics, graph transformation, statechart diagrams
75	Paul McIntosh, Margaret Hamilton 0001, Ron G. van Schyndel	X3D-UML: enabling advanced UML visualisation through X3D.	Web3D	2005	DBLP DOI BibTeX RDF	JavaML, X3D-UML, XML, UML, Unified Modeling Language, VRML, Virtual Reality Modeling Language, Software Visualization, X3D, Web3D
71	Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag	Deductive Verification of UML Models in TLPVS.	UML	2004	DBLP DOI BibTeX RDF	Deductive Verification, UML, Semantics, Formal Verification, Temporal Logic, State Machines, PVS
71	Mohamed Mancona Kandé, Alfred Strohmeier	Towards a UML Profile for Software Architecture Descriptions.	UML	2000	DBLP DOI BibTeX RDF	Software architecture abstractions, software architecture descrip-tion, architectural viewpoint, UML, component, configuration, ADL, connector, architectural modeling, architectural view
71	Hanna Bauerdick, Martin Gogolla, Fabian Gutsche	Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report.	UML	2004	DBLP DOI BibTeX RDF
71	Ahmed Gaafar, Sherif Sakr	Towards a Framework for Mapping Between UML/OCL and XML/XQuery.	UML	2004	DBLP DOI BibTeX RDF
71	Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey E. Smith, William S. Holmes III, Jerzy Letkowski, Michael L. Aronson	Extending UML to Support Ontology Engineering for the Semantic Web.	UML	2001	DBLP DOI BibTeX RDF
71	Mark Richters, Martin Gogolla	Validating UML Models and OCL Constraints.	UML	2000	DBLP DOI BibTeX RDF
71	Martin Gogolla, Brian Henderson-Sellers	Analysis of UML Stereotypes within the UML Metamodel.	UML	2002	DBLP DOI BibTeX RDF
70	Shane Sendall, Alfred Strohmeier	Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML.	UML	2001	DBLP DOI BibTeX RDF	Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition
70	Qiang Zhu 0005, Tsuneo Nakata, Masataka Mine, Kenichiro Kuroki, Yoichi Endo, Takashi Hasegawa	System-on-Chip Verification Process Using UML.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
70	Sergio Luján-Mora, Juan Trujillo 0001, Il-Yeol Song	Multidimensional Modeling with UML Package Diagrams.	ER	2002	DBLP DOI BibTeX RDF	UML packages, UML, data warehouses, multidimensional modeling, UML extension
67	Grant Martin, Luciano Lavagno, Jean Louis-Guerin	Embedded UML: a merger of real-time UML and co-design.	CODES	2001	DBLP DOI BibTeX RDF	HW-SW co-design, function-architecture co-design, real-time systems, UML, embedded systems, platforms
66	Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso	Towards UML-based formal specifications of component-based real-time software.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
66	Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso	Towards UML-Based Formal Specifications of Component-Based Real-Time Software.	FASE	2003	DBLP DOI BibTeX RDF
66	Marko Boger, Mario Jeckle, Stefan Müller, Jens Fransson	Diagram Interchange for UML.	UML	2002	DBLP DOI BibTeX RDF
66	Eugen Brenner, Ivo Derado	UML Extensions for ASAM-GDI Device Capability Description.	UML	2000	DBLP DOI BibTeX RDF
66	Ke Jiang, Lei Zhang, Shigeru Miyake	An Executable UML with OCL-based Action Semantics Language.	APSEC	2007	DBLP DOI BibTeX RDF	UML, Model-Driven, Executable UML
66	Steve Murphy, Neil MacKinnon	Designing UML and UML-based diagrams for technical documentation: where are we now?	SIGDOC	2008	DBLP DOI BibTeX RDF	visualization, UML, unified modeling language, human factors, documentation, guidelines, graphic design, UML diagrams
66	Colin F. Snook, Michael J. Butler	UML-B: Formal modeling and design aided by UML.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	UML-B, Modeling, refinement
66	Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001	Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams.	HCC	2001	DBLP DOI BibTeX RDF	UML semantics, extension mechanisms, dynamic meta modeling, multimedia, graph transformation
65	Peter Dolog, Wolfgang Nejdl	Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems.	UML	2003	DBLP DOI BibTeX RDF	adaptive web-based systems, the UML state diagrams, generator, XMI
65	Eric Cariou, Antoine Beugnard	The Specification of UML Collaborations as Interaction Components.	UML	2002	DBLP DOI BibTeX RDF	UML collaborations, specification methodology, interaction abstractions, interaction components
65	Michael von der Beeck	Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
65	Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic	Software Architecture Description and UML.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
65	Jan Jürjens, Pasha Shabalin	Tools for Critical Systems Development with UML (Tool Demo).	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
65	Paul McIntosh, Margaret Hamilton 0001, Ron G. van Schyndel	X3D-UML: 3D UML State Machine Diagrams.	MoDELS	2008	DBLP DOI BibTeX RDF	X3D-UML, 3D UML, 3D Software Visualization, VRML, X3D
65	Raoudha Ben Djemaa, Ikram Amous, Abdelmajid Ben Hamadou	WA-UML: Towards a UML extension for modelling Adaptive Web Applications.	WSE	2006	DBLP DOI BibTeX RDF	WA-UML, Adaptive Web Application, analysis class diagram, navigational feature, UML profile, use case diagram
64	Jung Ho Bae, KwangMin Lee, Heung Seok Chae	Modularization of the UML Metamodel Using Model Slicing.	ITNG	2008	DBLP DOI BibTeX RDF	UML metamodel, UML slicing, UML modeling tool
62	Valentin Crettaz, Mohamed Mancona Kandé, Shane Sendall, Alfred Strohmeier	Integrating the ConcernBASE Approach with SADL.	UML	2001	DBLP DOI BibTeX RDF	Structural Architecture Description, SADL, Advanced Separation of Concerns, Unified Modeling Language, UML, Software Architecture
62	Colin F. Snook, Michael J. Butler	UML-B: A Plug-in for the Event-B Tool Set.	ABZ	2008	DBLP DOI BibTeX RDF
62	Martin Fowler	What Is the Point of the UML?	UML	2003	DBLP DOI BibTeX RDF
62	Peter Fröhlich 0001, Zaijun Hu, Manfred Schoelzke	Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies.	UML	2002	DBLP DOI BibTeX RDF	Metamodelling, Business modelling, Industrial experience
62	Sabri Pllana, Thomas Fahringer	On Customizing the UML for Modeling Performance-Oriented Applications.	UML	2002	DBLP DOI BibTeX RDF
62	Michael von der Beeck	Formalization of UML-Statecharts.	UML	2001	DBLP DOI BibTeX RDF
62	David H. Akehurst, Behzad Bordbar	On Querying UML Data Models with OCL.	UML	2001	DBLP DOI BibTeX RDF
62	Xuandong Li, Cui Meng, Yu Pei 0001, Jianhua Zhao, Guoliang Zheng	Timing Analysis of UML Activity Diagrams.	UML	2001	DBLP DOI BibTeX RDF
61	Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra	A framework to simulate UML models: moving from a semi-formal to a formal environment.	SAC	2004	DBLP DOI BibTeX RDF	UML models simulation, UML, Abstract State Machines, model mapping
61	Andreas L. Opdahl, Brian Henderson-Sellers	Ontological Evaluation of the UML Using the Bunge-Wand-Weber Model.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Problem domain representation, Ontological analysis and evaluation, The Bunge-Wand-Weber model (BWW), Unified Modeling Language (UML), Object-oriented analysis
61	Jens Bæk Jørgensen, Søren Christensen	Executable Design Models for a Pervasive Healthcare Middleware System.	UML	2002	DBLP DOI BibTeX RDF	detailed behaviour, pervasive and mobile computing, supplementing UML, middleware, Petri nets, system design, Executable models, CPN
61	Andreas Dietzsch	Adapting the UML to Business Modelling's Needs - Experiences in Situational Method Engineering.	UML	2002	DBLP DOI BibTeX RDF	linking business and technical requirements, application and extensions of the UML, situational method engineering
61	Rolf Hennicker, Nora Koch	A UML-based Methodology for Hypermedia Design.	UML	2000	DBLP DOI BibTeX RDF	Systematic Development, Unified Modeling Language, Web Engineering, Design Method, UML Extension, Hypermedia System
57	Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli	Combining UML and formal notations for modelling real-time systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	UML, UML, formal methods, real-time software
57	Yvan Labiche	The UML Is More Than Boxes and Lines.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF	well-formedness rules, UML, consistency, teaching, laboratory
57	Shihong Huang, Vaishali Gohel, Sam Hsu	Towards interoperability of UML tools for exchanging high-fidelity diagrams.	SIGDOC	2007	DBLP DOI BibTeX RDF	model exchange, interoperability, uml, design reuse, xmi, graphical documentation
57	Haohai Ma, Zhe Ji, Weizhong Shao, Lu Zhang 0023	Towards the UML Evaluation Using Taxonomic Patterns on Meta-Classes.	QSIC	2005	DBLP DOI BibTeX RDF	Meta-class, UML, Software Quality, Software evaluation
57	Ansgar Schleicher, Bernhard Westfechtel	Beyond Stereotyping: Metamodeling Approaches for the UML.	HICSS	2001	DBLP DOI BibTeX RDF	UML, workflow management, meta modeling
57	Dong Xu, Huaikou Miao, Nduwimfura Philbert	Model Checking UML Activity Diagrams in FDR.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
57	Andrey Naumenko, Alain Wegmann	A Metamodel for the Unified Modeling Language.	UML	2002	DBLP DOI BibTeX RDF
57	Juan Trujillo 0001, Andreas L. Opdahl	Preface to FP-UML 2008.	ER Workshops	2008	DBLP DOI BibTeX RDF
57	Medard Rieder, Rico Steiner, Cathy Berthouzoz, Francois Corthay, Thomas Sterren	Synthesized UML, a Practical Approach to Map UML to VHDL.	RISE	2005	DBLP DOI BibTeX RDF
57	Yanbing Jiang, Weizhong Shao, Lu Zhang 0023, Zhiyi Ma, Xiangwen Meng, Haohai Ma	On the Classification of UML's Meta Model Extension Mechanism.	UML	2004	DBLP DOI BibTeX RDF
57	Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer	Towards Automating Source-Consistent UML Refactorings.	UML	2003	DBLP DOI BibTeX RDF
57	Orest Pilskalns, Anneliese Amschler Andrews, Sudipto Ghosh, Robert B. France	Rigorous Testing by Merging Structural and Behavioral UML Representations.	UML	2003	DBLP DOI BibTeX RDF
57	Jordi Cabot, Antoni Olivé, Ernest Teniente	Representing Temporal Information in UML.	UML	2003	DBLP DOI BibTeX RDF
57	Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers	Using Description Logic to Maintain Consistency between UML Models.	UML	2003	DBLP DOI BibTeX RDF
57	Francesca Basanieri, Antonia Bertolino, Eda Marchetti	The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects.	UML	2002	DBLP DOI BibTeX RDF
57	Jan Jürjens	UMLsec: Extending UML for Secure Systems Development.	UML	2002	DBLP DOI BibTeX RDF
57	Dániel Varró, András Pataricza	Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models.	UML	2002	DBLP DOI BibTeX RDF	refinement, model transformation, metamodeling, formal semantics, graph transformation
57	Sabine Kuske	A Formal Semantics of UML State Machines Based on Structured Graph Transformation.	UML	2001	DBLP DOI BibTeX RDF
57	Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat	A New UML Profile for Real-Time System Formal Design and Validation.	UML	2001	DBLP DOI BibTeX RDF
57	Rik Eshuis, Roel J. Wieringa	An Execution Algorithm for UML Activity Graphs.	UML	2001	DBLP DOI BibTeX RDF
57	Daniel Amyot, Gunter Mussbacher	On the Extension of UML with Use Case Maps Concepts.	UML	2000	DBLP DOI BibTeX RDF
57	Nuno Jardim Nunes, João Falcão e Cunha	Towards a UML profile for interaction design: the Wisdom approach.	UML	2000	DBLP DOI BibTeX RDF
57	Patricia Vilain, Daniel Schwabe, Clarisse Sieckenius de Souza	A Diagrammatic Tool for Representing User Interaction in UML.	UML	2000	DBLP DOI BibTeX RDF
57	Peter Padawitz	Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving.	UML	2000	DBLP DOI BibTeX RDF
57	Christian Heide Damm, Klaus Marius Hansen, Michael Thomsen, Michael Tyrsted	Supporting Several Levels of Restriction in the UML.	UML	2000	DBLP DOI BibTeX RDF
57	Peter Dolog, Wolfgang Nejdl	Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications.	UML	2004	DBLP DOI BibTeX RDF
56	P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh Subramanyan	Test ready UML statechart models.	SCESM	2006	DBLP DOI BibTeX RDF	model based testing, context-free grammar, UML statecharts
56	Neil MacKinnon, Steve Murphy	Designing UML diagrams for technical documentation.	SIGDOC	2003	DBLP DOI BibTeX RDF	visualization, unified modeling language, human factors, documentation, guidelines, graphic design, UML diagrams
56	Otto Preiss, Tatjana Kostic, Christian Frei	Data Communications Standards: A Case for the UML.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
56	Robert G. Pettit IV, Julie A. Street	Lessons Learned Applying UML in the Design of Mission Critical Software.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
56	Jeffrey A. Ingalsbe	Supporting the Building and Analysis of an Infrastructure Portfolio Using UML Deployment Diagrams.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
56	Chris Raistrick	Applying MDA and UML in the Development of a Healthcare System.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
55	Kevin Lano	A compositional semantics of UML-RSDS.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	UML semantics, UML-RSDS, Model transformations
55	Raul Silaghi, Alfred Strohmeier	Model-Driven Engineering of Middleware-Mediated Distributed Systems.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF	Middleware Concerns, AOP, MDA, Model Transformations, AspectJ, UML Profiles, Eclipse Plug-ins, Parallax, Enterprise Fondue
53	William Harrison, Charles Barton, Mukund Raghavachari	Mapping UML designs to Java.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java, Java, design, UML, UML, code generation, separation of concerns
53	Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey E. Smith, Jerzy Letkowski, Pat Emery	Extending the Unified Modeling Language for ontology development.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	OO modeling, Ontology, Semantic web, UML, Agents, RDF, DAML
52	Mar Yah Said, Michael J. Butler, Colin F. Snook	Language and Tool Support for Class and State Machine Refinement in UML-B.	FM	2009	DBLP DOI BibTeX RDF	UML, Formal specification, Refinement, Event-B, Visual modelling languages
52	Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska 0001	The HybridUML profile for UML 2.0.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	UML, Embedded systems, Hybrid automata
52	Christian F. J. Lange	Improving the quality of UML models in practice.	ICSE	2006	DBLP DOI BibTeX RDF	UML, consistency, quality, completeness, defect detection
52	David Harel, Shahar Maoz	Assert and negate revisited: modal semantics for UML sequence diagrams.	SCESM	2006	DBLP DOI BibTeX RDF	inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms
52	Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta, Han (Daphne) Yan-Bondoc	An Experimental Investigation of Formality in UML-Based Development.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Comprehension of software models, software engineering experimentation, UML, OCL
52	Morgan Björkander, Cris Kobryn	Architecting Systems with UML 2.0.	IEEE Softw.	2003	DBLP DOI BibTeX RDF	Unified Modeling Language, UML, software architecture, systems architecture, systems modeling, software modeling
52	Gordon Ping Gu, Dorina C. Petriu	Early evaluation of software performance based on the UML performance profile.	CASCON	2003	DBLP BibTeX RDF	UML
52	Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt	Automatically Detecting and Visualising Errors in UML Diagrams.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Simulation, Model checking, UML, Formal specifications
52	Hung Ledang, Jeanine Souquières	Contributions for Modelling UML State-Charts in B.	IFM	2002	DBLP DOI BibTeX RDF	class operation, B abstract machine, B operation, UML, event, activity, B method, state-chart
52	Elisabetta Di Nitto, Luigi Lavazza, Marco Schiavoni, Emma Tracanella, Michele Trombetta	Deriving executable process descriptions from UML.	ICSE	2002	DBLP DOI BibTeX RDF	UML
52	Gregor Engels, Reiko Heckel, Stefan Sauer 0001	UML - A Universal Modeling Language?	ICATPN	2000	DBLP DOI BibTeX RDF	UML, profile, statechart, object-oriented model, OCL, class diagram, interaction diagram
52	Anneke Kleppe, Jos Warmer	Extending OCL to include Actions.	UML	2000	DBLP DOI BibTeX RDF	UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions
52	Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray	On challenges of model transformation from UML to Alloy.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF
52	Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura	Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra.	ECMDA-FA	2005	DBLP DOI BibTeX RDF