Search results for "UML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
46	Alberto Rodrigues da Silva	Tools Exhibits.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
46	Philipp Graf, Clemens Reichmann, Klaus D. Müller-Glaser	Towards a Platform for Debugging Executed UML-Models in Embedded Systems.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
46	Pedro F. Campos, Nuno Jardim Nunes	A UML-Based Tool for Designing User Interfaces.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
46	Anna Derezinska, Romuald Pilitowski	Interpretation of History Pseudostates in Orthogonal States of UML State Machines.	NGITS	2009	DBLP DOI BibTeX RDF	UML state machines, orthogonal regions, semantic variation points, UML code execution, statecharts, history
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	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	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
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	Alan D. Sloane	Modeling deployment and configuration of CORBA systems with UML (poster).	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, CORBA, system configuration
43	Hassan Gomaa	Designing real-time and distributed applications with the UML (tutorial session).	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, real-time, software design, distributed application
43	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
43	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
43	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
43	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
43	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
43	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
43	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
43	Xiangpeng Zhao, Quan Long, Zongyan Qiu	Model Checking Dynamic UML Consistency.	ICFEM	2006	DBLP DOI BibTeX RDF	Simulation, Algorithm, Model Checking, UML, Semantics, Consistency
43	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
43	Atanas Rountev, Olga Volgin, Miriam Reddoch	Static control-flow analysis for reverse engineering of UML sequence diagrams.	PASTE	2005	DBLP DOI BibTeX RDF	UML
43	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
43	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
43	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
43	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
43	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
43	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
43	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
43	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
43	Joseph Gil, John Howse, Stuart Kent 0001	Advanced visual modelling: beyond UML.	ICSE	2002	DBLP DOI BibTeX RDF	UML
43	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
43	Edward Lank, Jeb S. Thorley, Sean Jy-Shyang Chen	An interactive system for recognizing hand drawn UML diagrams.	CASCON	2000	DBLP BibTeX RDF	UML
43	Rallis Farfarakis	Octopus/UML: Combining Objects with Real-Time.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	Octopus, UML, real-time, object-orientation, method
43	Marcus Alanen, Ivan Porres	Difference and Union of Models.	UML	2003	DBLP DOI BibTeX RDF	delta calculation, revision control, UML, metamodelling
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	Jan Pettersen Nytun, Christian S. Jensen	Modeling and Testing Legacy Data Consistency Requirements.	UML	2003	DBLP DOI BibTeX RDF
43	Pierre Metz, John O'Brien, Wolfgang Weber 0006	Against Use Case Interleaving.	UML	2001	DBLP DOI BibTeX RDF
43	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
43	María Victoria Cengarle, Alexander Knapp	A Formal Semantics for OCL 1.4.	UML	2001	DBLP DOI BibTeX RDF
43	Heinrich Hußmann, Birgit Demuth, Frank Finger	Modular Architecture for a Toolset Supporting OCL.	UML	2000	DBLP DOI BibTeX RDF
43	Colin Atkinson 0001, Thomas Kühne 0001	Strict Profiles: Why and How.	UML	2000	DBLP DOI BibTeX RDF
43	David Garlan, Andrew Kompanek	Reconciling the Needs of Architectural Description with Object-Modeling Notations.	UML	2000	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
43	H. Abie, Demissie B. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin	Integrating a Security Requirement Language with UML.	UML	2004	DBLP DOI BibTeX RDF
43	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
43	José Ambrosio Toval Álvarez	Workshops at the UML 2004 Conference.	UML	2004	DBLP DOI BibTeX RDF
43	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
43	Ana M. D. Moreira	Workshops at the UML 2003 Conference.	UML	2003	DBLP DOI BibTeX RDF
43	Jon Whittle 0001	Workshops and Tutorials at the UML 2002 Conference.	UML	2002	DBLP DOI BibTeX RDF
43	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
43	Friedrich Steimann, Thomas Kühne 0001	A Radical Reduction of UML's Core Semantics.	UML	2002	DBLP DOI BibTeX RDF
43	Sergio Luján-Mora, Juan Trujillo 0001, Il-Yeol Song	Extending the UML for Multidimensional Modeling.	UML	2002	DBLP DOI BibTeX RDF
43	Thorsten Sturm, Jesco von Voss, Marko Boger	Generating Code from UML with Velocity Templates.	UML	2002	DBLP DOI BibTeX RDF
43	Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker	Configuration Knowledge Representation Using UML/OCL.	UML	2002	DBLP DOI BibTeX RDF
43	Jan Øyvind Aagedal, Earl F. Ecklund Jr.	Modelling QoS: Towards a UML Profile.	UML	2002	DBLP DOI BibTeX RDF
43	Mei-Huei Tang, Mei-Hwa Chen	Measuring OO Design Metrics from UML.	UML	2002	DBLP DOI BibTeX RDF
43	Marlon Dumas, Arthur H. M. ter Hofstede	UML Activity Diagrams as a Workflow Specification Language.	UML	2001	DBLP DOI BibTeX RDF
43	Heinrich Hußmann	Workshops and Tutorials at the UML 2001 Conference.	UML	2001	DBLP DOI BibTeX RDF
43	Gerson Sunyé, Damien Pollet, Yves Le Traon, Jean-Marc Jézéquel	Refactoring UML Models.	UML	2001	DBLP DOI BibTeX RDF
43	Vincenzo Grassi, Raffaela Mirandola	UML Modelling and Performance Analysis of Mobile Software Architectures.	UML	2001	DBLP DOI BibTeX RDF	Mobile components, Distributed systems, Performance analysis, Extensions, Architecture modelling
43	Torben Weis, Christian Becker 0001, Kurt Geihs, Noël Plouzeau	A UML Meta-model for Contract Aware Components.	UML	2001	DBLP DOI BibTeX RDF
43	Masaaki Mizuno, Gurdip Singh, Mitchell L. Neilsen	A Structured Approach to Develop Concurrent Programs in UML.	UML	2000	DBLP DOI BibTeX RDF
43	Alexander Felfernig, Dietmar Jannach, Markus Zanker	Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML.	UML	2000	DBLP DOI BibTeX RDF
43	Miro Casanova, Thomas Wallet, Maja D'Hondt	Ensuring Quality of Geographic Data with UML and OCL.	UML	2000	DBLP DOI BibTeX RDF
43	Siobhán Clarke	Composing Design Models: An Extension to the UML.	UML	2000	DBLP DOI BibTeX RDF
42	Elena Gómez-Martínez, José Merseguer	ArgoSPE: Model-Based Software Performance Engineering.	ICATPN	2006	DBLP DOI BibTeX RDF	UML-SPT, UML, software performance evaluation, GSPN
42	Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio	A UML 2.0 profile for SystemC: toward high-level SoC design.	EMSOFT	2005	DBLP DOI BibTeX RDF	model-driven system on chip design, UML, embedded systems, SystemC, UML profiles
42	Heiko van Elsuwe, Doris Schmedding	Metriken für UML-Modelle.	Inform. Forsch. Entwickl.	2003	DBLP DOI BibTeX RDF	Evaluation, Design, UML, Education, Metrics, Analysis, Process model, UML diagrams, Object oriented software development
42	Jan Jürjens	A UML statecharts semantics with message-passing.	SAC	2002	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), UML, message-passing, statecharts, formal semantics, executable specifications
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	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	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