Search results for "UML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	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	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	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	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	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
41	Anneke Kleppe, Jos Warmer	Making UML Activity Diagrams Object-Oriented.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	UML metamodel, UML semantics, UML, constraints, information hiding, delegation, encapsulation, responsibility, activity diagram, pre- and postconditions, flow diagrams
41	Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang	A reconfiguration pattern for distributed embedded systems.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	UML profiles and patterns, Specification PEARL, Embedded systems, Real-time, Distributed, Dynamic reconfiguration, UML-RT
41	Ghislain Lévesque, Valery Bevo, De Tran-Cao	Estimating software size with UML models.	C3S2E	2008	DBLP DOI BibTeX RDF	UML use case, function point, productivity model, UML sequence diagram, software size estimation
38	Nenad Marovac	UML based embedded documentation for semi-automatic software development.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	flagged sentences, modeling, software engineering, UML, UML
38	H. Van Dyke Parunak, James Odell	Representing social structures in UML.	Agents	2001	DBLP DOI BibTeX RDF	AALAADIN, holarchy, UML, UML, protocols, dependencies, organizations, AUML
38	Heinz Faßbender	Reengineering an Ada95-programmed command and control information system by using UML.	SIGAda	2001	DBLP DOI BibTeX RDF	modeling, UML, UML, Ada, Reengineering, case tools
38	Robert B. France	A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts.	OOPSLA	1999	DBLP DOI BibTeX RDF	precise semantics, requirements class diagrams, UML, UML, Z
38	Sergejus Sosunovas, Olegas Vasilecas	Tool-Supported Method for the Extraction of OCL from ORM Models.	BIS	2007	DBLP DOI BibTeX RDF	UML, metamodel, OCL, ORM
38	Hui Du, Renchu Gan, Kecheng Liu, Zhenji Zhang, Darren Booy	Method for Constructing Performance Annotation Model Based on Architecture Design of Information Systems.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Annotation model, Performance, UML, Information system, Architecture design
38	Jing Dong 0005, Sheng Yang 0002, Kang Zhang 0001	VisDP: A Web Service for Visualizing Design Patterns on Demand.	ITCC (2)	2005	DBLP DOI BibTeX RDF	web service, UML, Design pattern, software visualization, visual tool
38	Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song	Using Role-Based Modeling Language (RBML) to Characterize Model Families.	ICECCS	2002	DBLP DOI BibTeX RDF	Object-oriented design models, role-based modeling language, UML, software reuse
38	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems.	MoDELS	2009	DBLP DOI BibTeX RDF	genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis
38	Jürgen Dingel, Zinovy Diskin, Alanna Zito	Understanding and improving UML package merge.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Semantics formalization, Metamodeling techniques, UML, Model composition
38	Igor Siveroni, Andrea Zisman, George Spanoudakis	Property Specification and Static Verification of UML Models.	ARES	2008	DBLP DOI BibTeX RDF	Model Checking, UML, Spin, Static Verification
38	Mirco Tribastone, Stephen Gilmore	Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile.	WOSP	2008	DBLP DOI BibTeX RDF	pepa, uml, marte
38	Sun Meng, Luís Soares Barbosa	A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams.	QSIC	2008	DBLP DOI BibTeX RDF	UML, Algebra, Sequence diagram, Coalgebra
38	Jan Jürjens, Pasha Shabalin	Tools for secure systems development with UML.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Security, UML, Formal verification, Tool-support, Model-based development
38	Leandro Soares Indrusiak, Manfred Glesner	Specification of alternative execution semantics of UML sequence diagrams within actor-oriented models.	SBCCI	2007	DBLP DOI BibTeX RDF	actor-orientation, UML, embedded systems, sequence diagram, message sequence charts, electronic system level
38	Iulian Ober, Susanne Graf, Ileana Ober	Validating timed UML models by simulation and verification.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Model checking, UML, Real-time, Object oriented, Observer, Timed automata
38	Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Petia Wohed	On the suitability of UML 2.0 activity diagrams for business process modelling.	APCCM	2006	DBLP BibTeX RDF	UML
38	Shin Nakajima 0001, Tetsuo Tamai	Aspect-oriented software design with a variant of UML/STD.	SCESM	2006	DBLP DOI BibTeX RDF	UML, SPIN, state diagrams, join point model
38	David N. Jansen, Holger Hermanns	QoS modelling and analysis with UML-statecharts: the StoCharts approach.	SIGMETRICS Perform. Evaluation Rev.	2005	DBLP DOI BibTeX RDF	UML
38	Shahid Nazir Bhatti	Why quality?: ISO 9126 software quality metrics (Functionality) support by UML suite.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	UML
38	Vladimir L. Pavlov, Anton Yatsenko	"The Babel experiment": an advanced pantomime-based training in OOA&OOD with UML.	SIGCSE	2005	DBLP DOI BibTeX RDF	hands-on training, pantomime, UML, unified modeling language, OOP, software development, object-oriented design, IT-education, object-oriented analysis, OOD, OOA
38	Scott R. Tilley, Steve Murphy, Shihong Huang	5th international workshop on graphical documentation: determining the barriers to adoption of UML diagrams.	SIGDOC	2005	DBLP DOI BibTeX RDF	UML, adoption, style, graphical documentation
38	Siros Supavita, Taratip Suwannasart	Testing Polymorphic Interactions in UML Sequence Diagrams.	ITCC (2)	2005	DBLP DOI BibTeX RDF	UML, Software Testing, Object-Oriented, Polymorphism, Sequence Diagram
38	Matteo Pradella, Matteo Rossi 0001, Dino Mandrioli	ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.	FORTE	2005	DBLP DOI BibTeX RDF	UML, real-time, software architecture, formal methods
38	Qiang Zhu 0005, Ryosuke Oishi, Takashi Hasegawa, Tsuneo Nakata	System-on-chip validation using UML and CWL.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	specification modeling, UML, validation and verification, verification process
38	Marcela Genero, Mario Piattini, M. Esperanza Manso	Finding "Early" Indicators of UML Class Diagrams Understandability and Modifiability.	ISESE	2004	DBLP DOI BibTeX RDF	UML, metrics, prediction models, maintainability, controlled experiments, size, class diagrams, empirical validation, understandability, structural complexity, modifiability
38	Petri Selonen, Jianli Xu	Validating UML models against architectural profiles.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	architectural validation, UML, profiles
38	Simona Bernardi 0001, Susanna Donatelli, José Merseguer	From UML sequence diagrams and statecharts to analysable petrinet models.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	modeling, UML, compositionality, GSPN
38	Clinton Heinze, Leon Sterling	Using the UML to model knowledge in agent systems.	AAMAS	2002	DBLP DOI BibTeX RDF	UML, agents, knowledge representation
38	Petri Selonen, Kai Koskimies, Markku Sakkinen	How to Make Apples from Oranges in UML.	HICSS	2001	DBLP DOI BibTeX RDF	UML, model transformation
38	Stephen Morris, George Spanoudakis	UML: An Evaluation of the Visual Syntax of the Language.	HICSS	2001	DBLP DOI BibTeX RDF	graphic syntax, notational systems, notational schemes, UML, visual language, software modeling
38	Philippe Leblanc, Ileana Ober	Comparative Case Study in SDL and UML.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	SDL-2000, real-time engineering, modeling, design, UML, object-oriented, SDL
38	Prasanta K. Bose	Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN.	ASE	1999	DBLP DOI BibTeX RDF	Model Checking, UML, Architecture, Security Protocol, Model Translation
38	Raoudha Ben Djemaa, Ikram Amous, Abdelmajid Ben Hamadou	Use case and meta-scenarios for modelling Adaptive Web Applications.	ICDIM	2006	DBLP DOI BibTeX RDF
38	Guoqiang Shu, Chao Li, Qing Wang 0001, Mingshu Li 0001	Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata.	IEEE International Workshop on Rapid System Prototyping	2002	DBLP DOI BibTeX RDF
38	Daniel L. Moody, Jos van Hillegersberg	Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UMLFamily of Diagrams.	SLE	2008	DBLP DOI BibTeX RDF
38	Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh 0002, P. Vignesh V. Ganesan	A Dynamic Assertion-Based Verification Platform for Validation of UML Designs.	ATVA	2008	DBLP DOI BibTeX RDF
38	Wenjun Deng, Yiwen Liang	Reason on UML Diagrams with Answer Set Programming.	CSSE (1)	2008	DBLP DOI BibTeX RDF
38	Ariadi Nugroho, Michel R. V. Chaudron	A survey into the rigor of UML use and its perceived impact on quality and productivity.	ESEM	2008	DBLP DOI BibTeX RDF	unified modeling language, consistency, level of detail, completeness, correspondence
38	Bran Selic	A Systematic Approach to Domain-Specific Language Design Using UML.	ISORC	2007	DBLP DOI BibTeX RDF
38	Yifeng Sun, David Levy 0001	Suggestions on Pattern Transformation in UML-RT.	ICSEA	2007	DBLP DOI BibTeX RDF
38	Ingo Feinerer, Gernot Salzer	Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints.	TASE	2007	DBLP DOI BibTeX RDF
38	Mohammed Hussein, Mohammad Zulkernine	UMLintr: A UML Profile for Specifying Intrusions.	ECBS	2006	DBLP DOI BibTeX RDF
38	Yoshiyuki Shinkawa	Inter-Model Consistency in UML Based on CPN Formalism.	APSEC	2006	DBLP DOI BibTeX RDF
38	Mira Balaban, Azzam Maraee	Consistency of UML Class Diagrams with Hierarchy Constraints.	NGITS	2006	DBLP DOI BibTeX RDF
38	Harald Fecher, Jens Schönborn	UML 2.0 State Machines: Complete Formal Semantics Via core state machine.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
38	Luigi Lavazza, Vieri Del Bianco	Combining Problem Frames and UML in the Description of Software Requirements.	FASE	2006	DBLP DOI BibTeX RDF
38	Thomas Raimbault, David Genest, Stéphane Loiseau	A New Method to Interrogate and Check UML Class Diagrams.	ICCS	2005	DBLP DOI BibTeX RDF
38	José Raúl Romero, Antonio Vallecillo	Modeling the ODP Computational Viewpoint with UML 2.0.	EDOC	2005	DBLP DOI BibTeX RDF
38	Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong	Model-Driven SoC Design via Executable UML to SystemC.	RTSS	2004	DBLP DOI BibTeX RDF
38	Stefan Leue, Richard Mayr, Wei Wei 0015	A Scalable Incomplete Test for the Boundedness of UML RT Models.	TACAS	2004	DBLP DOI BibTeX RDF
38	Gerardo Padilla, Miguel A. Serrano, Carlos Montes de Oca	A UML Sequence Diagram Extension to Handle Multiplicities.	ENC	2004	DBLP DOI BibTeX RDF
38	Lionel C. Briand, Yvan Labiche, Leeshawn O'Sullivan	Impact Analysis and Change Management of UML Models.	ICSM	2003	DBLP DOI BibTeX RDF
38	Stephan Bourduas, Ferhat Khendek, Daniel Vincent	From MSC and UML to SDL.	COMPSAC	2002	DBLP DOI BibTeX RDF
38	Wuwei Shen, Kevin J. Compton, James Huggins	A Toolset for Supporting UML Static and Dynamic Model Checking.	COMPSAC	2002	DBLP DOI BibTeX RDF
38	Wei Dong 0006, Ji Wang 0001, Xuan Qi, Zhichang Qi	Model Checking UML Statecharts.	APSEC	2001	DBLP DOI BibTeX RDF
38	Regine Laleau, Fiona Polack	A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems.	CAiSE	2001	DBLP DOI BibTeX RDF
38	Pascal Rapicault, Jean-Paul Rigault	Open Implementation of UML Meta-model(s).	Reflection	2001	DBLP DOI BibTeX RDF
38	Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim	A CSP View on UML-RT Structure Diagrams.	FASE	2001	DBLP DOI BibTeX RDF
38	Gianna Reggio, Maura Cerioli, Egidio Astesiano	Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.	FASE	2001	DBLP DOI BibTeX RDF
38	Rainer Conrad, Dieter Scheffner, Johann Christoph Freytag	XML Conceptual Modeling Using UML.	ER	2000	DBLP DOI BibTeX RDF
38	Miguel de Miguel, Thomas Lambolais, Sophie Piekarec, Stéphane Betgé-Brezetz, Jérôme Péquery	Automatic Generation of Simulation Models for the Evaluation of Performance and Reliability of Architectures Specified in UML.	EDO	2000	DBLP DOI BibTeX RDF
38	Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel	Using UML for Software Process Modeling.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF	Software Engineering Tools and Environments, Software Process Models
38	Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler	Modeling Business Processes in Web Applications with ArgoUWE.	UML	2004	DBLP DOI BibTeX RDF
38	Eduardo Fernández-Medina, Mario Piattini	Extending OCL for Secure Database Development.	UML	2004	DBLP DOI BibTeX RDF
38	Dominik Stein, Stefan Hanenberg, Rainer Unland	Query Models.	UML	2004	DBLP DOI BibTeX RDF
38	Luis E. Anido-Rifón, Manuel Caeiro, Judith S. Rodríguez, Juan Manuel Santos	Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning.	UML	2002	DBLP DOI BibTeX RDF
38	David H. Akehurst, Stuart Kent 0001	A Relational Approach to Defining Transformations in a Metamodel.	UML	2002	DBLP DOI BibTeX RDF
38	Miguel de Miguel, Jean Jourdan, Serge Salicki	Practical Experiences in the Application of MDA.	UML	2002	DBLP DOI BibTeX RDF
38	James E. Rumbaugh	The Preacher at Arrakeen.	UML	2001	DBLP DOI BibTeX RDF
38	José M. Álvarez 0003, Tony Clark 0001, Andy Evans, Paul Sammut	An Action Semantics for MML.	UML	2001	DBLP DOI BibTeX RDF
38	Perdita Stevens	On Associations in the Unified Modelling Language.	UML	2001	DBLP DOI BibTeX RDF
38	Alain Wegmann, Guy Genilloud	The Roles of "Roles" in Use Case Diagrams.	UML	2000	DBLP DOI BibTeX RDF
38	José Uetanabara Júnior, Rosângela Dellosso Penteado, Valter Vieira de Camargo	An overview and an empirical evaluation of UML-AOF: an UML profile for aspect-oriented frameworks.	SAC	2010	DBLP DOI BibTeX RDF	crosscutting framework profile, crosscutting frameworks, reuse, aspect-oriented framework
38	Rafael de Almeida Naufal, Fábio F. Silveira, Eduardo Martins Guerra	A Collaborative Support Approach on UML Sequence Diagrams for Aspect-Oriented Software.	ER Workshops	2009	DBLP DOI BibTeX RDF
38	Temenushka Ignatova, Ilvio Bruder	Utilizing a Multimedia UML Framework for an Image Database Application.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
38	Juan Trujillo 0001	Preface to BP-UML 2005.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
38	Moreno Marzolla, Simonetta Balsamo	UML-PSI: The UML Performance Simulator.	QEST	2004	DBLP DOI BibTeX RDF
38	Dorina C. Petriu, Hui Shen	Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
38	Øystein Haugen	From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams.	SDL Forum	2001	DBLP DOI BibTeX RDF
38	Martin Giese, Rogardt Heldal	From Informal to Formal Specifications in UML.	UML	2004	DBLP DOI BibTeX RDF
38	Lionel C. Briand, Jim Cui, Yvan Labiche	Towards Automated Support for Deriving Test Data from UML Statecharts.	UML	2003	DBLP DOI BibTeX RDF
38	Alexander Christoph, Matthias M. Müller	GREAT: UML Transformation Tool for Porting Middleware Applications.	UML	2003	DBLP DOI BibTeX RDF
38	Cris Kobryn	Architectural Patterns for Metamodeling: A Hitchhikers Guide to the UML Metaverse.	UML	2000	DBLP DOI BibTeX RDF