Search results for "F-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
98	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
92	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
89	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
85	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
84	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
80	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
79	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
74	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
70	Hanna Bauerdick, Martin Gogolla, Fabian Gutsche	Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report.	UML	2004	DBLP DOI BibTeX RDF
70	Ahmed Gaafar, Sherif Sakr	Towards a Framework for Mapping Between UML/OCL and XML/XQuery.	UML	2004	DBLP DOI BibTeX RDF
70	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
70	Mark Richters, Martin Gogolla	Validating UML Models and OCL Constraints.	UML	2000	DBLP DOI BibTeX RDF
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	Martin Gogolla, Brian Henderson-Sellers	Analysis of UML Stereotypes within the UML Metamodel.	UML	2002	DBLP DOI BibTeX RDF
69	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
69	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
69	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
69	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
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	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	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	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	Marko Boger, Mario Jeckle, Stefan Müller, Jens Fransson	Diagram Interchange for UML.	UML	2002	DBLP DOI BibTeX RDF
65	Eugen Brenner, Ivo Derado	UML Extensions for ASAM-GDI Device Capability Description.	UML	2000	DBLP DOI BibTeX RDF
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	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
65	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
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	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
64	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
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	Colin F. Snook, Michael J. Butler	UML-B: A Plug-in for the Event-B Tool Set.	ABZ	2008	DBLP DOI BibTeX RDF
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	Martin Fowler	What Is the Point of the UML?	UML	2003	DBLP DOI BibTeX RDF
61	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
61	Sabri Pllana, Thomas Fahringer	On Customizing the UML for Modeling Performance-Oriented Applications.	UML	2002	DBLP DOI BibTeX RDF
61	Michael von der Beeck	Formalization of UML-Statecharts.	UML	2001	DBLP DOI BibTeX RDF
61	David H. Akehurst, Behzad Bordbar	On Querying UML Data Models with OCL.	UML	2001	DBLP DOI BibTeX RDF
61	Xuandong Li, Cui Meng, Yu Pei 0001, Jianhua Zhao, Guoliang Zheng	Timing Analysis of UML Activity Diagrams.	UML	2001	DBLP DOI BibTeX RDF
60	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
60	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
60	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
60	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
60	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	Dong Xu, Huaikou Miao, Nduwimfura Philbert	Model Checking UML Activity Diagrams in FDR.	ACIS-ICIS	2009	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
56	Yvan Labiche	The UML Is More Than Boxes and Lines.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF	well-formedness rules, UML, consistency, teaching, laboratory
56	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
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	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
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	Ansgar Schleicher, Bernhard Westfechtel	Beyond Stereotyping: Metamodeling Approaches for the UML.	HICSS	2001	DBLP DOI BibTeX RDF	UML, workflow management, meta modeling
56	Andrey Naumenko, Alain Wegmann	A Metamodel for the Unified Modeling Language.	UML	2002	DBLP DOI BibTeX RDF
56	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
56	Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer	Towards Automating Source-Consistent UML Refactorings.	UML	2003	DBLP DOI BibTeX RDF
56	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
56	Jordi Cabot, Antoni Olivé, Ernest Teniente	Representing Temporal Information in UML.	UML	2003	DBLP DOI BibTeX RDF
56	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
56	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
56	Jan Jürjens	UMLsec: Extending UML for Secure Systems Development.	UML	2002	DBLP DOI BibTeX RDF
56	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
56	Sabine Kuske	A Formal Semantics of UML State Machines Based on Structured Graph Transformation.	UML	2001	DBLP DOI BibTeX RDF
56	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
56	Rik Eshuis, Roel J. Wieringa	An Execution Algorithm for UML Activity Graphs.	UML	2001	DBLP DOI BibTeX RDF
56	Daniel Amyot, Gunter Mussbacher	On the Extension of UML with Use Case Maps Concepts.	UML	2000	DBLP DOI BibTeX RDF
56	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
56	Patricia Vilain, Daniel Schwabe, Clarisse Sieckenius de Souza	A Diagrammatic Tool for Representing User Interaction in UML.	UML	2000	DBLP DOI BibTeX RDF
56	Peter Padawitz	Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving.	UML	2000	DBLP DOI BibTeX RDF
56	Christian Heide Damm, Klaus Marius Hansen, Michael Thomsen, Michael Tyrsted	Supporting Several Levels of Restriction in the UML.	UML	2000	DBLP DOI BibTeX RDF
56	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	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	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
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
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
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	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	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
51	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
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	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
51	Christian F. J. Lange	Improving the quality of UML models in practice.	ICSE	2006	DBLP DOI BibTeX RDF	UML, consistency, quality, completeness, defect detection
51	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