Search results for "UML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Guadalupe Ortiz 0001, Juan Hernández Núñez	Toward UML Profiles for Web Services and their Extra-Functional Properties.	ICWS	2006	DBLP DOI BibTeX RDF
19	Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France	A Systematic Approach to Generate Inputs to Test UML Design Models.	ISSRE	2006	DBLP DOI BibTeX RDF
19	Nilufar Baghaei	A Collaborative Constraint-Based Adaptive System for Learning Object-Oriented Analysis and Design Using UML.	AH	2006	DBLP DOI BibTeX RDF
19	Yan Ha, Roger Y. Lee	Semantic Web Service Modeling using UML for e-business environment.	SNPD	2006	DBLP DOI BibTeX RDF
19	Nadia Yaacoubi Ayadi, Yann Pollet, Mohamed Ben Ahmed	A Semantic-Based Approach to Interoperability of UML Schemas.	IAT Workshops	2006	DBLP DOI BibTeX RDF
19	Marcio F. da S. Oliveira, Lisane B. de Brisolara, Luigi Carro, Flávio Rech Wagner	Early Embedded Software Design Space Exploration Using UML-Based Estimation.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
19	Dolors Costal, Cristina Gómez 0001, Anna Queralt, Ruth Raventós, Ernest Teniente	Facilitating the Definition of General Constraints in UML.	MoDELS	2006	DBLP DOI BibTeX RDF
19	Christian F. J. Lange, Bart Du Bois, Michel R. V. Chaudron, Serge Demeyer	An Experimental Investigation of UML Modeling Conventions.	MoDELS	2006	DBLP DOI BibTeX RDF
19	Ali Taleghani, Joanne M. Atlee	Semantic Variations Among UML StateMachines.	MoDELS	2006	DBLP DOI BibTeX RDF
19	Dae-Hyeon Park, Chun-Sik Yoo, Yong-Sung Kim, Soonja Yeom	Object Modeling for Mapping XML Document Represented in XML-GDM to UML Class Diagram.	ICCSA (5)	2006	DBLP DOI BibTeX RDF
19	Rodolfo Villarroel, Emilio Soler, Eduardo Fernández-Medina, Juan Trujillo 0001, Mario Piattini	Using UML Packages for Designing Secure Data Warehouses.	ICCSA (3)	2006	DBLP DOI BibTeX RDF
19	Xianhui He, Yongxin Zhu 0001, Zhenxin Sun, Yuzhuo Fu	UML Based Evaluation of Reconfigurable Shape Adaptive DCT for Embedded Stream Processing.	EUC Workshops	2006	DBLP DOI BibTeX RDF
19	Yong Zhang, Ningjiang Chen, Jun Wei 0001, Tao Huang 0001	Completing UML Model of Component-Based System with Middleware for Performance Evaluation.	EUC Workshops	2006	DBLP DOI BibTeX RDF
19	Youcef Hammal	Branching Time Semantics for UML 2.0 Sequence Diagrams.	FORTE	2006	DBLP DOI BibTeX RDF
19	Vjeran Strahonja	Modeling Legislation by using UML State Machine Diagrams.	CCECE	2006	DBLP DOI BibTeX RDF
19	Eladio Domínguez, Jorge Lloret, Ángel Luis Rubio, María Antonia Zapata	Validation of XML Documents: From UML Models to XML Schemas and XSLT Stylesheets.	ADVIS	2006	DBLP DOI BibTeX RDF
19	Ken Kaneiwa, Ken Satoh	Consistency Checking Algorithms for Restricted UML Class Diagrams.	FoIKS	2006	DBLP DOI BibTeX RDF
19	Mara Nikolaidou, Anargyros Tsadimas, Nancy Alexopoulou, Alexandros Dais, Dimosthenis Anagnostopoulos	A UML Profile utilizing Enterprise Information System Configuration.	ICECCS	2006	DBLP DOI BibTeX RDF
19	Damian Curtis	SPARK Annotations Within Executable UML.	Ada-Europe	2006	DBLP DOI BibTeX RDF
19	Manoli Albert, Javier Muñoz, Vicente Pelechano, Oscar Pastor 0001	Model to Text Transformation in Practice: Generating Code from Rich Associations Specifications.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
19	Iris Reinhartz-Berger, Dov Dori	OPM vs. UML - Experimenting with Comprehension and Construction of Web Application Models.	Empir. Softw. Eng.	2005	DBLP DOI BibTeX RDF	IS development methodologies, Unified Modeling Language, software development, Web applications, object-oriented design, Object-Process Methodology, functional design
19	Jean Hartmann, Marlon Vieira, Herbert Foster, Axel Ruder	A UML-based approach to system testing.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF	Unified modelling language, Test generation, Use cases, Functional testing, System testing, Activity diagrams
19	Jesús Manuel Almendros-Jiménez, Luis Iribarne	Designing GUI Components for UML Use Cases.	ECBS	2005	DBLP DOI BibTeX RDF
19	Michael Hafner, Ruth Breu	Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0.	MoDELS	2005	DBLP DOI BibTeX RDF
19	Martin R. Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger	Modeling Crosscutting Services with UML Sequence Diagrams.	MoDELS	2005	DBLP DOI BibTeX RDF
19	Arnaud Cuccuru, Jean-Luc Dekeyser, Philippe Marquet, Pierre Boulet	Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies.	MoDELS	2005	DBLP DOI BibTeX RDF
19	Sascha Konrad, Betty H. C. Cheng	Automated Analysis of Natural Language Properties for UML Models.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
19	Ambra Molesini, Enrico Denti, Andrea Omicini	MAS Meta-models on Test: UML vs. OPM in the SODA Case Study.	CEEMAS	2005	DBLP DOI BibTeX RDF
19	Elena Gómez-Martínez, José Merseguer	A Software Performance Engineering Tool based on the UML-SPT.	QEST	2005	DBLP DOI BibTeX RDF
19	You-Hee Choi, Gyu-Sang Shin, Youngjong Yang, Changsoon Park	An Approach to Extension of UML 2.0 for Representing Variabilities.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF
19	Robert Chandler, Chiou Peng Lam, Huaizhong Li	AD2US: An Automated Approach to Generating Usage Scenarios from UML Activity Diagrams.	APSEC	2005	DBLP DOI BibTeX RDF
19	Satoru Endo, Toshiyuki Miyamoto, Sadatoshi Kumagai, Taku Fujii	On Simulation of BPEL4WS/UML Descriptions.	APSEC	2005	DBLP DOI BibTeX RDF
19	Juanjuan Jiang, Tarja Systä	UML-Based Modeling and Validity Checking of Web Service Descriptions.	ICWS	2005	DBLP DOI BibTeX RDF
19	Veronika Stefanov, Beate List, Birgit Korherr	Extending UML 2 Activity Diagrams with Business Intelligence Objects.	DaWaK	2005	DBLP DOI BibTeX RDF
19	Radu Grosu, Scott A. Smolka	Safety-Liveness Semantics for UML 2.0 Sequence Diagrams.	ACSD	2005	DBLP DOI BibTeX RDF
19	Lichen Zhang, Ruicheng Liu	Aspect-Oriented Real-Time System Modeling Method Based on UML.	RTCSA	2005	DBLP DOI BibTeX RDF
19	Shueh-Cheng Hu	Application of the UML in Modeling SCORM-Conformant Contents.	ICALT	2005	DBLP DOI BibTeX RDF
19	Hamilton L. R. Oliveira, Leonardo Gresta Paulino Murta, Cláudia M. L. Werner	Odyssey-VCS: a flexible version control system for UML model elements.	SCM	2005	DBLP DOI BibTeX RDF
19	Lirong Dai 0002, Kendra M. L. Cooper	Modeling and Analysis of Non-Functional Requirements as Aspects in a UML Based Architecture Design.	SNPD	2005	DBLP DOI BibTeX RDF
19	Sachoun Park, Gihwon Kwon	Verification of UML-Based Security Policy Model.	ICCSA (3)	2005	DBLP DOI BibTeX RDF	Formal verification, Role-based access control, Visual specification, Security policy model
19	Humberto Nicolás Castejón Martínez	Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps.	SDL Forum	2005	DBLP DOI BibTeX RDF
19	Michael Winikoff	Towards Making Agent UML Practical: A Textual Notation and a Tool.	QSIC	2005	DBLP DOI BibTeX RDF
19	Kalaivani Appukkutty, Hany H. Ammar, K. G. Popstajanova	Software requirement risk assessment using UML.	AICCSA	2005	DBLP DOI BibTeX RDF
19	Quan Z. Sheng, Boualem Benatallah	ContextUML: A UML-Based Modeling Language for Model-Driven Development of Context-Aware Web Services.	ICMB	2005	DBLP DOI BibTeX RDF
19	Hye-Min Noh, Bo Wang, Cheol-Jung Yoo, Ok-Bae Chang	An Extension of UML Activity Diagram for Generation of XPDL Document.	APWeb	2005	DBLP DOI BibTeX RDF
19	Juan C. García-Ojeda, Álvaro Enrique Arenas, José de Jesús Pérez Alcázar	Paving the Way for Implementing Multiagent Systems: Integrating Gaia with Agent-UML.	AOSE	2005	DBLP DOI BibTeX RDF
19	Valdis Vitolins, Audris Kalnins	Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine.	EDOC	2005	DBLP DOI BibTeX RDF
19	Viviane Torres da Silva, Ricardo Choren, Carlos José Pereira de Lucena	Using the UML 2.0 activity diagram to model agent plans and actions.	AAMAS	2005	DBLP DOI BibTeX RDF	multi-agent system, unified modeling language, plans, actions
19	James Goldman, Il-Yeol Song	Organizing and Managing Use Cases.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
19	Margaret Hilsbos, Il-Yeol Song, Yoo Choi	A Comparative Analysis of Use Case Relationships.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
19	A. N. Ivanov	Graphic Language for Describing Constraints on Diagrams of UML Classes.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
19	Jirí Kotzian, Vilém Srovnal	Design and Optimization of Distributed Control System using UML Model.	ECBS	2004	DBLP DOI BibTeX RDF
19	Christos Drosos, Dimitris Metafas, George D. Papadopoulos	A UML-Based Methodology for the System Design of a Wireless LAN Prototype.	ISORC	2004	DBLP DOI BibTeX RDF
19	Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums	Interactive Verification of UML State Machines.	ICFEM	2004	DBLP DOI BibTeX RDF
19	Kai Blankenhorn, Mario Jeckle	A UML Profile for GUI Layout.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF
19	Tilo Mücke, Michaela Huhn	Generation of Optimized Testsuites for UML Statecharts with Time.	TestCom	2004	DBLP DOI BibTeX RDF
19	Vittorio Cortellessa, Michele Gentile, Marco Pizzuti	XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks.	QEST	2004	DBLP DOI BibTeX RDF
19	Soon-Kyeong Kim, David A. Carrington	Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML.	APSEC	2004	DBLP DOI BibTeX RDF
19	Yann-Gaël Guéhéneuc	A Systematic Study of UML Class Diagram Constituents for their Abstract and Precise Recovery.	APSEC	2004	DBLP DOI BibTeX RDF
19	Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001, Quan Long	Generating a Prototype from a UML Model of System Requirements.	ICDCIT	2004	DBLP DOI BibTeX RDF	Formal Specification, Prototype, Code Generation, Requirements analysis
19	Ludwik Kuzniarz, Miroslaw Staron, Claes Wohlin	An Empirical Study on Using Stereotypes to Improve Understanding of UML Models.	IWPC	2004	DBLP DOI BibTeX RDF
19	Imed Hammouda, Olcay Guldogan, Kai Koskimies, Tarja Systä	Tool-Supported Customization of UML Class Diagrams for Learning Complex System Models.	IWPC	2004	DBLP DOI BibTeX RDF
19	Gianna Reggio	Towards a Precise UML-Based Development Method.	FIDJI	2004	DBLP DOI BibTeX RDF
19	Øystein Haugen	Comparing UML 2.0 Interactions and MSC-2000.	SAM	2004	DBLP DOI BibTeX RDF
19	Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini	For-LySa: UML for Authentication Analysis.	Global Computing	2004	DBLP DOI BibTeX RDF
19	Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia	Performance Analysis of a UML Micro-business Case Study.	Global Computing	2004	DBLP DOI BibTeX RDF
19	Nawal Addouche, Christian Antoine, Jacky Montmain	UML models for dependability analysis of real-time systems.	SMC (6)	2004	DBLP DOI BibTeX RDF
19	Yonghua Zhou, Yuliu Chen, Huapu Lu	UML-based systems integration modeling technique for the design and development of intelligent transportation management system.	SMC (7)	2004	DBLP DOI BibTeX RDF
19	Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám	A Fully Abstract Semantics for UML Components.	FMCO	2004	DBLP DOI BibTeX RDF
19	Tullio Vardanega, Marco Di Natale, Silvia Mazzini, Massimo D'Alessandro	Component-Based Real-Time Design: Mapping HRT-HOOD to UML.	EUROMICRO	2004	DBLP DOI BibTeX RDF
19	Anete Persch Espindola, Karin Becker, Avelino F. Zorzo	An Extension to UML Components to Consider Distribution Issues in Early Phases of Application Development.	HICSS	2004	DBLP DOI BibTeX RDF
19	Chang Yun Jeong, Yong-Sung Kim, Yan Ha	XML-OGL: UML-Based Graphical Web Query Language for XML Documents.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
19	Shuhao Li, Ji Wang 0001, Zhi-Chang Qi	Property-Oriented Test Generation from UML Statecharts.	ASE	2004	DBLP DOI BibTeX RDF
19	Karol Rástocný, Ales Janota, Jirí Zahradník	The Use of UML for Development of a Railway Interlocking System.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
19	Brian Berenbach	The Evaluation of Large, Complex UML Analysis and Design Model.	ICSE	2004	DBLP DOI BibTeX RDF
19	Marc-Philippe Huget, James Odell	Representing Agent Interaction Protocols with Agent UML.	AOSE	2004	DBLP DOI BibTeX RDF
19	Sheena R. Judson, Robert B. France, Doris L. Carver	Supporting Rigorous Evolution of UML Models.	ICECCS	2004	DBLP DOI BibTeX RDF
19	Raul Silaghi, Frédéric Fondement, Alfred Strohmeier	Towards an MDA-Oriented UML Profile for Distribution.	EDOC	2004	DBLP DOI BibTeX RDF
19	Sun Meng, Zhang Naixiao, Luís Soares Barbosa	On Semantics and Refinement of UML Statecharts: A Coalgebraic View.	SEFM	2004	DBLP DOI BibTeX RDF	Semantics, Refinement, Statechart, Coalgebra
19	Viviane Torres da Silva, Ricardo Choren, Carlos José Pereira de Lucena	A UML Based Approach for Modeling and Implementing Multi-Agent Systems.	AAMAS	2004	DBLP DOI BibTeX RDF
19	Marc-Philippe Huget, James Odell	Representing Agent Interaction Protocols with Agent UML.	AAMAS	2004	DBLP DOI BibTeX RDF
19	Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li	Modeling Role-Based Access Control Using Parameterized UML Models.	FASE	2004	DBLP DOI BibTeX RDF
19	L. Ol'khovich, Dmitrij V. Koznov	OCL-Based Automated Validation Method for UML Specifications.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
19	Miguel A. de Miguel	General Framework for the Description of QoS in UML.	ISORC	2003	DBLP DOI BibTeX RDF
19	Esperanza Marcos, Valeria de Castro, Belén Vela	Representing Web Services with UML: A Case Study.	ICSOC	2003	DBLP DOI BibTeX RDF
19	Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Giuseppe Lipari, Tullio Vardanega	Issues in Mapping HRT-HOOD to UML.	ECRTS	2003	DBLP DOI BibTeX RDF
19	Ye Wu, Mei-Hwa Chen, Jeff Offutt	UML-Based Integration Testing for Component-Based Software.	ICCBSS	2003	DBLP DOI BibTeX RDF
19	Manoli Albert, Vicente Pelechano, Joan Fons, Marta Ruiz, Oscar Pastor 0001	Implementing UML Association, Aggregation, and Composition. A Particular Interpretation Based on a Multidimensional Framework.	CAiSE	2003	DBLP DOI BibTeX RDF
19	M. Esperanza Manso, Marcela Genero, Mario Piattini	No-redundant Metrics for UML Class Diagram Structural Complexity.	CAiSE	2003	DBLP DOI BibTeX RDF	Class diagram structural complexity, class diagram maintainability, principal component analysis, metrics, empirical validation
19	Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif, Lars Christian Hegde, Geir Arne Bunde, Anders Pedersen	Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment.	ECOOP	2003	DBLP DOI BibTeX RDF
19	Perdita Stevens	UML and Concurrency.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
19	Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana, Ugo de Carlini	Abstracting Business Level UML Diagrams from Web Applications.	WSE	2003	DBLP DOI BibTeX RDF	Reverse Engineering, Object Orientation, Web Engineering
19	Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat	New Operators for the TURTLE Real-Time UML Profile.	FMOODS	2003	DBLP DOI BibTeX RDF
19	Frank Armour, Stephen H. Kaisler, Jim Getter, Doug Pippin	A UML-Driven Enterprise Architecture Case Study.	HICSS	2003	DBLP DOI BibTeX RDF
19	Christopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman	Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations.	ASE	2003	DBLP DOI BibTeX RDF
19	Cléver Ricardo Guareis de Farias	Using UML for Service Creation.	FTDCS	2003	DBLP DOI BibTeX RDF
19	Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai	Behavioral Consistency Validation of UML Diagrams.	SEFM	2003	DBLP DOI BibTeX RDF
19	Maxim Grinev, Sergei D. Kuznetsov	UQL: A UML-based Query Language for Integrated Data.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
19	Egidio Astesiano, Gianna Reggio	An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint.	WADT	2002	DBLP DOI BibTeX RDF
19	Yan Jin, Robert Esser, Jörn W. Janneck	Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment.	Diagrams	2002	DBLP DOI BibTeX RDF