Search results for "UML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Harald Störrle	Semantics of Control-Flow in UML 2.0 Activities.	VL/HCC	2004	DBLP DOI BibTeX RDF	denotational and compositional semantics, modeling of web-services, work-flows and service-oriented architectures, Activity Diagrams, UML 2.0
28	Katerina Goseva-Popstojanova, Ahmed E. Hassan, Ajith Guedem, Walid Abdelmoez, Diaa Eldin M. Nassar, Hany H. Ammar, Ali Mili 0001	Architectural-Level Risk Analysis Using UML.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	dynamic complexity, dynamic coupling, severity of failure, software architecture, Markov model, Risk assessment, UML specification
28	Siti Hafizah Ab Hamid, Tan Yoke Pei, Nazean Jomhari	Object oriented analysis and UML design in the development of accommodation services system.	ISICT	2003	DBLP BibTeX RDF	UML design, accommodation services system, object-oriented analysis
28	Zhe Zhang, Xiaoyuan Huang, Liang Zhang	Constructing UML Galaxy Diagram for Conceptual Data Integration in Web Mining.	IDEAL	2003	DBLP DOI BibTeX RDF	UML galaxy diagram, conceptual data integration, XML, e-commerce, Web mining
28	Dragan Milicev	Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	model-based output generation, automatic model transformation, model-based translation, Unified Modeling Language (UML), metamodeling, object-oriented modeling, domain-specific modeling, modeling tool, object diagram
28	Ralf Kollmann, Martin Gogolla	Metric-Based Selective Representation of UML Diagrams.	CSMR	2002	DBLP DOI BibTeX RDF	Reverse Engineering, Software Metrics, Program Visualization, UML Class Diagrams
28	Vittorio Cortellessa, Harshinder Singh, Bojan Cukic	Early reliability assessment of UML based software models.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	bayesian reliability prediction, component based systems, UML models, reliability assessment
28	Werner Damm, Bengt Jonsson 0001	Eliminating Queues from RT UML Model Representations.	FTRTFT	2002	DBLP DOI BibTeX RDF	RT UML, verification of infinite state systems, protocol verification, Real-time distributed systems
28	Reiko Heckel, Stefan Sauer 0001	Strengthening UML Collaboration Diagrams by State Transformations.	FASE	2001	DBLP DOI BibTeX RDF	UML collaboration diagrams, pre/postconditions, graph process, graph transformation
28	Soon-Kyeong Kim, David A. Carrington	An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.	APSEC	2000	DBLP DOI BibTeX RDF	lighting control, Object-Z specifications, precise understandable specification, light control system, graphical specification technique, formal specification technique, semantic translation, real-time interactive embedded system, Unified Modeling Language, formal specification, case study, specification languages, systems analysis, object-oriented languages, object-oriented methods, diagrams, requirements elicitation, sequence diagrams, functional model, UML diagrams, integrated framework, use case diagrams, statechart diagrams
28	Toshihiko Tsumaki, Yoshitomi Morisawa	A framework of requirements tracing using UML.	APSEC	2000	DBLP DOI BibTeX RDF	industrial-standard visual modeling language, Object Management Group, model changes, change tracking, influence analysis, production sequence, model element correction, Unified Modeling Language, software development, specification languages, systems analysis, visual languages, diagrams, UML diagrams, requirements tracing, model searching
27	Rogério F. da Silva, Alexandre A. Giron, Itana M. S. Gimenes	SyMPLES: Embedded Systems Design with SMarty.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Anderson Silva Marcolino, Thais S. Nepomuceno, Lilian P. Scatalon, Edson OliveiraJr	Experimentally Based Evaluations of the SMarty Approach.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Edson OliveiraJr, André Felipe R. Cordeiro, Itana M. S. Gimenes, José Carlos Maldonado	The SystEM-PLA Evaluation Method.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Marcio H. G. Bera, Thelma Elita Colanzi, Edson OliveiraJr, Nelson Tenório, Willian Marques Freire, Aline Maria Malachini Miotto Amaral	Product-Line Architecture Designing with SMartyComponents.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Viviane R. Furtado, Henrique Vignando, Carlos Danilo Luz, Igor Fabio Steinmacher, Marcos Kalinowski, Edson OliveiraJr	Controlled Experimentation of Software Product Lines.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Luciane Baldo Nicolodi, Aline Maria Malachini Miotto Amaral, Edson OliveiraJr, Thelma Elita Colanzi	Preventing Feature Interaction with Optimization Algorithms.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	André Felipe R. Cordeiro, Leandro F. Silva, Edson OliveiraJr	Maintainability Metrics for PLA Evaluation Based on ISO/IEC 25010.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Giovanna C. S. Bettin, Ricardo Theis Geraldi, Edson OliveiraJr	Model-Based Inspections of Software Product Lines.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Elder M. Rodrigues, Avelino F. Zorzo, Luciano Marchezan	PLeTs: A Software Product Line for Testing Tools.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Edson OliveiraJr, Leandro F. Silva, Anderson Silva Marcolino, Thais S. Nepomuceno, André Felipe R. Cordeiro, Rodrigo Pereira dos Santos	Designing, Tracing, and Configuring Software Product Lines with SMarty.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Kleber Lopes Petry, Edson OliveiraJr, Leandro Teodoro Costa, Aline Zanin, Avelino Francisco Zorzo	Model-Based Testing of Software Product Lines.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Crescencio Lima, Thelma Elita Colanzi, Matthias Galster, Ivan Machado, Edson OliveiraJr	Software Product Line Architectures.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Maicon G. Pazin, Jaime W. Dias, Edson OliveiraJr, Fellipe Araújo Aleixo, Uirá Kulesza, Eldânae Nogueira Teixeira	Variability Representation in Software Process with the SMartySPEM Approach.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Thelma Elita Colanzi, Mamoru Massago, Silvia Regina Vergilio	Optimizing Product-Line Architectures with MOA4PLA.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Venilton Falvo Junior, Anderson Silva Marcolino, Nemésio Freitas Duarte Filho, Edson OliveiraJr, Ellen F. Barbosa	M-SPLearning: A Software Product Line for Mobile Learning Applications.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Elder M. Rodrigues, Avelino F. Zorzo	PlugSPL: An Environment to Support SPL Life Cycle.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Edson OliveiraJr, David Benavides 0001	Principles of Software Product Lines.	UML-Based Software Product Line Engineering with SMarty	2023	DBLP DOI BibTeX RDF
27	Kevin Lano	The Role of Semantics.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe	Definition of the System Model.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Kevin Lano	Model Transformation Specification and Verification.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Kevin Lano, David Clark 0001	Axiomatic Semantics of State Machines.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Kevin Lano	Introduction to the Unified Modeling Language.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	María Victoria Cengarle, Alexander Knapp, Heribert Mühlberger	Interactions.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Sun Meng, Luís Soares Barbosa	Co-Algebraic Semantic Framework for Reasoning about Interaction Designs.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Anneke Kleppe	Object Constraint Language: Metamodeling Semantics.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Emil Sekerinski	Design Verification with State Invariants.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Kevin Lano	Semantics of Activity Diagrams.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Mika Siikarla, Jari Peltonen, Petri Selonen	Combining OCL and Programming Languages for UML Model Processing.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
27	Dan Chiorean, Mihai Pasca, Adrian Cârcu, Cristian Botiza, Sorin Moldovan	Ensuring UML Models Consistency Using the OCL Environment.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
27	Sten Loecher, Stefan Ocke	A Metamodel-Based OCL-Compiler for UML and MOF.	OCL 2.0 @ UML	2003	DBLP DOI BibTeX RDF
27	David Harel, P. S. Thiagarajan	Message Sequence Charts.	UML for Real	2003	DBLP DOI BibTeX RDF
27	Leo Motus	Modeling Metric Time.	UML for Real	2003	DBLP DOI BibTeX RDF
27	Bruce Powel Douglass	Fine Grained Patterns for Real-Time Systems.	UML for Real	2003	DBLP DOI BibTeX RDF
27	Bran Selic	Architectural Patterns for Real-Time Systems.	UML for Real	2003	DBLP DOI BibTeX RDF
27	Connie U. Smith, Lloyd G. Williams	Software Performance Engineering.	UML for Real	2003	DBLP DOI BibTeX RDF
27	Martin Gogolla, Mark Richters	On Constraints and Queries in UML.	UML Workshop	1997	DBLP BibTeX RDF
27	Rony Flatscher	Exchange of UML-Models with EIA/CDIF.	UML Workshop	1997	DBLP BibTeX RDF
27	Axel Korthaus	Using UML for Business Object Based Systems Modeling.	UML Workshop	1997	DBLP BibTeX RDF
27	Andy Schürr, Andreas J. Winter 0001	Formal Definition of UML's Package Concept.	UML Workshop	1997	DBLP BibTeX RDF
27	Michael Prasse	Evaluation of Object-Oriented Modelling Languages: A Comparison Between OML and UML.	UML Workshop	1997	DBLP BibTeX RDF
27	Martin Wolf 0002, Rainer Burkhardt, Ilka Philippow	Software Engineering Process with the UML.	UML Workshop	1997	DBLP BibTeX RDF
27	Markus Nüttgens, Thomas Feld, Volker Zimmermann 0001	Business Process Modeling with EPC and UML: Transformation or Integration?	UML Workshop	1997	DBLP BibTeX RDF
27	Klaus Bergner, Andreas Rausch, Marc Sihling	A Critical Look upon UML 1.0.	UML Workshop	1997	DBLP BibTeX RDF
27	Lore Kern-Bausch, Mario Jeckle	From a Semantically Irreducible Formulated Conceptual Schema to an UML Model.	UML Workshop	1997	DBLP BibTeX RDF
27	Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin	Systems, Views and Models of UML.	UML Workshop	1997	DBLP BibTeX RDF
27	Yongzhen Ou	On Mapping Between UML and Entity-Relationship Model.	UML Workshop	1997	DBLP BibTeX RDF
27	Martin Schader, Axel Korthaus	Modeling Java Threads in UML.	UML Workshop	1997	DBLP BibTeX RDF
27	Wolfgang Weber 0006, Pierre Metz	Reuse of Models and Diagrams of the UML and Implementation Concepts Regarding Dynamic Modeling.	UML Workshop	1997	DBLP BibTeX RDF
27	Andreas Schroff, A. Teichrieb	Conventions for the Practical Use of UML.	UML Workshop	1997	DBLP BibTeX RDF
27	Gunter Müller-Ettrich	System Development with V-Model and UML.	UML Workshop	1997	DBLP BibTeX RDF
27	Eckhardt Holz	Application of UML Within the Scope of New Telecommunication Architectures.	UML Workshop	1997	DBLP BibTeX RDF
27	Vipin Saxena, Deepak Arora	Performance evaluation for object oriented software systems.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	Pentium D, core 2 duo, visual C#, UML class diagram, UML sequence diagram, visual C++
27	Jan Van den Bergh 0001, Karin Coninx	Towards modeling context-sensitive interactive applications: the context-sensitive user interface profile (CUP).	SOFTVIS	2005	DBLP DOI BibTeX RDF	context-sensitive interactive applications, context, UML profile, abstract user interfaces, UML 2.0
24	Sergiu Dascalu, Peter Hitchcock	An approach to integrating semi-formal and formal notations in software specification.	SAC	2002	DBLP DOI BibTeX RDF	Z++, integration of notations, UML, UML, formal methods, object-oriented modeling
24	José Merseguer, Javier Campos, Eduardo Mena	Performance analysis of internet based software retrieval systems using Petri Nets.	MSWiM	2001	DBLP DOI BibTeX RDF	mobile agent technology, internet, UML, UML, wireless networks, stochastic Petri nets, software performance engineering
24	Andrey Berlizev, Nicolas Guelfi	Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations
24	Charles André, Frédéric Mallet	Specification and verification of time requirements with CCSL and Esterel.	LCTES	2009	DBLP DOI BibTeX RDF	synchronous languages, uml, marte, time model
24	Xavier Burgués Illa, Xavier Franch, Josep M. Ribó Balust	Inducing Metaassociations and Induced Relationships.	ER	2009	DBLP DOI BibTeX RDF	UML, Metamodels, MOF
24	Ludovic Menet, Myriam Lamolle	A Model Driven Engineering Approach Applied to Master Data Management.	OTM Workshops	2009	DBLP DOI BibTeX RDF	UML, MDA, Metamodel, XML Schema, MDE, Master Data Management
24	Dominik Gessenharter	Mapping the UML2 Semantics of Associations to a Java Code Generation Model.	MoDELS	2008	DBLP DOI BibTeX RDF	Java, UML, Code Generation, Associations
24	Flávio P. Duarte, William M. Hasling, William Sherman, Daniel J. Paulish, Rosa Maria Meri Leão, Edmundo de Souza e Silva, Vittorio Cortellessa	Extending model transformations in the performance domain with a node modeling library.	WOSP	2008	DBLP DOI BibTeX RDF	performance analysis, model transformations, uml, global software engineering
24	Roman Gumzej, Shourong Lu	Modeling distributed real-time applications with specification PEARL.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	UML, Specification languages, Configuration management, Co-design, Co-simulation, Application modeling, PEARL
24	Thomas Rinke, Thorsten Weyer	Defining Reference Models for Modelling Qualities: How Requirements Engineering Techniques Can Help.	REFSQ	2007	DBLP DOI BibTeX RDF	UML, reference models, quality models, quality requirements
24	Martin Siebenhaller, Michael Kaufmann 0001	Drawing activity diagrams.	SOFTVIS	2006	DBLP DOI BibTeX RDF	UML
24	Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth 0002, Steffen Schlager, Peter H. Schmitt	The KeY tool.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Java, UML, Formal specification, Formal verification, Design patterns, Object-oriented design, OCL
24	Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh 0001	Visual specification and analysis of use cases.	SOFTVIS	2005	DBLP DOI BibTeX RDF	visual notation, model checking, UML, requirements
24	C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan Petriu, Hui Shen, Toqeer Israr, José Merseguer	Performance by unified model analysis (PUMA).	WOSP	2005	DBLP DOI BibTeX RDF	UML, performance models, scenarios, software performance engineering, model building
24	Demissie B. Aredo, Olaf Owe	Model-Based Verification in the Development of Dependable Systems.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Model-based Verification, Model-checking, UML, Formal Methods, PVS, Dependable System
24	Anneke Kleppe	Towards General Purpose, High Level, Software Languages.	ECMDA-FA	2005	DBLP DOI BibTeX RDF	UML, design patterns, programming language, MDA, model transformations, domain specific languages, OCL, Modeling language
24	María Victoria Cengarle, Alexander Knapp	OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	UML, OCL, Formal semantics
24	Ramin Nasiri, Ali Moeini, Ahmad Abdollahzadeh	A New Approach Towards Procurement of Software Models Via Distributed Business Models.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	distributed system, software engineering, UML, fuzzy logic, object oriented, information system, temporal logic, business modeling, unified process
24	Belén Vela, César J. Acuña, Esperanza Marcos	A Model Driven Approach for XML Database Development.	ER	2004	DBLP DOI BibTeX RDF	XML Database Development, UML, Mappings, Model Driven Engineering, XML Schema, Database Design
24	Sergio Luján-Mora, Juan Trujillo 0001	A Data Warehouse Engineering Process.	ADVIS	2004	DBLP DOI BibTeX RDF	software engineering, UML, data warehouse, Unified Process
24	Flora Dilys Salim, Rosanne Price, Maria Indrawan, Shonali Krishnaswamy	Graphical Representation of XML Schema.	APWeb	2004	DBLP DOI BibTeX RDF	UML, reverse engineering, transformation, graphical modelling, XML Schema, conceptual
24	Masataro Shiroiwa, Takao Miura, Isamu Shioya	Meta Model Approach for Mediation.	COMPSAC	2003	DBLP DOI BibTeX RDF	UML, Software Design, Meta Model, DFD
24	María Victoria Cengarle, Alexander Knapp	Towards OCL/RT.	FME	2002	DBLP DOI BibTeX RDF	Real-time systems, UML, events, OCL
24	Luiz Marcio Cysneiros, Julio César Sampaio do Prado Leite	Non-functional requirements: from elicitation to modelling languages.	ICSE	2002	DBLP DOI BibTeX RDF	UML
24	Jaelson Castro, John Mylopoulos, Fernanda M. R. Alencar, Gilberto A. Cysneiros Filho	Integrating Organizational Requirements and Object Oriented Modeling.	RE	2001	DBLP DOI BibTeX RDF	UML, Requirements Modeling, Object Oriented Development, Organizational Modeling
24	Marcela Genero, José A. Olivas, Mario Piattini, Francisco P. Romero 0001	Using Metrics to Predict OO Information Systems Maintainability.	CAiSE	2001	DBLP DOI BibTeX RDF	object oriented information systems maintainability, class diagrams complexity, fuzzy deformable prototypes, UML, prediction models, object oriented metrics
24	Hassan Gomaa, Daniel A. Menascé	Performance Engineering of Component-Based Distributed Software Systems.	Performance Engineering	2001	DBLP DOI BibTeX RDF	component interconnection patterns, XML, UML, software architecture, performance model, queuing networks
24	D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon	An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.	RTCSA	2000	DBLP DOI BibTeX RDF	visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems
24	Manoli Albert, Jordi Cabot, Cristina Gómez 0001, Vicente Pelechano	Automatic generation of basic behavior schemas from UML class diagrams.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Behavior schema, Structural event, UML, OCL, Operation, Class diagram
24	Vahid Garousi	Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Behavioral dependency analysis, Message weights, Distributed systems, UML, Metrics, Dependability, Model-driven development
24	Jürgen Börstler, Dimitris Dranidis, Ervin Ramollari, Sonja Trapp, Matthias Heintz 0002, Sebastian Weber	Sharing and discussing UML modeling exercises in a PLE.	ITiCSE	2010	DBLP DOI BibTeX RDF	UML, blended learning, SYSML
24	Piotr Kosiuczenko	Redesign of UML class diagrams: a formal approach.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	UML, Formal methods, Refactoring, OCL, Requirements tracing
24	Vahid Garousi, Lionel C. Briand, Yvan Labiche	A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Resource usage prediction, Load analysis, Resource overuse detection, Distributed systems, Real-time systems, UML, Load forecasting
24	Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo	Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints.	SAC	2009	DBLP DOI BibTeX RDF	UML, embedded systems, time petri net, requirement validation
24	Jesús Pardillo, Matteo Golfarelli, Stefano Rizzi, Juan Trujillo 0001	Visual Modelling of Data Warehousing Flows with UML Profiles.	DaWaK	2009	DBLP DOI BibTeX RDF	UML, conceptual modelling, data warehouse, OLAP
24	Ju Qian, Baowen Xu	Program slicing under UML scenario models.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	UML, scenario, program understanding, program slicing