Search results for "UML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Pierre-Alain Muller, Didier Bresch, Philippe Studer	Model-Driven Architecture for Automatic-Control: An Experience Report.	UML	2004	DBLP DOI BibTeX RDF
28	Amador Durán 0001, Beatriz Bernárdez 0001, Marcela Genero, Mario Piattini	Empirically Driven Use Case Metamodel Evolution.	UML	2004	DBLP DOI BibTeX RDF	metamodel evolution, use cases, empirical software engineering
28	Perdita Stevens, Jon Whittle 0001, Grady Booch (eds.)	«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings	UML	2003	DBLP DOI BibTeX RDF
28	Isabel Nunes	An OCL Extension for Low-Coupling Preserving Contracts.	UML	2003	DBLP DOI BibTeX RDF
28	Alexander Egyed	Compositional and Relational Reasoning during Class Abstraction.	UML	2003	DBLP DOI BibTeX RDF
28	Ivan Porres	Model Refactorings as Rule-Based Update Transformations.	UML	2003	DBLP DOI BibTeX RDF
28	Khaled Alghathbar, Duminda Wijesekera	Consistent and Complete Access Control Policies in Use Cases.	UML	2003	DBLP DOI BibTeX RDF
28	Jean Bézivin, Nicolas Farcet, Jean-Marc Jézéquel, Benoît Langlois, Damien Pollet	Reflective Model Driven Engineering.	UML	2003	DBLP DOI BibTeX RDF	model transformation, model-driven engineering
28	Peter Coad	Agile Processes: Developing Your Own "Secret Recipes".	UML	2003	DBLP DOI BibTeX RDF
28	Jörn Guy Süß, Andreas Leicher, Herbert Weber, Ralf-Detlef Kutsche	Model-Centric Engineering with the Evolution and Validation Environment.	UML	2003	DBLP DOI BibTeX RDF
28	Jörg Pleumann, Stefan Haustein	A Model-Driven Runtime Environment for Web Applications.	UML	2003	DBLP DOI BibTeX RDF
28	Ákos Schmidt, Dániel Varró	CheckVML: A Tool for Model Checking Visual Modeling Languages.	UML	2003	DBLP DOI BibTeX RDF	model checking, formal verification, metamodeling, graph transformation, visual modeling languages
28	Jean-Marc Jézéquel, Heinrich Hußmann, Stephen Cook 0001 (eds.)	UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings	UML	2002	DBLP DOI BibTeX RDF
28	Michael Jackson 0001	Descriptions in Software Development.	UML	2002	DBLP DOI BibTeX RDF
28	Gonzalo Génova, Juan Lloréns, Víctor Quintana	Digging into Use Case Relationships.	UML	2002	DBLP DOI BibTeX RDF
28	David Garlan	Software, Heal Thyself!	UML	2002	DBLP DOI BibTeX RDF
28	Tony Clark 0001, Andy Evans, Stuart Kent 0001	A Metamodel for Package Extension with Renaming.	UML	2002	DBLP DOI BibTeX RDF
28	Martin Gogolla, Cris Kobryn (eds.)	«UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings	UML	2001	DBLP DOI BibTeX RDF
28	Bente Anda, Hege Dreiem, Dag I. K. Sjøberg, Magne Jørgensen	Estimating Software Development Effort Based on Use Cases-Experiences from Industry.	UML	2001	DBLP DOI BibTeX RDF	estimation, Use cases, industrial experience
28	Frank Devos, Eric Steegmans	The Message Paradigm in Object-Oriented Analysis.	UML	2001	DBLP DOI BibTeX RDF
28	Elizabeth Latronico, Philip Koopman	Representing Embedded System Sequence Diagrams as a Formal Language.	UML	2001	DBLP DOI BibTeX RDF
28	Emil Sekerinski, Rafik Zurob	iState: A Statechart Translator.	UML	2001	DBLP DOI BibTeX RDF
28	Birgit Demuth, Heinrich Hußmann, Sten Loecher	OCL as a Specification Language for Business Rules in Database Applications.	UML	2001	DBLP DOI BibTeX RDF
28	Andy Evans, Stuart Kent 0001, Bran Selic (eds.)	«UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings	UML	2000	DBLP DOI BibTeX RDF
28	Luca Pazzi	Part-Whole Statecharts for the Explicit Representation of Compound Behaviors.	UML	2000	DBLP DOI BibTeX RDF
28	Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer	Consistency Checking and Visualization of OCL Constraints.	UML	2000	DBLP BibTeX RDF
28	Jean Bézivin, Pierre-Alain Muller (eds.)	The Unified Modeling Language, «UML»'98: Beyond the Notation, First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers	UML	1999	DBLP DOI BibTeX RDF
28	Robert B. France, Bernhard Rumpe (eds.)	«UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings	UML	1999	DBLP DOI BibTeX RDF
28	Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing	Correct Realization of Interface Constraints with OCL.	UML	1999	DBLP DOI BibTeX RDF
28	Mark Richters, Martin Gogolla	A Metamodel for OCL.	UML	1999	DBLP DOI BibTeX RDF
28	Gunnar Övergaard	A Formal Approach to Collaborations in the Unified Modeling Language	UML	1999	DBLP DOI BibTeX RDF
28	Brian Henderson-Sellers, Franck Barbier	Black and White Diamonds.	UML	1999	DBLP DOI BibTeX RDF
28	Richard F. Paige, Jonathan S. Ostroff	A Comparison of the Business Object Notation and the Unified Modelling Language.	UML	1999	DBLP DOI BibTeX RDF
28	Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz	Timed Sequence Diagrams and Tool-Based Analysis - A Case Study.	UML	1999	DBLP DOI BibTeX RDF
28	Stefan Berner, Martin Glinz, Stefan Joos	A Classification of Stereotypes for Object-Oriented Modeling Languages.	UML	1999	DBLP DOI BibTeX RDF
28	Marwan Abi-Antoun, Nenad Medvidovic	Enabling the Refinement of a Software Architecture into a Design.	UML	1999	DBLP DOI BibTeX RDF
28	Stuart Kent 0001, John Howse	Mixing Visual and Textual Constraint Languages.	UML	1999	DBLP DOI BibTeX RDF
28	Steve Cook, Anneke Kleppe, Richard Mitchell, Jos Warmer, Alan Cameron Wills	Defining the Context of OCL Expressions.	UML	1999	DBLP DOI BibTeX RDF
28	Christian Bunse, Colin Atkinson 0001	The Normal Object Form: Bridging the Gap from Models to Code.	UML	1999	DBLP DOI BibTeX RDF
28	Neelam Soundarajan, Stephen Fridella	Modeling Exceptional Behavior.	UML	1999	DBLP DOI BibTeX RDF
28	Joaquin Miller, Rebecca Wirfs-Brock	How Can Anything be Both a Classifier and a Package?	UML	1999	DBLP DOI BibTeX RDF
28	Luís Filipe Andrade, José Luiz Fiadeiro	Interconnecting Objects Via Contracts.	UML	1999	DBLP DOI BibTeX RDF
28	Holger Giese, Jörg Graf, Guido Wirtz	Closing the Gap Between Object-Oriented Modeling of Structure and Behavior.	UML	1999	DBLP DOI BibTeX RDF
28	Ali Hamie, Franco Civello, John Howse, Stuart Kent 0001, Richard Mitchell	Reflections on the Object Constraint Language.	UML	1998	DBLP DOI BibTeX RDF
28	Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h	Validating Distributed Software Modeled with the Unified Modeling Language.	UML	1998	DBLP DOI BibTeX RDF
28	Philippe Desfray	Automation of Design Pattern: Concepts, Tools and Practices.	UML	1998	DBLP DOI BibTeX RDF
28	Bernard Morand	Modeling: Is it Turning Informal into Formal?	UML	1998	DBLP DOI BibTeX RDF
28	Gunnar Övergaard, Karin Palmkvist	A Formal Approach to Use Cases and Their Relationships.	UML	1998	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	Jesús García Molina, María-José Ortín-Ibáñez, Begoña Moros, Joaquín Nicolás, José Ambrosio Toval Álvarez	Transforming the OOram Three-Model Architecture into a UML-based Process.	HICSS	2001	DBLP DOI BibTeX RDF	OOram, Three-model architecture, UML-based processes, UML, Conceptual modeling, Business modeling, Use case modeling
28	Leonardus Budiman Arief, Neil A. Speirs	A UML tool for an automatic generation of simulation programs.	Workshop on Software and Performance	2000	DBLP DOI BibTeX RDF	UML, program generators, UML extension, discrete simulation, process-oriented, model design
28	Miguel de Miguel, Thomas Lambolais, Mehdi Hannouz, Stéphane Betgé-Brezetz, Sophie Piekarec	UML extensions for the specification and evaluation of latency constraints in architectural models.	Workshop on Software and Performance	2000	DBLP DOI BibTeX RDF	UML extension techniques, performance constraints evaluation, real-time object-oriented systems, UML, temporal requirements
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	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	Gergely Pintér, István Majzik	Runtime Verification of Statechart Implementations.	WADS	2004	DBLP DOI BibTeX RDF	temporal logic, Runtime verification, UML statecharts
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	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	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	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	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	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	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	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	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	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	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	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	Andrea Baldini, Alfredo Benso, Paolo Prinetto	System-level functional testing from UML specifications in end-of-production industrial environments.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	End-of-production (EOP) environment, Timed message sequences, System-level testing, Unified Modeling Language (UML)
28	Manachaya Jamadhvaja, Twittie Senivongse	An integration of data sources with UML class models based on ontological analysis.	IHIS	2005	DBLP DOI BibTeX RDF	UML class model, data integration, semantic integration, ontology integration, heterogeneous data sources
28	Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson 0002, Bill Mitchell, Simon Burton 0001	Detecting and resolving semantic pathologies in UML sequence diagrams.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	communication semantics, requirements, MSC, UML 2.0
28	Christine W. Chan	Knowledge and software modeling using UML.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Ontology Knowledge Reuse, Unified Modeling Language (UML)
28	Lutz Bichler, Ansgar Radermacher, Andy Schürr	Integrating Data Flow Equations with UML/Realtime.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	UML/Realtime, Rational Rose/RT®, object-oriented modeling, dataflow modeling
28	Tong Yi, Fangjun Wu	Empirical analysis of entropy distance metric for UML class diagrams.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	entropy distance, software measure, correlation analysis, structure complexity, UML class diagram
28	David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier	Validation and automatic test generation on UML models: the AGATHA approach.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Symbolic calculus, Automated test generation, UML specification
28	William N. Robinson, Han G. Woo	Finding Reusable UML Sequence Diagrams Automatically.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	CASE (computer-aided software engineering), software engineering, design, UML (unified modeling language), analysis, software, reuse models
28	Dragan Gasevic, Dragan Djuric, Vladan Devedzic, Violeta Damjanovic	Converting UML to OWL ontologies.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	ontology, OWL, XSLT, UML profiles
28	Eduardo Fernández-Medina, Juan Trujillo 0001, Rodolfo Villarroel, Mario Piattini	Extending UML for Designing Secure Data Warehouses.	ER	2004	DBLP DOI BibTeX RDF	Secure data warehouses, OCL, multidimensional modeling, UML extension