Search results for "UML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Monalisa Sarma, Rajib Mall	Synthesis of system state models.	SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	system state model, test coverage analysis, transition coverage, UML, UML, automatic test case generation, state coverage
2	Nenad Marovac	UML based embedded documentation for semi-automatic software development.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	flagged sentences, modeling, software engineering, UML, UML
2	Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag	Deductive Verification of UML Models in TLPVS.	UML	2004	DBLP DOI BibTeX RDF	Deductive Verification, UML, Semantics, Formal Verification, Temporal Logic, State Machines, PVS
2	Marcus Alanen, Ivan Porres	Difference and Union of Models.	UML	2003	DBLP DOI BibTeX RDF	delta calculation, revision control, UML, metamodelling
2	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
2	Esperanza Marcos, Belén Vela, José María Cavero	Extending UML for Object-Relational Database Design.	UML	2001	DBLP DOI BibTeX RDF	Oracle8i, UML, Design Methodology, Database Design, Stereotypes, Object-Relational Databases, UML extensions, SQL:1999
2	Valentin Crettaz, Mohamed Mancona Kandé, Shane Sendall, Alfred Strohmeier	Integrating the ConcernBASE Approach with SADL.	UML	2001	DBLP DOI BibTeX RDF	Structural Architecture Description, SADL, Advanced Separation of Concerns, Unified Modeling Language, UML, Software Architecture
2	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
2	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
2	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
2	Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen	A methodology for specifying and analyzing consistency of object-oriented behavioral models.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	behavioral consistency, UML, UML, CSP, object-oriented modeling
2	Nima Kaveh, Wolfgang Emmerich	Deadlock detection in distribution object systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	object middleware, model checking, UML, UML, process algebra
2	Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli	Combining UML and formal notations for modelling real-time systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	UML, UML, formal methods, real-time software
2	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
2	Silke Eckstein, Peter Ahlbrecht, Karl Neumann	Techniques and language constructs for developing generic informations systems: a case study.	SSR	2001	DBLP DOI BibTeX RDF	parameterized programming, parameterized specification, Java, UML, UML, information systems, application generators
2	Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang	Object-Z web environment and projections to UML.	WWW	2001	DBLP DOI BibTeX RDF	XML/XSL/XMI, XML, UML, UML, WEB, object-Z
2	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
2	Mohamed Mancona Kandé, Alfred Strohmeier	Towards a UML Profile for Software Architecture Descriptions.	UML	2000	DBLP DOI BibTeX RDF	Software architecture abstractions, software architecture descrip-tion, architectural viewpoint, UML, component, configuration, ADL, connector, architectural modeling, architectural view
2	Anneke Kleppe, Jos Warmer	Extending OCL to include Actions.	UML	2000	DBLP DOI BibTeX RDF	UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions
2	Kutluhan Erol, Jun Lang, Renato Levy	Designing agents from reusable components.	Agents	2000	DBLP DOI BibTeX RDF	Cybele, agent CASE tool, UML, UML, architecture, agent design
2	Jean Brodeur, Yvan Bédard, Marie-Josée Proulx	Modelling geospatial application databases using UML-based repositories aligned with international standards in geomatics.	ACM-GIS	2000	DBLP DOI BibTeX RDF	ISO/TC 211, feature catalogue, geographic information standard, geospatial database modelling, geospatial repository, perceptory, UML, UML, interoperability, metadata, OGC
2	Gregor Engels, Luuk Groenewegen	Object-oriented modeling: a roadmap.	ICSE - Future of SE Track	2000	DBLP DOI BibTeX RDF	UML, UML, frameworks, patterns, profile, views, object-oriented modeling, development process
2	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
2	Hans J. Köhler, Ulrich Nickel 0002, Jörg Niere, Albert Zündorf	Integrating UML diagrams for production control systems.	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, embedded systems, statecharts, SDL, graph grammars, collaboration diagrams
2	Alan D. Sloane	Modeling deployment and configuration of CORBA systems with UML (poster).	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, CORBA, system configuration
2	Jon Whittle, Johann Schumann	Generating statechart designs from scenarios.	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, scenarios, automated software engineering
2	William Harrison, Charles Barton, Mukund Raghavachari	Mapping UML designs to Java.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java, Java, design, UML, UML, code generation, separation of concerns
2	Fried Hoeben	Using UML models for performance calculation.	Workshop on Software and Performance	2000	DBLP DOI BibTeX RDF	automated performance estimates, distributed systems, UML, UML, abstractions, component based systems, performance engineering
2	José Merseguer, Javier Campos, Eduardo Mena	A pattern-based approach to model software performance.	Workshop on Software and Performance	2000	DBLP DOI BibTeX RDF	UML, UML, Petri nets, patterns, software reuse, software performance, object-oriented paradigm
2	Oliver Laitenberger, Colin Atkinson	Generalizing Perspective-Based Inspection to Handle Object-Oriented Development Artifacts.	ICSE	1999	DBLP BibTeX RDF	perspective-based inspection, UML, UML, object-orientation, fusion, software inspection, reading techniques
2	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
2	Junichi Suzuki, Yoshikazu Yamamoto	Managing the Software Design Documents with XML.	SIGDOC	1998	DBLP DOI BibTeX RDF	CASE data interchange, software model interchange, XML, XML, UML, UML
1	Wuliang Sun, Robert B. France, Indrakshi Ray	Rigorous Analysis of UML Access Control Policy Models.	POLICY	2011	DBLP DOI BibTeX RDF	LRBAC, UML, Alloy
1	Yuki Tsuchitoi, Hideki Sugiura	10 MLOC in Your Office Copier.	IEEE Software	2011	DBLP DOI BibTeX RDF	multifunction printer, mfp, mdd, highly accelerated and yield software testing, hayst, unified modeling language, software, model-driven development, development, engineering, uml
1	Harald Störrle	Model driven development of user interface prototypes: an integrated approach.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	WED, UML, state machines, GUI design
1	Harald Störrle	Towards clone detection in UML domain models.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	UML, clone detection
1	Ana Erika Camargo Cruz	Exploratory study of a UML metric for fault prediction.	ICSE	2010	DBLP DOI BibTeX RDF	CK metrics, fault-prone code, fault-proneness prediction, UML, logistic regression
1	Kleinner Farias	Empirical evaluation of effort on composing design models.	ICSE	2010	DBLP DOI BibTeX RDF	UML, empirical studies, model composition
1	Jürgen Börstler, Dimitris Dranidis, Ervin Ramollari, Sonja Trapp, Matthias Heintz, Sebastian Weber	Sharing and discussing UML modeling exercises in a PLE.	ITiCSE	2010	DBLP DOI BibTeX RDF	UML, blended learning, SYSML
1	Petri Selonen, Petros Belimpasakis, Yu You	Developing a ReSTful mixed reality web service platform.	WS-REST	2010	DBLP DOI BibTeX RDF	UML, mixed reality, web engineering, ReST
1	Bruno de Moura Araujo, Eber Assis Schmitz, Alexandre L. Correa, Antonio Juarez Alencar	A method for validating the compliance of business processes to business rules.	SAC	2010	DBLP DOI BibTeX RDF	compliance validation, UML, business process, OCL, business rules
1	Christine Choppy, Gianna Reggio	A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation).	SAC	2010	DBLP DOI BibTeX RDF	CASL, UML, SOA, temporal logic
1	Carmine Gravino, Genoveffa Tortora, Giuseppe Scanniello	An empirical investigation on the relation between analysis models and source code comprehension.	SAC	2010	DBLP DOI BibTeX RDF	UML, software maintenance, controlled experiment
1	Ahmad Waqas Kamal, Paris Avgeriou	Modeling the variability of architectural patterns.	SAC	2010	DBLP DOI BibTeX RDF	UML, variability, architectural patterns
1	Frank Dengler, Hans-Jörg Happel	Collaborative modeling with semantic MediaWiki.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF	modeling, UML, process models, semantic Wikis
1	Sergio Sáez-Barona, Ismael Salvador, Diego Carrion, Leandro Gracia, Juan Carlos Pérez-Cortes	Exploiting Parallelism in Multi-View Systems Using UML Activity Diagrams and OpenMP.	DEXA Workshops	2010	DBLP DOI BibTeX RDF	UML, Code generation, OpenMP
1	Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Matthias Riebisch	A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support.	ECBS	2010	DBLP DOI BibTeX RDF	UML, model based testing, Regression testing, State machine
1	Marc-Florian Wendland, Jürgen Großmann, Andreas Hoffmann	Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT Scenarios.	ECBS	2010	DBLP DOI BibTeX RDF	FOKUS!MBT, MBT, UTP, Testing Metamodel, UML
1	Bas Steen, Luís Ferreira Pires, Maria-Eugenia Iacob	Automatic Generation of Optimal Business Processes from Business Rules.	EDOCW	2010	DBLP DOI BibTeX RDF	UML, MDA, business processes, Model transformation, business rules, MDE, BPMN, SBVR
1	Pavel Golodoniuc, Simon Cox	Geospatial Information Modelling for Interoperable Data Exchange - Application Schema Modelling: From Concept to Implementation.	eScience	2010	DBLP DOI BibTeX RDF	computational geoscience, Application Schema, service interfaces, UML, interoperability, standardization, conceptual modelling, data models, encodings, XML Schema, data exchange, information modelling, GML, Geoscience, OGC
1	Jérémie Guiochet, Damien Martin-Guillerez, David Powell	Experience with Model-Based User-Centered Risk Assessment for Service Robots.	HASE	2010	DBLP DOI BibTeX RDF	HAZOP, UML, safety, Risk assessment, autonomous systems, service robot
1	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	MbSRT2: Model-Based Selective Regression Testing with Traceability.	ICST	2010	DBLP DOI BibTeX RDF	model-based regression test selection, UML, traceability
1	Shekoufeh Kolahdouz Rahimi	Specification of UML Model Transformations.	ICST	2010	DBLP DOI BibTeX RDF	UML, Specification, Model Transformations
1	Vidar Slåtten	Model-Driven Engineering of Dependable Systems.	ICST	2010	DBLP DOI BibTeX RDF	fault tolerance, model checking, UML, model-driven engineering
1	Yuki Shiroma, Hironori Washizaki, Yoshiaki Fukazawa, Atsuto Kubo, Nobukazu Yoshioka	Model-Driven Security Patterns Application Based on Dependences among Patterns.	ARES	2010	DBLP DOI BibTeX RDF	UML, Model Driven Development, Security Patterns, ATL
1	Wenjing Lv, Lili Ye, Zhewen Wang, Zhengguo Yang, Yikui Zhang	Project-Oriented Laboratory with Cross Platform Software Programming for Embedded System Education.	CIT	2010	DBLP DOI BibTeX RDF	embedded education, Hands-on Lab, UML, embedded system, embedded software
1	Jose R. G. Braga, Joice B. Mendes, Laercio A. B. Junior, Alexandre C. B. Ramos	Modeling of System Software for Computer Based Training.	ITNG	2010	DBLP DOI BibTeX RDF	Simulator, UML, E-learning, Hypermedia
1	Helivelton Oliveira Ferreira, Luiz Alberto Vieira Dias	A UML Extension to Graphically Represent Aspect Oriented Systems Perspectives.	ITNG	2010	DBLP DOI BibTeX RDF	concerns separation, Software Engineering, UML, systems modeling, aspect-oriented
1	Samad Sabouri, Amir Masoud Rahmani	Novel {Architect@Place} Pattern Activity in ISRUP Framework.	ITNG	2010	DBLP DOI BibTeX RDF	Enterprise Pattern, ISO27001, ISO27002, ISRUP E-Service framework, Zachman, UML, RUP, ISMS
1	D. Casey Tucker, Devon M. Simmonds	A Case Study in Software Reengineering.	ITNG	2010	DBLP DOI BibTeX RDF	design, UML, software reengineering
1	Shawn X. K. Hu, Tony C. Shan	Designing Resource Oriented Architecture in UML.	SERVICES	2010	DBLP DOI BibTeX RDF	ROA, HAN, UML, SOA, Smart Grid
1	Antonio Villegas, Antoni Olivé, Josep Vilalta	Improving the Usability of HL7 Information Models by Automatic Filtering.	SERVICES	2010	DBLP DOI BibTeX RDF	Health Level Seven International, Models, Usability, UML, Filtering, HL7
1	Manoli Albert, Jordi Cabot, Cristina Gómez, Vicente Pelechano	Automatic generation of basic behavior schemas from UML class diagrams.	Software and System Modeling	2010	DBLP DOI BibTeX RDF	Behavior schema, Structural event, UML, OCL, Operation, Class diagram
1	Vahid Garousi	Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems.	Software and System Modeling	2010	DBLP DOI BibTeX RDF	Behavioral dependency analysis, Message weights, Distributed systems, UML, Metrics, Dependability, Model-driven development
1	Jürgen Börstler, Ömer Faruk Bay, Meltem Huri Baturay, Sonja Trapp, Matthias Heintz, Sebastian Weber	embed4Auto: a PLE for software modelling.	ITiCSE	2010	DBLP DOI BibTeX RDF	blended learning, uml, sysml
1	Cosmina Chise, Ioan Jurca	Phymss: performance hybrid model solver and simulator based on UML MARTE diagrams.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	simulation, performance, automation, uml, hybrid model
1	Changyuan Gao, Shuchen Zhang, Xiaoxing Zhang	The Modeling and Simulation of Negotiation Process for High-Tech Virtual Enterprise Based on UML and Petri Net.	IITSI	2010	DBLP DOI BibTeX RDF	high tech virtual enterprise, ExSpect simulation, petri net, process modeling, uml
1	Roy Gelbard, Dov Te'eni, Matti Sade	Object-Oriented Analysis: Is It Just Theory?.	IEEE Software	2010	DBLP DOI BibTeX RDF	cost-benefit, software engineering, software, object oriented analysis, uml
1	Guido M. de Melo, Frank Honold, Michael Weber 0001, Mark Poguntke, André Berton	Towards a flexible UI model for automotive human-machine interaction.	AutomotiveUI	2009	DBLP DOI BibTeX RDF	cameleon reference framework, UML, human-machine interaction, user interface modeling, user interface generation
1	Pekka Aho, Matti Mäki, Daniel Pakkala, Eila Ovaska	MDA-based tool chain for web services development.	WEWST	2009	DBLP DOI BibTeX RDF	UML, model-driven development, WSDL
1	Louis Ling, Sellappan Palaniappan	Online CASE tool for collaborative software modelling.	iiWAS	2009	DBLP DOI BibTeX RDF	UML, SVG, CASE
1	Yerbol Nisanbayev, Huiseong Na, Dongwook Lim, Franz Ko	Designing an electronic medical records system using design patterns.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	EMR (Electronic Medical Records), HIS (Healthcare Information System), UML, design patterns
1	Yanic Inghelbrecht	Object-oriented design with trace modeler and Trace4J.	ITiCSE	2009	DBLP DOI BibTeX RDF	UML, unified modeling language, software development, tools, documentation, object-oriented design, trace, program visualization, sequence diagram, case tool, responsibility-driven design
1	Yanic Inghelbrecht	Tool support for teaching responsibility-driven design.	ITiCSE	2009	DBLP DOI BibTeX RDF	modeling, UML, unified modeling language, software development, tools, object-oriented design, sequence diagram, graphical editor, case tool, responsibility-driven design
1	Michael Decker	An UML profile for the modelling of mobile business processes and workflows.	MobiMedia	2009	DBLP DOI BibTeX RDF	mobile business processes/workflows, usecase diagrams, modelling, UML, location-based services, activity diagrams
1	Twan van Enckevort	Refactoring UML models: using openarchitectureware to measure uml model quality and perform pattern matching on UML models with OCL queries.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	syntactic rules, UML, metrics, OCL, semantic rules, model quality
1	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
1	Hector Miguel Chavez, Wuwei Shen, Shaoying Liu	An approach to detection of UML-based ownership violation.	SAC	2009	DBLP DOI BibTeX RDF	UML, Eclipse, class diagram, ownership, model checker
1	Christine Choppy, Gianna Reggio	A method for developing UML state machines.	SAC	2009	DBLP DOI BibTeX RDF	UML, state machine
1	Scott R. Tilley	Documenting software systems with views VI: lessons learned from 15 years of research & practice.	SIGDOC	2009	DBLP DOI BibTeX RDF	XML, visualization, UML, reverse engineering, program understanding, views, graphical documentation
1	Scott R. Tilley, Stephany Bellomo	7th international workshop on graphical documentation: documenting SOA-based systems.	SIGDOC	2009	DBLP DOI BibTeX RDF	UML, SOA, graphical documentation
1	Vipin Saxena, Manish Shrivastava	Performance of function point analysis through UML modeling.	ACM SIGSOFT Software Engineering Notes	2009	DBLP DOI BibTeX RDF	UML, software metrics, function point analysis, size estimation
1	Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini	SystemC/C-based model-driven design for embedded systems.	ACM Trans. Embedded Comput. Syst.	2009	DBLP DOI BibTeX RDF	UML, SoC, C, SystemC, MDE, ES
1	Sapna P. G., Hrushikesha Mohanty	Prioritization of Scenarios Based on UML Activity Diagrams.	CICSyN	2009	DBLP DOI BibTeX RDF	UML, Prioritization
1	Ming Li, Fengkui Zang	A Dynamic Description Logic for UML.	JCAI	2009	DBLP DOI BibTeX RDF	Dynamic extension, UML, Description logic
1	Deepak Dahiya, Usha Batra	Improving Software Design Using Aspects in Distributed Computing.	NCM	2009	DBLP DOI BibTeX RDF	Distributed Systems, UML, Middleware, Aspect Oriented Programming, AspectJ, Crosscutting Concerns
1	Suntae Kim, Jintae Kim, Sooyong Park, Dae-Kyoo Kim	GARDIAN: A Tool for Validating Rule-Based Modeling Methods.	QSIC	2009	DBLP DOI BibTeX RDF	Model, UML, Rule, COMET
1	Wilson Goudalo, Dominique Seret	The Process of Engineering of Security of Information Systems (ESIS): The Formalism of Business Processes.	SECURWARE	2009	DBLP DOI BibTeX RDF	Engineering Process, Information Systems Security Engineering, Business Process Formalism, Information Systems Urbanization, UML, Enterprise Architecture
1	Usman Farooq, Chiou Peng Lam	A Max-Min Multiobjective Technique to Optimize Model Based Test Suite.	SNPD	2009	DBLP DOI BibTeX RDF	Test Suite Optimization, UML, Model Based Testing, Multiobjective Evolutionary Algorithm
1	Giovanni Giachetti, Beatriz Marín, Oscar Pastor	Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles.	CAiSE	2009	DBLP DOI BibTeX RDF	DSML, UML, MDD, UML Profile
1	Jesús Pardillo, Matteo Golfarelli, Stefano Rizzi, Juan Trujillo	Visual Modelling of Data Warehousing Flows with UML Profiles.	DaWaK	2009	DBLP DOI BibTeX RDF	UML, conceptual modelling, data warehouse, OLAP
1	Xavier Burgués Illa, Xavier Franch, Josep M. Ribó Balust	Inducing Metaassociations and Induced Relationships.	ER	2009	DBLP DOI BibTeX RDF	UML, Metamodels, MOF
1	Mar Yah Said, Michael J. Butler, Colin F. Snook	Language and Tool Support for Class and State Machine Refinement in UML-B.	FM	2009	DBLP DOI BibTeX RDF	UML, Formal specification, Refinement, Event-B, Visual modelling languages
1	Bouchra El Asri, Adil Kenzi, Mahmoud Nassar, Abdelaziz Kriouile, Abdelaziz Barrahmoune	Multiview Components for User-Aware Web Services.	ICEIS	2009	DBLP DOI BibTeX RDF	Information System Modelling, VUML, Multiview component, User-aware service, MVWSDL, UML, MDA, View, Viewpoint
1	Marco Brambilla, Christina Tziviskou	An Online Platform for Semantic Validation of UML Models.	ICWE	2009	DBLP DOI BibTeX RDF	ontology, Semantic Web, UML, component, validation, conceptual modeling, pattern, reasoner, class diagram, WebML
1	Reda Bendraou, Jean-Marc Jézéquel, Franck Fleurey	Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution.	ICSP	2009	DBLP DOI BibTeX RDF	process modeling and execution, UML, Executable models
1	Tetsuo Hasegawa, Yoshiaki Fukazawa	Model Checking by Generating Observers from an Interface Specification Between Components.	UNISCON	2009	DBLP DOI BibTeX RDF	model cheking, UML, timing diagram
1	Chun Ruan, Ewa Huebner	Formalizing Computer Forensics Process with UML.	UNISCON	2009	DBLP DOI BibTeX RDF	Computer forensics process, UML, system modeling
1	Gloria García Fernández, Oscar Sanjuán Martínez, Rubén González Crespo, B. Cristina Pelayo García-Bustelo, José Barranquero Tolosa	MDE for Device Driver Development.	IWANN	2009	DBLP DOI BibTeX RDF	driver development, model driver design, UML, MDE, Device driver
1	Luigi Lavazza, Vieri Del Bianco	A Case Study in COSMIC Functional Size Measurement: The Rice Cooker Revisited.	IWSM/Mensura	2009	DBLP DOI BibTeX RDF	COSMIC method case study, measurement-oriented modelling, UML, requirements modelling, Functional Size Measurement