Search results for "UML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Christophe Dumez, Jaafar Gaber, Maxime Wack	Model-driven engineering of composite web services using UML-S.	iiWAS	2008	DBLP DOI BibTeX RDF	web services, unified modeling language, service oriented architecture, BPEL, model-based engineering
24	Arne-Jørgen Berre	UPMS - UML Profile and Metamodel for Services - an Emerging Standard.	EDOC	2008	DBLP DOI BibTeX RDF
24	Simon Pickin 0001, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon	Test Synthesis from UML Models of Distributed Software.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Formal methods, testing tools, object-oriented design methods
24	Heather Goldsby, Sascha Konrad, Betty H. C. Cheng	Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements.	HASE	2007	DBLP DOI BibTeX RDF
24	Christian Huemer, Philipp Liegl	A UML Profile for Core Components and their Transformation to XSD.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
24	Sergey Lukichev, Adrian Giurca, Gerd Wagner 0001, Dragan Gasevic, Marko Ribaric	Using UML-based Rules for Web Services Modeling.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
24	Leandro Soares Indrusiak, Andreas Thuy, Manfred Glesner	Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns.	DATE	2007	DBLP DOI BibTeX RDF
24	Weiqun Zheng, Gary A. Bundell	Model-Based Software Component Testing: A UML-Based Approach.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
24	Yang Xu 0016, Shengqun Tang, Youwei Xu, Zukai Tang	Towards Aspect Oriented Web Service Composition with UML.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
24	Tsutomu Okawa, Syuichi Hirabayashi, Tsukasa Kaminishi, Hisao Koizumi, Jun Sawamoto	A Method of Linking Business Process Modeling with Information System Design Using UML and its Evaluation by Prototyping.	APSCC	2007	DBLP DOI BibTeX RDF
24	Ahlem Ben Younes, Leila Jemni Ben Ayed	Using UML Activity Diagrams and Event B for Distributed and Parallel Applications.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
24	Isabel Dietrich, Falko Dressler, Volker Schmitt, Reinhard German	SYNTONY: network protocol simulation based on standard-conform UML 2 models.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
24	Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong	A UML-Based Design Framework for Time-Triggered Applications.	RTSS	2007	DBLP DOI BibTeX RDF
24	Masakazu Takahashi, Satoru Takahashi, Yoshikatsu Fujita	A Proposal of Adequate and Efficient Designing of UML Documents for Beginners.	KES (2)	2007	DBLP DOI BibTeX RDF	Design Procedure, Unified Modeling Language, Automatic Generation, Support Tools, Designing Education
24	Atif Alamri, Mohamad A. Eid, Abdulmotaleb El-Saddik	A Haptic Enabled UML Case Tool.	ICME	2007	DBLP DOI BibTeX RDF
24	Philipp Graf, Klaus D. Müller-Glaser, Clemens Reichmann	Nonintrusive Black- and White-Box Testing of Embedded Systems Software against UML Models.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
24	Christian F. J. Lange, Martijn A. M. Wijns, Michel R. V. Chaudron	A Visualization Framework for Task-Oriented Modeling Using UML.	HICSS	2007	DBLP DOI BibTeX RDF
24	Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini	Finite Model Reasoning on UML Class Diagrams Via Constraint Programming.	AI*IA	2007	DBLP DOI BibTeX RDF
24	Madeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard	MARTE: Also an UML Profile for Modeling AADL Applications.	ICECCS	2007	DBLP DOI BibTeX RDF
24	Manuel Koch, Francesco Parisi-Presicce	UML specification of access control policies and their formal verification.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF
24	Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang	Safe and Timely Scenario Switching in UML Real-Time Projects.	ISORC	2006	DBLP DOI BibTeX RDF
24	Andrea Zisman, George Spanoudakis	UML-Based Service Discovery Framework.	ICSOC	2006	DBLP DOI BibTeX RDF
24	Ahmad Alsaadi	Checking Data Integrity via the UML Class Diagram.	ICSEA	2006	DBLP DOI BibTeX RDF
24	Kirsten Berkenkötter, Ulrich Hannemann	Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile.	SAFECOMP	2006	DBLP DOI BibTeX RDF
24	Marcin Szlenk	Formal Semantics and Reasoning about UML Class Diagram.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
24	Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero	UML Based Reverse Engineering for the Verification of Railway Control Logics.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
24	Nilufar Baghaei, Antonija Mitrovic	A Constraint-Based Collaborative Environment for Learning UML Class Diagrams.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
24	Saartje Brockmans, Peter Haase 0001, Pascal Hitzler, Rudi Studer	A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies.	ESWC	2006	DBLP DOI BibTeX RDF
24	Orest Pilskalns, Daniel Williams 0001, Damir Aracic, Anneliese Amschler Andrews	Security Consistency in UML Designs.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
24	Sheng-Jun Wang, Longfei Jin, Chengzhi Jin	Ontology Definition Metamodel based Consistency Checking of UML Models.	CSCWD	2006	DBLP DOI BibTeX RDF
24	Constantin Werner, Sebastian Kraatz, Dieter Hogrefe	A UML Profile for Communicating Systems.	SAM	2006	DBLP DOI BibTeX RDF
24	Fathi Essalmi, Leila Jemni Ben Ayed	Graphical UML View from Extended Backus-Naur Form Grammars.	ICALT	2006	DBLP DOI BibTeX RDF
24	Jerzy Miescicki	Verification of UML State Diagrams Using Concurrent State Machines.	SET	2006	DBLP DOI BibTeX RDF
24	Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia	Detecting Design Flaws in UML State Charts for Embedded Software.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
24	Hong-Seok Na, O-Hoon Choi, Jung-Eun Lim	A Method for Building Domain Ontologies based on the Transformation of UML Models.	SERA	2006	DBLP DOI BibTeX RDF
24	Vahid Garousi, Lionel C. Briand, Yvan Labiche	Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models.	MoDELS	2006	DBLP DOI BibTeX RDF
24	Tim Schattkowsky, Jan Hendrik Hausmann, Gregor Engels	Using UML Activities for System-on-Chip Design and Synthesis.	MoDELS	2006	DBLP DOI BibTeX RDF
24	Alanna Zito, Zinovy Diskin, Jürgen Dingel	Package Merge in UML 2: Practice vs. Theory?	MoDELS	2006	DBLP DOI BibTeX RDF
24	Haeng-Kon Kim	Software Architecture Generation on UML.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
24	Hassan Gomaa	Designing concurrent, distributed, and real-time applications with UML.	ICSE	2006	DBLP DOI BibTeX RDF
24	Orest Pilskalns, Gunay Uyan, Anneliese Amschler Andrews	Regression Testing UML Designs.	ICSM	2006	DBLP DOI BibTeX RDF
24	Yong Zhang, Tao Huang 0001, Jun Wei 0001	Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time.	SEFM	2006	DBLP DOI BibTeX RDF
24	Ricardo Jorge Machado 0001, João M. Fernandes, Paula Monteiro, Helena Rodrigues	Transformation of UML Models for Service-Oriented Software Architectures.	ECBS	2005	DBLP DOI BibTeX RDF
24	Petri Kukkala, Marko Hännikäinen, Timo D. Hämäläinen	Design and Implementation of a WLAN Terminal Using UML 2.0 Based Design Flow.	SAMOS	2005	DBLP DOI BibTeX RDF
24	Masahiro Fujita	Extended abstract: a formal design approach from software oriented UML descriptions to hardware oriented RTL.	MEMOCODE	2005	DBLP DOI BibTeX RDF
24	Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever	29 New Unclarities in the Semantics of UML 2.0 State Machines.	ICFEM	2005	DBLP DOI BibTeX RDF
24	Michal Smialek, Jacek Bojarski, Wiktor Nowakowski, Tomasz Straszak	Scenario Construction Tool Based on Extended UML Metamodel.	MoDELS	2005	DBLP DOI BibTeX RDF
24	Alejandro Bia, Jaime Gómez	UML for Document Modeling: Designing Document Structures for Massive and Systematic Production of XML-based Web Contents.	MoDELS	2005	DBLP DOI BibTeX RDF
24	Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann, Stefan Sauer 0001	Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
24	Are D. Gulbrandsen	Conceptual Modeling of Topic Maps with ORM Versus UML.	TMRA	2005	DBLP DOI BibTeX RDF
24	Tim Schattkowsky	UML 2.0 - Overview and Perspectives in SoC Design.	DATE	2005	DBLP DOI BibTeX RDF
24	Stephen J. Mellor, John R. Wolfe, Campbell McCausland	Why Systems-on-Chip Needs More UML like a Hole in the Head.	DATE	2005	DBLP DOI BibTeX RDF
24	Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio	A SoC Design Methodology Involving a UML 2.0 Profile for SystemC.	DATE	2005	DBLP DOI BibTeX RDF
24	Eladio Domínguez, Jorge Lloret, Ángel Luis Rubio, María Antonia Zapata	Evolving XML Schemas and Documents Using UML Class Diagrams.	DEXA	2005	DBLP DOI BibTeX RDF
24	Zhenxin Sun, Weng-Fai Wong, Yongxin Zhu 0001, Santhosh Kumar Pilakkat	Design of clocked circuits using UML.	ASP-DAC	2005	DBLP DOI BibTeX RDF
24	Andrew M. Sutton, Jonathan I. Maletic	Mappings for Accurately Reverse Engineering UML Class Models from C++.	WCRE	2005	DBLP DOI BibTeX RDF
24	Dimosthenis Anagnostopoulos, Georgios-Dimitrios Kapos, Vassilis Dalakas, Mara Nikolaidou	Introducing a UML model for faster-than-real-time simulation.	WSC	2005	DBLP DOI BibTeX RDF
24	Sueli de Fátima Poppi Borba, Aran Bey Tcholakian Morales	Extending the UML for Dimensional Models in Object-Oriented Database.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	Database, object-orientation, dimensional modeling
24	Yongxin Zhu 0001, Zhenxin Sun, Alexander Maxiaguine, Weng-Fai Wong	Using UML 2.0 for System Level Design of Real Time SoC Platforms for Stream Processing.	RTCSA	2005	DBLP DOI BibTeX RDF
24	Shourong Lu, Wolfgang A. Halang, Lichen Zhang	A Component-Based UML Profile to Model Embedded Real-Time Systems Designed by the MDA Approach.	RTCSA	2005	DBLP DOI BibTeX RDF
24	Carl Alphonce, Blake Martin	Green: a pedagogically customizable round-tripping UML class diagram Eclipse plug-in.	eTX	2005	DBLP DOI BibTeX RDF
24	Dae-Kyoo Kim, Jon Whittle 0001	Generating UML Models from Domain Patterns.	SERA	2005	DBLP DOI BibTeX RDF
24	Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann	Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation.	VL/HCC	2005	DBLP DOI BibTeX RDF
24	Youcef Hammal	A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.	FORTE	2005	DBLP DOI BibTeX RDF
24	Matteo Pradella, Matteo Rossi 0001, Dino Mandrioli	A UML-Compatible Formal Language for System Architecture Description.	SDL Forum	2005	DBLP DOI BibTeX RDF
24	Leonel Nóbrega, Nuno Jardim Nunes, Helder Coelho	Mapping ConcurTaskTrees into UML 2.0.	DSV-IS	2005	DBLP DOI BibTeX RDF
24	Shuxin Yin, Indrakshi Ray	Relational Database Operations Modeling with UML.	AINA	2005	DBLP DOI BibTeX RDF
24	Huzefa H. Kagdi, Jonathan I. Maletic, Andrew M. Sutton	Context-Free Slicing of UML Class Models.	ICSM	2005	DBLP DOI BibTeX RDF
24	Yali Zhu, Gang Huang 0001, Hong Mei 0001	Modeling Architecture Based Development in UML.	ICECCS	2005	DBLP DOI BibTeX RDF
24	Bin Liu, Deyi Li, Jin Liu, Fei He	Classifying Class and Finding Community in UML Metamodel Network.	ADMA	2005	DBLP DOI BibTeX RDF
24	Christian F. J. Lange, Michel R. V. Chaudron	Managing Model Quality in UML-Based Software Development.	STEP	2005	DBLP DOI BibTeX RDF
24	Geert Poels, Frederik Gailly, Ann Maes, Roland Paemeleire	Object Class or Association Class? Testing the User Effect on Cardinality Interpretation.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
24	Marc-Philippe Huget	Agent UML Notation for Multiagent System Design.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF
24	Keng Siau, Lihyunn Lee	Are use case and class diagrams complementary in requirements analysis? An experimental study on use case and class diagrams in UML.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Unified modeling language, Requirements engineering, Conceptual modeling, Requirements analysis, Class diagram, Experimental study, Use case diagram
24	Jan Jürjens	Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol.	HASE	2004	DBLP DOI BibTeX RDF	security software engineering, formal methods in security, electronic purses, cryptographic protocols, security models, security engineering, security evaluation, high assurance systems, security verification
24	Zhen Ru Dai	UML 2.0 Testing Profile.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
24	Joost Jacob	A Rule Markup Language and Its Application to UML.	ISoLA	2004	DBLP DOI BibTeX RDF
24	Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng	Generating Test Cases from UML Activity Diagram based on Gray-Box Method.	APSEC	2004	DBLP DOI BibTeX RDF
24	Iulian Ober, Susanne Graf, Ileana Ober	Validation of UML Models via a Mapping to Communicating Extended Timed Automata.	SPIN	2004	DBLP DOI BibTeX RDF
24	Elvinia Riccobene, Patrizia Scandurra	Modelling SystemC Process Behavior by the UML Method State Machines.	RISE	2004	DBLP DOI BibTeX RDF
24	Marina Bagic	Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets.	OTM Workshops	2004	DBLP DOI BibTeX RDF
24	Yan Chen, Xuan Du, Xuegong Zhou, Chenglian Peng	An Automatic Coverage Analysis for SystemC Using UML and Aspect-Oriented Technology.	CSCWD (Selected papers)	2004	DBLP DOI BibTeX RDF
24	Salvatore Distefano, Daniele Paci, Antonio Puliafito, Marco Scarpa	UML Design and Software Performance Modeling.	ISCIS	2004	DBLP DOI BibTeX RDF
24	Bran Selic	On the Semantic Foundations of Standard UML 2.0.	SFM	2004	DBLP DOI BibTeX RDF
24	Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing	Mobile UML Statecharts with Localities.	Global Computing	2004	DBLP DOI BibTeX RDF
24	Baowen Xu, Dazhou Kang, Jianjiang Lu	A Structural Complexity Measure for UML Class Diagrams.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
24	Yue Chen, Barry W. Boehm, Raymond J. Madachy, Ricardo Valerdi	An Empirical Study of eServices Product UML Sizing Metrics.	ISESE	2004	DBLP DOI BibTeX RDF
24	Dragan Djuric, Dragan Gasevic, Vladan Devedzic, Violeta Damjanovic	UML Profile for OWL.	ICWE	2004	DBLP DOI BibTeX RDF
24	Martin Bernauer, Gerti Kappel, Gerhard Kramler	Representing XML Schema in UML - A Comparison of Approaches.	ICWE	2004	DBLP DOI BibTeX RDF
24	Steve Murphy, Scott R. Tilley, Shihong Huang	4th workshop on graphical documentation: UML style guidelines.	SIGDOC	2004	DBLP DOI BibTeX RDF	visualization, documentation, program understanding
24	Alasdair King, Paul Blenkhorn, David Crombie, Sijo Dijkstra, Gareth Evans 0001, John Wood	Presenting UML Software Engineering Diagrams to Blind People.	ICCHP	2004	DBLP DOI BibTeX RDF
24	Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika	"UML-ising' Formal Techniques.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
24	Yan Jiong, Ji Wang 0001, Huowang Chen	Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models.	QSIC	2004	DBLP DOI BibTeX RDF
24	Hassan Gomaa	Designing Software Product Lines with the Unified Modeling Language (UML).	SPLC	2004	DBLP DOI BibTeX RDF
24	Yann-Gaël Guéhéneuc	Abstract and Precise Recovery of UML Diagram Constituents.	ICSM	2004	DBLP DOI BibTeX RDF
24	Mohd Syazwan Abdullah, Chris Kimble, Richard F. Paige, Ian D. Benest, Andy Evans	Developing a UML Profile for Modelling Knowledge-Based Systems.	MDAFA	2004	DBLP DOI BibTeX RDF
24	David Skogan, Roy Grønmo, Ida Solheim	Web Service Composition in UML.	EDOC	2004	DBLP DOI BibTeX RDF
24	Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal	The Rhapsody UML Verification Environment.	SEFM	2004	DBLP DOI BibTeX RDF
24	Dániel Varró, András Pataricza	VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics).	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Refinement, Model transformation, Metamodeling, Formal semantics, Graph transformation
24	Conrad Bock	UML without Pictures.	IEEE Softw.	2003	DBLP DOI BibTeX RDF