Search results for "UML®"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Dong Yang, Shen-sheng Zhang	Using p - calculus to Formalize UML Activity Diagram.	ECBS	2003	DBLP DOI BibTeX RDF
28	Stephanie M. White, Murray Cantor, Sanford Friedenthal, Cris Kobryn, Byron Purves	Panel: Extending UML from Software to Systems Engineering.	ECBS	2003	DBLP DOI BibTeX RDF
28	Susan Darling Urban, Suzanne W. Dietrich	Using UML class diagrams for a comparative analysis of relational, object-oriented, and object-relational database mappings.	SIGCSE	2003	DBLP DOI BibTeX RDF	object-relational data model, unified modeling language, database design, schema mappings, relational model, entity-relationship model, object-oriented data model
28	Bernhard Bauer, Jörg P. Müller	Using UML in the Context of Agent-Oriented Software Engineering: State of the Art.	AOSE	2003	DBLP DOI BibTeX RDF
28	Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou	Formalizing the Framework Design Language F-UML.	SEFM	2003	DBLP DOI BibTeX RDF
28	Grant Martin	UML for Embedded Systems Specification and Design: Motivation and Overview.	DATE	2002	DBLP DOI BibTeX RDF
28	João Araújo 0001, Jonathan Whittle 0001, José Ambrosio Toval Álvarez, Robert B. France	Integration and Transformation of UML Models.	ECOOP Workshops	2002	DBLP DOI BibTeX RDF
28	Sabri Pllana, Thomas Fahringer	Parallel and distributed systems: UML based modeling of performance oriented parallel and distributed applications.	WSC	2002	DBLP DOI BibTeX RDF
28	Ina Schieferdecker, Jens Grabowski	The Graphical Format of TTCN-3 in the Context of MSC and UML.	SAM	2002	DBLP DOI BibTeX RDF
28	Georg Sonneck, Renate Motschnig-Pitrik, Thomas A. Mück	Mapping UML Web Navigation Stereotypes to XML Data Skeletons.	EC-Web	2002	DBLP DOI BibTeX RDF
28	Wolfgang Pree, Marcus Fontoura, Bernhard Rumpe	Product Line Annotations with UML-F.	SPLC	2002	DBLP DOI BibTeX RDF
28	Torsten Heverhagen, Rudolf Tracht	Integrating UML-RealTime and IEC 61131-3 with Function Block Adapters.	ISORC	2001	DBLP DOI BibTeX RDF
28	Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk	A Timed Automata Semantics for Real-Time UML Specifications.	HCC	2001	DBLP DOI BibTeX RDF
28	Wuwei Shen, Kevin J. Compton, James Huggins	A UML Validation Toolset Based on Abstract State Machines.	ASE	2001	DBLP DOI BibTeX RDF
28	Petri Selonen, Tarja Systä, Kai Koskimies	Generating Structured Implementation Schemes from UML Sequence Diagrams.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
28	Bill Taylor, Einar W. Karlsen	Mapping UML to Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF
28	Günter Graw, Peter Herrmann, Heiko Krumm	Verification of UML-Based Real-Time System Designs by Means of cTLA.	ISORC	2000	DBLP DOI BibTeX RDF
28	Jean-Michel Bruel, Johan Lilius, Ana M. D. Moreira, Robert B. France	Defining Precise Semantics for UML.	ECOOP Workshops	2000	DBLP DOI BibTeX RDF
28	Soon-Kyeong Kim, David A. Carrington	A Formal Mapping between UML Models and Object-Z Specifications.	ZB	2000	DBLP DOI BibTeX RDF
28	Egon Börger, Alessandra Cavarra, Elvinia Riccobene	Modeling the Dynamics of UML State Machines.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
28	Nuno Jardim Nunes, João Falcão e Cunha	Wisdom - A UML Based Architecture for Interactive Systems.	DSV-IS	2000	DBLP DOI BibTeX RDF
28	Joon-Sang Lee, Tae-Ho Kim, Gwang Sik Yoon, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae	Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML).	ISADS	1999	DBLP DOI BibTeX RDF
28	Iulian Ober, Ileana Stan	On the Concurrent Object Model of UML.	Euro-Par	1999	DBLP DOI BibTeX RDF
28	Johan Lilius, Ivan Paltor	vUML: A Tool for Verifying UML Models.	ASE	1999	DBLP DOI BibTeX RDF
28	Birgit Korherr, Beate List	Extending the UML 2 Activity Diagram with Business Process Goals and Performance Measures and the Mapping to BPEL.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
28	Beate List, Birgit Korherr	A UML 2 Profile for Business Process Modelling.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
28	Edgardo Belloni, Claudia A. Marcos	MAM-UML: An UML Profile for the Modeling of Mobile-Agent Applications.	SCCC	2004	DBLP DOI BibTeX RDF
28	Mikael Berndtsson, Bengt Calestam	Graphical notations for active rules in UML and UML-A.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF
28	Giovanni Giachetti, Manuela Albert, Beatriz Marín, Oscar Pastor 0001	Linking UML and MDD through UML Profiles: a Practical Approach based on the UML Association.	J. Univers. Comput. Sci.	2010	DBLP DOI BibTeX RDF
28	Günther Pernul, Matti Rossi	6th International Workshop on Foundations and Practices of UML (FP-UML 2010).	ER Workshops	2010	DBLP DOI BibTeX RDF
28	Piotr Kosiuczenko	Formal Redesign of UML Class Diagrams.	pUML	2001	DBLP BibTeX RDF
28	Liliana Favre	A Formal Mapping between UML Static Models and Algebraic Specifications.	pUML	2001	DBLP BibTeX RDF
28	Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel	Conformance Testing from UML Specifications. Experience Report.	pUML	2001	DBLP BibTeX RDF
28	Rolf Hennicker, Nora Koch	Modeling the User Interface of Web Applications with UML.	pUML	2001	DBLP BibTeX RDF
28	Zhijiang Dong, Xudong He	Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets.	pUML	2001	DBLP BibTeX RDF
28	Simon Pickin 0001, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray	A UML-integrated Test Description Language for Component Testing.	pUML	2001	DBLP BibTeX RDF
28	Richard F. Paige, Jonathan S. Ostroff	A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems.	pUML	2001	DBLP BibTeX RDF
28	Geri Georg, Jores Bieman, Robert B. France	Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study.	pUML	2001	DBLP BibTeX RDF
28	Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama	An Axiomatic Formalization of UML Models.	pUML	2001	DBLP BibTeX RDF
28	Alan Wills	Catalytic Modeling: UML meets XP.	pUML	2001	DBLP BibTeX RDF
28	Jan Hendrik Hausmann, Jochen Malte Küster, Stefan Sauer 0001	Identifying Semantic Dimensions of (UML) Sequence Diagrams.	pUML	2001	DBLP BibTeX RDF
28	Thomas Stauner, Alexander Pretschner, Istran Péter	Approaching a Discrete-Continuous UML: Tool Support and Formalization.	pUML	2001	DBLP BibTeX RDF
28	Shiri Davidson, Mila Keren, Sara Porat, Gabi Zodik	Designing Procedural 4GL Applications through UML Modeling.	pUML	2001	DBLP BibTeX RDF
28	Jeffrey E. Smith, Mieczyslaw M. Kokar, Kenneth Baclawski	Formal Verification of UML Diagrams: A First Step Towards Code Generation.	pUML	2001	DBLP BibTeX RDF
28	Frédéric Mallet, Robert de Simone	MARTE: a profile for RT/E systems modeling, analysis-and simulation?	SimuTools	2008	DBLP DOI BibTeX RDF	UML profile, MARTE
28	Dragan Gasevic, Dragan Djuric, Vladan Devedzic	MDA-based Automatic OWL Ontology Development.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Model Driven Architecture, OWL, XSLT, UML Profile, Ontology development
28	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
28	Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001	Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Multimedia, Time, Meta modeling, Formal semantics, Graph transformation, Sequence diagram, UML extensions
28	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
28	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
28	Gergely Pintér, István Majzik	Runtime Verification of Statechart Implementations.	WADS	2004	DBLP DOI BibTeX RDF	temporal logic, Runtime verification, UML statecharts
28	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
28	Matthias Beyer, Winfried Dulz	Scenario-Based Statistical Testing of Quality of Service Requirements.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF	Markov Chain Usage Model, QoS, Software Testing, Automatic Test Generation, TTCN-3, MSC, UML Sequence Diagram
28	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
28	Franck Barbier	Component-Based Design of Large-Scale Distributed Systems.	COMPSAC	2001	DBLP DOI BibTeX RDF	Distributed Systems, UML, Software Components
28	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
28	Ulrich Nickel 0002, Jörg Niere, Albert Zündorf	The FUJABA environment.	ICSE	2000	DBLP DOI BibTeX RDF	Java, UML
28	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
28	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
28	Christine Choppy, Gianna Reggio	A method for developing UML state machines.	SAC	2009	DBLP DOI BibTeX RDF	UML, state machine
28	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
28	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
28	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
28	Dolors Costal, Cristina Gómez 0001, Anna Queralt, Ruth Raventós, Ernest Teniente	Improving the definition of general constraints in UML.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Conceptual modeling, Integrity constraints, UML profile
28	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
28	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
28	Waldemar Pires, João Brunet, Franklin Ramalho	UML-based design test generation.	SAC	2008	DBLP DOI BibTeX RDF	design test, code generation, MDA, UML class diagram
28	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
28	Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet, Janees Elamkulam	Verification Framework for Detecting Safety Violations in UML Statecharts.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Model Checking, Verification, UML Statecharts
28	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
28	Yan Zhang, Yi Liu, Le Zhang, Zhiyi Ma, Hong Mei 0001	Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram.	COMPSAC	2008	DBLP DOI BibTeX RDF	non-functional attributes, model checking, model driven development, UML class diagram
28	María Agustina Cibrán	Translating BPMN Models into UML Activities.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	UML Activities, MDA, Model Transformations, BDD, MDE, BPMN, ATL
28	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
28	Bjørnar Solhaug, Ketil Stølen	Compositional Refinement of Policies in UML - Exemplified for Access Control.	ESORICS	2008	DBLP DOI BibTeX RDF	policy adherence, access control, UML sequence diagrams, Policy specification, policy refinement
28	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
28	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
28	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
28	Dragan Milicev	On the Semantics of Associations and Association Ends in UML.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	association end, Unified Modeling Language (UML), conceptual modeling, model-driven development, Object-oriented modeling, formal semantics, association
28	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
28	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
28	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
28	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
28	José Jacobo Zubcoff, Jesús Pardillo, Juan Trujillo 0001	Integrating Clustering Data Mining into the Multidimensional Modeling of Data Warehouses with UML Profiles.	DaWaK	2007	DBLP DOI BibTeX RDF	Data Mining, Clustering, Conceptual Modeling, Data Warehouse, KDD, Multidimensional Modeling, UML Extension
28	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
28	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
28	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
28	Filippo Ricca, Massimiliano Di Penta, Marco Torchiano, Paolo Tonella, Mariano Ceccato	The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes.	ICSE	2007	DBLP DOI BibTeX RDF	UML stereotypes, developers' experience, empirical study, program comprehension
28	Azzam Maraee, Mira Balaban	Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	finite satisfiability, reasoning about class diagram, generalization set constraints, class hierarchy structure, consistency, UML class diagram, cardinality constraints
28	Narasimha Bolloju, Vijayan Sugumaran	Quality Dependencies Among Use Case Models and Sequence Diagrams Developed by Novice Systems Analysts.	ER Workshops	2007	DBLP DOI BibTeX RDF	UML artifacts, novice systems analysts, quality dependencies, association rules
28	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
28	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
28	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
28	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
28	Jan Trowitzsch, Armin Zimmermann	Using UML state machines and petri nets for the quantitative investigation of ETCS.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	UML state machines, model transformation, stochastic petri nets, ETCS
28	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
28	Yujian Fu, Zhijiang Dong, Xudong He	Formalizing and validating UML architecture description of web systems.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	UML architecture description, petri nets, temporal logic, verification and validation, software architecture model
28	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
28	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
28	Ebrahim Bagheri, Ali A. Ghorbani 0001	Towards an MDA-oriented UML profile for critical infrastructure modeling.	PST	2006	DBLP DOI BibTeX RDF	modeling and simulation, UML profiles, critical infrastructure
28	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