Search results for "UML®"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
46	Gregory Zoughbi, Lionel C. Briand, Yvan Labiche	A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.	MoDELS	2007	DBLP DOI BibTeX RDF	Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority
46	Claudius Heitz, Peter Thiemann 0001, Thomas Wölfle	Integration of an Action Language Via UML Action Semantics.	TEAA	2006	DBLP DOI BibTeX RDF	UML Action Language, UML Action Semantics, model to code transformation, Model Driven Architecture (MDA), behavioral modeling
46	Nathalie Moreno, Piero Fraternali, Antonio Vallecillo	A UML 2.0 profile for WebML modeling.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	UML, metamodels, UML profiles, WebML
46	Dabo Sun, Kenny Wong	On Evaluating the Layout of UML Class Diagrams for Program Comprehension.	IWPC	2005	DBLP DOI BibTeX RDF	perceptual theory, UML modeling tools, aesthetics, graph layout, UML class diagrams
46	Amjad Hudaib, Carlo Montangero	A UML Profile to Support the Formal Presentation of Software Architecture.	COMPSAC	2002	DBLP DOI BibTeX RDF	Software Architecture Patterns, Oikos_adtl, Software Architecture, UML Extensions, UML Diagrams
46	Albert Zündorf	From use cases to code---rigorous software development with UML.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	object-oriented applications, UML, UML, CASE tools, development processes, software development methods
46	Liliana Favre, Liliana Martinez, Claudia Pereira	Transforming UML Static Models into Object-Oriented Code.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	UML static models, reuse based rigorous method, object oriented code generation, rigorous process, GSBL/sup OO/ language, SpReIm model, OCL specifications, object-oriented programming, software maintenance, software maintenance, specification languages, software reusability, program compilers, object-oriented languages, algebraic specification, algebraic specifications, reusable components, UML class diagrams, forward engineering, design artifacts
46	Peter Graubmann, Ekkart Rudolph	HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing.	UML	2000	DBLP DOI BibTeX RDF	distributed systems, software engineering, real time systems, UML, testing, telecommunication, Sequence Diagrams, Use Cases, MSC, OO
45	Frank Alexander Kraemer, Peter Herrmann	Automated Encapsulation of UML Activities for Incremental Development and Verification.	MoDELS	2009	DBLP DOI BibTeX RDF	UML Activities, UML State Machines, UML Streaming Parameters, Verification, Model Reuse, System Composition
43	Nenad Medvidovic, David S. Rosenblum, David F. Redmiles, Jason E. Robbins	Modeling software architectures in the Unified Modeling Language.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Wright, Unified Modeling Language, software architecture, object-oriented design, formal modeling, Object Constraint Language, C2, Rapide
43	Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen 0027, Jianhua Zhao	Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models.	HASE	2008	DBLP DOI BibTeX RDF
43	Ilkyu Ha, Byunguk Kang	Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram.	IDEAL	2008	DBLP DOI BibTeX RDF
43	Abdelouahed Gherbi, Ferhat Khendek	Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency.	ISORC	2007	DBLP DOI BibTeX RDF
43	Wei Dong 0006, Ji Wang 0001, Zhichang Qi, Ni Rong	Compositional Verification of UML Dynamic Models.	APSEC	2007	DBLP DOI BibTeX RDF
43	John Mullins, Raveca Oarga	Model Checking of Extended OCL Constraints on UML Models in SOCLe.	FMOODS	2007	DBLP DOI BibTeX RDF
43	Abdelouahed Gherbi, Ferhat Khendek	Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT.	SAM	2006	DBLP DOI BibTeX RDF
43	Chong-Won Lee, Jongdae Han, Jaekeun Shim, Chunwoo Lee, Taeksu Kim, Yoohoon Kang, Byungjeong Lee, Chisu Wu	Extending UML for Development of Distributed Control Systems with Heterogeneous Languages.	SERA	2006	DBLP DOI BibTeX RDF
43	Yu Li, Aijun An	Representing UML Snowflake Diagram from Integrating XML Data Using XML Schema.	DEEC	2005	DBLP DOI BibTeX RDF
43	Bin Zhang 0031, Ye-Sho Chen	Enhancing UML Conceptual Modeling through the Use of Virtual Reality.	HICSS	2005	DBLP DOI BibTeX RDF
43	Simonetta Balsamo, Moreno Marzolla	Performance evaluation of UML software architectures with multiclass Queueing Network models.	WOSP	2005	DBLP DOI BibTeX RDF	performance modeling, queueing networks, software performance
43	Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Daniel Pak-Kong Lun	Precise Modeling of Design Patterns in UML.	ICSE	2004	DBLP DOI BibTeX RDF
43	Marc-Philippe Huget	Agent UML Class Diagrams Revisited.	Agent Technologies, Infrastructures, Tools, and Applications for E-Services	2002	DBLP DOI BibTeX RDF
43	Bruce Powel Douglass	Real-Time UML.	FTRTFT	2002	DBLP DOI BibTeX RDF
43	Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington	UML Collaboration Diagram Syntax: An Empirical Study of Comprehension.	VISSOFT	2002	DBLP DOI BibTeX RDF
43	Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann	Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.	FASE	2000	DBLP DOI BibTeX RDF
43	Tony Wasserman	Features of UML Tools.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
43	Juan Trujillo 0001, Il-Yeol Song	Preface to BP-UML 2006.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
43	Brian Dobing, Jeffrey Parsons	Current Practices in the Use of UML.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
43	Francisco Martínez, José Ambrosio Toval Álvarez	A Precise Approach for the Analysis of the UML Models Consistency.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
43	José A. Cruz-Lemus, Marcela Genero, Mario Piattini, José Ambrosio Toval Álvarez	An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
43	Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra	Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
43	Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva	Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.	FMCO	2002	DBLP DOI BibTeX RDF
43	Hazem Hamed, Ashraf Salem	UML-L: An UML Based Design Description Language.	AICCSA	2001	DBLP DOI BibTeX RDF
43	Niclas Bauer	Deployment of SDL Systems Using UML.	SDL Forum	2001	DBLP DOI BibTeX RDF
42	Viviane Torres da Silva, Carlos José Pereira de Lucena	From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language.	Auton. Agents Multi Agent Syst.	2004	DBLP DOI BibTeX RDF	multi-agent system, UML, metamodel, modeling language, conceptual framework
42	Ana Erika Camargo Cruz	Exploratory study of a UML metric for fault prediction.	ICSE (2)	2010	DBLP DOI BibTeX RDF	CK metrics, fault-prone code, fault-proneness prediction, UML, logistic regression
42	Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann	Towards an integrated graph-based semantics for UML.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Keyword UML diagram, Formal semantics, Graph transformation
42	Muhammad R. Abid 0001, Daniel Amyot, Stéphane S. Somé, Gunter Mussbacher	A UML Profile for Goal-Oriented Modeling.	SDL Forum	2009	DBLP DOI BibTeX RDF	Tau G2, Metamodel, UML Profile, User Requirements Notation, Goal-oriented Requirement Language
42	Vittorio Cortellessa, Pierluigi Pierini, Romina Spalazzese, Alessio Vianale	MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis.	QoSA	2008	DBLP DOI BibTeX RDF	Simulation, UML, Software Performance, Resource Modeling
42	Ahlem Ben Younes, Leila Jemni Ben Ayed	From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.	COMPSAC	2008	DBLP DOI BibTeX RDF	UML AD, workflow applications, Formal verification, Specification, Event B
42	M. Esperanza Manso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini	Empirical Validation of Measures for UML Class Diagrams: A Meta-Analysis Study.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF	experiments, comprehensibility, size, meta-analysis, structural complexity, modifiability, UML class diagrams
42	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.	MoDELS	2008	DBLP DOI BibTeX RDF	SPT, genetic algorithms, UML, MDD, deadlocks, concurrent systems, model analysis
42	Rasha Tawhid, Dorina C. Petriu	Towards automatic derivation of a product performance model from a UML software product line model.	WOSP	2008	DBLP DOI BibTeX RDF	model transformation, software product line, software performance engineering, uml, marte
42	Manar Al-Kady, Reem Bahgat, Aly A. Fahmy	A UML Heavyweight Extension for MAS Modeling.	QSIC	2008	DBLP DOI BibTeX RDF	Metamodeling, Agent Oriented Software Engineering, UML extension
42	Eladio Domínguez, Jorge Lloret, Beatriz Pérez 0001, Áurea Rodríguez, Ángel Luis Rubio, María Antonia Zapata	A Survey of UML Models to XML Schemas Transformations.	WISE	2007	DBLP DOI BibTeX RDF	Model Transformation, XML Schema, UML model
42	María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz 0001, Valentín Valero	Using RT-UML for modelling web services.	SAC	2007	DBLP DOI BibTeX RDF	RT-UML, web services, modeling, WS-BPEL, transformation rules
42	Eladio Domínguez, Jorge Lloret, Beatriz Pérez 0001, Áurea Rodríguez, Ángel Luis Rubio, María Antonia Zapata	Model-Driven Development Based Transformation of Stereotyped Class Diagrams to XML Schemas in a Healthcare Context.	ER Workshops	2007	DBLP DOI BibTeX RDF	XML Schema, Clinical Guideline, UML Class Diagram
42	Zhaoxia Hu, Sol M. Shatz	Explicit modeling of semantics associated with composite states in UML statecharts.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Composite states, State-transition notation, UML, Petri nets, Statecharts
42	Flávio Oquendo	Formally modelling software architectures with the UML 2.0 profile for pi-ADL.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	?-ADL, UML 2.0 profile, architecture description language, software architecture modelling
42	Erik Arisholm, Lionel C. Briand, Siw Elisabeth Hove, Yvan Labiche	The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	UML, experiment, Maintenance
42	Xiangpeng Zhao, Quan Long, Zongyan Qiu	Model Checking Dynamic UML Consistency.	ICFEM	2006	DBLP DOI BibTeX RDF	Simulation, Algorithm, Model Checking, UML, Semantics, Consistency
42	Nicolas Guelfi, Amel Mammar	A formal framework to generate XPDL specifications from UML activity diagrams.	SAC	2006	DBLP DOI BibTeX RDF	XPDL language, transformations, correctness proofs, UML activity diagrams
42	Hugues Malgouyres, Gilles Motet	A UML model consistency verification approach based on meta-modeling formalization.	SAC	2006	DBLP DOI BibTeX RDF	UML verification, consistency rules, meta-modeling, constraint logic programming
42	Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren	UML for ESL design: basic principles, tools, and applications.	ICCAD	2006	DBLP DOI BibTeX RDF	simulation, UML, SoC, tools, profiles, SystemC, ESL design
42	Rubén Fuentes, Jorge J. Gómez-Sanz, Juan Pavón	Integrating agent-oriented methodologies with UML-AT.	AAMAS	2006	DBLP DOI BibTeX RDF	INGENIAS, Tropos, UML-AT, multi-agent systems, activity theory, method engineering, conceptual mappings
42	Atanas Rountev, Olga Volgin, Miriam Reddoch	Static control-flow analysis for reverse engineering of UML sequence diagrams.	PASTE	2005	DBLP DOI BibTeX RDF	UML
42	Yasser Kotb, Takuya Katayama	Consistency checking of UML model diagrams using the XML semantics approach.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	XML, model checking, UML, attribute grammars, XMI
42	Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell	Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams.	ER	2005	DBLP DOI BibTeX RDF	UML, Activity Diagrams, Workflow Patterns, YAWL
42	Gordon Ping Gu, Dorina C. Petriu	From UML to LQN by XML algebra-based model transformations.	WOSP	2005	DBLP DOI BibTeX RDF	automatic model building, XML, UML, model transformations, software performance engineering, XMI, performance profile, LQN
42	Thuong Doan, Steven A. Demurjian, T. C. Ting, Andreas Ketterl	MAC and UML for secure software design.	FMSE	2004	DBLP DOI BibTeX RDF	security, UML, software design, mandatory access control
42	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Linking CSP-OZ with UML and Java: A Case Study.	IFM	2004	DBLP DOI BibTeX RDF	Java, UML, CSP, assertions, Object-Z, runtime checking
42	Dazhou Kang, Baowen Xu, Jianjiang Lu, William C. Chu	A Complexity Measure for Ontology Based on UML.	FTDCS	2004	DBLP DOI BibTeX RDF	Ontology, UML, class diagrams, complexity measure
42	Jorge Enrique Pérez-Martínez	Heavyweight extensions to the UML metamodel to describe the C3 architectural style.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF	C3 style, UML, component, metamodel, role, connector, port
42	Mathupayas Thongmak, Pornsiri Muenchaisri	Design of Rules for Transforming UML Sequence Diagrams into Java code.	APSEC	2002	DBLP DOI BibTeX RDF	UML, Class diagrams, Sequence diagrams, Transformation rules
42	Helen Treharne	Supplementing a UML Development Process with B.	FME	2002	DBLP DOI BibTeX RDF	B-Method, Stereotyping, UML Class Diagrams
42	Dongxi Jin, David C. Levy	An approach to schedulability analysis of UML-based real-time systems design.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	unified modeling language (UML), real-time schedulability, transaction model
42	Joseph Gil, John Howse, Stuart Kent 0001	Advanced visual modelling: beyond UML.	ICSE	2002	DBLP DOI BibTeX RDF	UML
42	Hung Ledang, Jeanine Souquières	Modeling Class Operations in B: Application to UML Behavioral Diagrams.	ASE	2001	DBLP DOI BibTeX RDF	class operation, B abstract machine(BAM), B operation, UML, B method
42	Edward Lank, Jeb S. Thorley, Sean Jy-Shyang Chen	An interactive system for recognizing hand drawn UML diagrams.	CASCON	2000	DBLP BibTeX RDF	UML
42	Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h	UMLAUT: An Extendible UML Transformation Framework.	ASE	1999	DBLP DOI BibTeX RDF	UML Tools, Validation Tools, Object-Orientation, Functional Programming, Model Transformation, Formal techniques
42	Rallis Farfarakis	Octopus/UML: Combining Objects with Real-Time.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	Octopus, UML, real-time, object-orientation, method
42	Jan Pettersen Nytun, Christian S. Jensen	Modeling and Testing Legacy Data Consistency Requirements.	UML	2003	DBLP DOI BibTeX RDF
42	Pierre Metz, John O'Brien, Wolfgang Weber 0006	Against Use Case Interleaving.	UML	2001	DBLP DOI BibTeX RDF
42	Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper 0001, H. B. M. Jonkers	A Specification Model for Interface Suites.	UML	2001	DBLP DOI BibTeX RDF
42	María Victoria Cengarle, Alexander Knapp	A Formal Semantics for OCL 1.4.	UML	2001	DBLP DOI BibTeX RDF
42	Heinrich Hußmann, Birgit Demuth, Frank Finger	Modular Architecture for a Toolset Supporting OCL.	UML	2000	DBLP DOI BibTeX RDF
42	Colin Atkinson 0001, Thomas Kühne 0001	Strict Profiles: Why and How.	UML	2000	DBLP DOI BibTeX RDF
42	David Garlan, Andrew Kompanek	Reconciling the Needs of Architectural Description with Object-Modeling Notations.	UML	2000	DBLP DOI BibTeX RDF
42	H. Abie, Demissie B. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin	Integrating a Security Requirement Language with UML.	UML	2004	DBLP DOI BibTeX RDF
42	Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mori, Sul Sejeon, Shuusuke Haruna	Test Driven Development of UML Models with SMART Modeling System.	UML	2004	DBLP DOI BibTeX RDF
42	José Ambrosio Toval Álvarez	Workshops at the UML 2004 Conference.	UML	2004	DBLP DOI BibTeX RDF
42	Michal Smialek	Profile Suite for Model Transformations on the Computation Independent Level.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
42	Gonzalo Génova, Juan Llorens Morillo, Pierre Metz, Rubén Prieto-Díaz, Hernán Astudillo	Open Issues in Industrial Use Case Modeling.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
42	Alan Hartman, Kenneth Nagin	The AGEDIS Tools for Model Based Testing.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
42	Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic	SVERTS - Specification and Validation of Real-Time and Embedded Systems.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
42	Dominik Stein, Jörg Kienzle, Mohamed Kandé	5th International Workshop on Aspect-Oriented Modeling.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
42	Carlos Videira, Joáo Leonardo Carmo, Alberto Rodrigues da Silva	The ProjectIT-RSL Language Overview.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
42	Gregor Engels, Reiko Heckel, Jochen Malte Küster	The Consistency Workbench: A Tool for Consistency Management in UML-Based Development.	UML	2003	DBLP DOI BibTeX RDF
42	Ana M. D. Moreira	Workshops at the UML 2003 Conference.	UML	2003	DBLP DOI BibTeX RDF
42	Jon Whittle 0001	Workshops and Tutorials at the UML 2002 Conference.	UML	2002	DBLP DOI BibTeX RDF
42	Tim Schattkowsky, Marc Lohmann	Rapid Development of Modular Dynamic Web Sites Using UML.	UML	2002	DBLP DOI BibTeX RDF	WWW, Unified Modeling Language, Code Generation, Hypermedia, Object-Oriented Design
42	Friedrich Steimann, Thomas Kühne 0001	A Radical Reduction of UML's Core Semantics.	UML	2002	DBLP DOI BibTeX RDF
42	Sergio Luján-Mora, Juan Trujillo 0001, Il-Yeol Song	Extending the UML for Multidimensional Modeling.	UML	2002	DBLP DOI BibTeX RDF
42	Thorsten Sturm, Jesco von Voss, Marko Boger	Generating Code from UML with Velocity Templates.	UML	2002	DBLP DOI BibTeX RDF
42	Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker	Configuration Knowledge Representation Using UML/OCL.	UML	2002	DBLP DOI BibTeX RDF
42	Jan Øyvind Aagedal, Earl F. Ecklund Jr.	Modelling QoS: Towards a UML Profile.	UML	2002	DBLP DOI BibTeX RDF
42	Mei-Huei Tang, Mei-Hwa Chen	Measuring OO Design Metrics from UML.	UML	2002	DBLP DOI BibTeX RDF
42	Marlon Dumas, Arthur H. M. ter Hofstede	UML Activity Diagrams as a Workflow Specification Language.	UML	2001	DBLP DOI BibTeX RDF
42	Heinrich Hußmann	Workshops and Tutorials at the UML 2001 Conference.	UML	2001	DBLP DOI BibTeX RDF
42	Gerson Sunyé, Damien Pollet, Yves Le Traon, Jean-Marc Jézéquel	Refactoring UML Models.	UML	2001	DBLP DOI BibTeX RDF