Search results for "unified modeling language (UML)"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Luis de Marcos, Fernando Flores, José-Javier Martínez	Modeling with Plato: the unified modeling language in a cultural context.	ITiCSE	2010	DBLP DOI BibTeX RDF	humanistic informatics, modeling, unified modeling language (UML)
2	Luis de Marcos, Fernando Flores, José-Javier Martínez	The two states of the mind to teach UML.	ITiCSE	2009	DBLP DOI BibTeX RDF	unified modeling language (UML), information systems education
2	Elvinia Riccobene, Patrizia Scandurra	Model transformations in the UPES/UPSoC development process for embedded systems.	ISSE	2009	DBLP DOI BibTeX RDF	Model-based development (MBD), Unified modeling language (UML), Model transformations, SystemC, Embedded system design
2	Mohammad Gias Uddin, Mohammad Zulkernine	UMLtrust: towards developing trust-aware software.	SAC	2008	DBLP DOI BibTeX RDF	software development life cycle (SDLC), trust scenario, unified modeling language (UML)
2	Doo-Yeoun Cho, Myeong-Jo Son, Jung-Ho Kang, Sung-Jun Lee, Ju-Hwan Cha, Seong-Jin Yoo, Hyo-Kwang Lee, Kyu-Yeul Lee, Tae Wan Kim, Yong-Seog Ko	Analysis of a submarine's evasive capability against an antisubmarine warfare torpedo using DEVS modeling and simulation.	SpringSim	2007	DBLP DOI BibTeX RDF	evasive capability, simulation based acquisition (SBA), submarine, unified modeling language (UML), DEVS formalism
2	Ahmed M. Mostafa, Manal A. Ismai, Hatem El-Bolok, E. M. Saad	Toward a Formalization of UML2.0 Metamodel using Z Specifications.	SNPD	2007	DBLP DOI BibTeX RDF	Use Case Diagram, State Machine Diagram, Unified Modeling Language (UML), Formalization, Class Diagram, Z specification language
2	Jon Siegel	Why use the model driven architecture to design and build distributed applications?	ICSE	2005	DBLP DOI BibTeX RDF	model driven architecture® (MDA®), unified modeling language® (UML®), object management group (OMG), platform-specific model (PSM), modeling, software, transformation, platform-independent model (PIM)
2	Tetsuro Katayama, Yusuke Yabuya	Proposal of a Method to Support Testing for Java Programs with UML.	APSEC	2005	DBLP DOI BibTeX RDF	test items, Java, Unified Modeling Language (UML), software testing, functional testing
2	Andrea Baldini, Alfredo Benso, Paolo Prinetto	System-level functional testing from UML specifications in end-of-production industrial environments.	STTT	2005	DBLP DOI BibTeX RDF	End-of-production (EOP) environment, Timed message sequences, System-level testing, Unified Modeling Language (UML)
2	Hassan Gomaa	Designing Software Product Lines with the Unified Modeling Language (UML).	SPLC	2004	DBLP DOI BibTeX RDF
2	Christine W. Chan	Knowledge and software modeling using UML.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Ontology Knowledge Reuse, Unified Modeling Language (UML)
2	Scott R. Tilley, Shihong Huang	A qualitative assessment of the efficacy of UML diagrams as a form of graphical documentation in aiding program understanding.	SIGDOC	2003	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), assessment, program understanding, graphical documentation
2	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
2	Tetsuro Katayama	Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML.	APSEC	2002	DBLP DOI BibTeX RDF	diagram transformation editor, Unified Modeling Language (UML), object-oriented design, modeling tool, transformation rules
2	Claus Möbus, Bernd Albers, Stefan Hartmann, Heinz-Jürgen Thole, Jochen Zurborg	Towards a Specification of Distributed and Intelligent Web Based Training Systems.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF	Cognitive Approaches, Distributed Learning Environments, Intelligent Distance Learning, Internet Environments, Content-Engineering, Intelligent Web Based Training (I-WBT), Specification of e-Learning Systems, Educational Modeling Language (EML), Extensible Markup Language (XML), Unified Modeling Language (UML), Architectures, Learning Environments, Authoring Systems
2	Andreas L. Opdahl, Brian Henderson-Sellers	Ontological Evaluation of the UML Using the Bunge-Wand-Weber Model.	Software and System Modeling	2002	DBLP DOI BibTeX RDF	Problem domain representation, Ontological analysis and evaluation, The Bunge-Wand-Weber model (BWW), Unified Modeling Language (UML), Object-oriented analysis
2	Graham McLeod, Terry A. Halpin, Hannu Kangassalo, Keng Siau	Unified Modeling Language (UML): A Critical Evaluation and Suggested Future - Minitrack Introduction. (PDF / PS)	HICSS	2001	DBLP DOI BibTeX RDF
2	Shane Sendall, Alfred Strohmeier	Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML.	UML	2001	DBLP DOI BibTeX RDF	Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition
2	Dong Kwan Kim, Hyo Taeg Jung, Chae Kyu Kim	Techniques for Systematically Generating Framework Diagram based on UML.	APSEC	1998	DBLP DOI BibTeX RDF	Framework Diagram, Unified Modeling Language(UML), Interface, Reuse, Object-Oriented Framework, Control Flow
1	James E. Rumbaugh	Unified Modeling Language (UML).	Encyclopedia of Software Engineering	2010	DBLP BibTeX RDF
1	Thomas C. Jepsen	Unified Modeling Language (UML): Visual Development.	Encyclopedia of Software Engineering	2010	DBLP BibTeX RDF
1	Athanasios Perdos, George Stephanides, Alexander Chatzigeorgiou	A Queuing Theory and Systems Modeling Course Based on Unified Modeling Language (UML).	WSKS	2010	DBLP DOI BibTeX RDF
1	Juliana Küster Filipe Bowles, Leïla Kloul	Synthesising PEPA nets from IODs for performance analysis.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	formal transformation, pepa nets, uml 2 interaction diagrams, mobility, performance analysis
1	Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray	On challenges of model transformation from UML to Alloy.	Software and System Modeling	2010	DBLP DOI BibTeX RDF
1	Uwe Katzke	Spezifikation und Anwendung einer Modellierungssprache für die Automatisierungstechnik auf Basis der Unified Modeling Language (UML).		2009	RDF
1	Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan	Interacting process classes.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	Abstract execution, Unified Modeling Language (UML), message sequence charts, active objects
1	Anisha Vemulapalli, Nary Subramanian	Transforming Functional Requirements from UML into BPEL to Efficiently Develop SOA-Based Systems.	OTM Workshops	2009	DBLP DOI BibTeX RDF	Business Process Execution Language for Web Services (BPEL4WS or BPEL), Visual Paradigm for UML (VP - UML), Unified modeling Language (UML), Service-Oriented Architecture (SOA)
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	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	Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, Behzad Bordbar	Ensuring spatio-temporal access control for real-world applications.	SACMAT	2009	DBLP DOI BibTeX RDF	spatio-temporal rbac, alloy, uml
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	Çagdas Cirit, Feza Buzluca	A UML profile for role-based access control.	SIN	2009	DBLP DOI BibTeX RDF	tagged value, role-based access control, model driven architecture, object constraint language, unified modeling language profile, model validation, stereotype, security engineering
1	Joe Mooney, Hessam S. Sarjoughian	A framework for executable UML models.	SpringSim	2009	DBLP DOI BibTeX RDF	discrete event simulation, state machine, DEVS, executable UML
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	Dong Xu, Huaikou Miao, Nduwimfura Philbert	Model Checking UML Activity Diagrams in FDR.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
1	Sajjad Mahmood, Richard Lai	RE-UML: An Extension to UML for Specifying Component-Based Software System.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
1	Amy J. C. Trappey, David W. Hsiao, Lin Ma, Yu-Liang Chung	Maintenance chain integration using Petri-net enabled Prometheus MAS modeling methodology.	CSCWD	2009	DBLP DOI BibTeX RDF
1	Juan Trujillo, Dae-Kyoo Kim	Preface to FP-UML 2009.	ER Workshops	2009	DBLP DOI BibTeX RDF
1	Michele Angelaccio, Alenka Krek, Andrea D'Ambrogio	A Model-driven Approach for Designing Adaptive Web GIS Interfaces.	IF&GIS	2009	DBLP DOI BibTeX RDF
1	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
1	Muhammad R. Abid, Daniel Amyot, Stéphane S. Somé, Gunter Mussbacher	A UML Profile for Goal-Oriented Modeling.	SDL Forum	2009	DBLP DOI BibTeX RDF	Tau G2, Metamodel, UML Profile, User Requirements Notation, Goal-oriented Requirement Language
1	Akhtar Ali Jalbani, Jens Grabowski, Helmut Neukirchen, Benjamin Zeiss	Towards an Integrated Quality Assessment and Improvement Approach for UML Models.	SDL Forum	2009	DBLP DOI BibTeX RDF
1	Hanlin Lu, Sheng Yu	Are Statecharts Finite Automata?.	CIAA	2009	DBLP DOI BibTeX RDF	interaction machines, statecharts, finite automata
1	Alexandre Bragança, Ricardo Jorge Machado	A model-driven approach for the derivation of architectural requirements of software product lines.	ISSE	2009	DBLP DOI BibTeX RDF	Logical architecture, UML, Software product lines, Model-driven engineering
1	Keng Siau, Yuhong Tian	A semiotic analysis of unified modeling language graphical notations.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Unified modeling language, Semiotics, Graphical notations, Modeling methods, Systems analysis and design
1	Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann	Towards an integrated graph-based semantics for UML.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Keyword UML diagram, Formal semantics, Graph transformation
1	Ekkart Kindler	Model-Based Software Engineering and Process-Aware Information Systems.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Model-based Software Engineering (MBSE), Process-aware Information Systems (PAIS), Model-driven Architecture (MDA), Process models, Business Process Modelling
1	P. Samuel, R. Mall, Ajay Kumar Bothra	Automatic test case generation using unified modeling language (UML) state diagrams.	IET Software	2008	DBLP DOI BibTeX RDF
1	Bran Selic	Unified Modeling Language (UML).	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Vittorio Cortellessa, Sara Di Gregorio, Antinisca Di Marco	Using ATL for transformations in software performance engineering: a step ahead of java-based transformations?	WOSP	2008	DBLP DOI BibTeX RDF	atlas transformation language (ATL), unified modeling language (UML), model transformation, software performance modeling
1	Jaeyong Park, David C. Rine, Elizabeth White	Assessing conformance of pattern-based design in UML.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	pattern-based design, UML, design pattern, profile, assessment
1	Rialette Pretorius, David Budgen	A mapping study on empirical evidence related to the models and forms used in the uml.	ESEM	2008	DBLP DOI BibTeX RDF	mapping study, evidence-based software engineering
1	Frédéric Mallet, Robert de Simone	MARTE: a profile for RT/E systems modeling, analysis--and simulation?	SimuTools	2008	DBLP DOI BibTeX RDF	UML profile, MARTE
1	Richard Riehle	Playscript for use cases.	ACM SIGSOFT Software Engineering Notes	2008	DBLP DOI BibTeX RDF	playscript, UML, requirements, use case
1	Vinita, Amita Jain, Devendra K. Tayal	On reverse engineering an object-oriented code into UML class diagrams incorporating extensible mechanisms.	ACM SIGSOFT Software Engineering Notes	2008	DBLP DOI BibTeX RDF	UML, reverse engineering, object-oriented programming, class diagrams
1	Mohammad Nazir Ahmad, Robert M. Colomb, Shazia Wasim Sadiq	A Relevant Portion of an Ontology: Defining a System of ED Rules Using a Part-Whole Relationship.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	ontology server, part-whole, ODM, ontology, UML
1	Wenjun Deng, Yiwen Liang	Reason on UML Diagrams with Answer Set Programming.	CSSE	2008	DBLP DOI BibTeX RDF
1	Jiufu Liu, Zhong Yang	UML and B Method Based Analysis and Refinement for Flight Control Software of Unmanned Aerial Vehicle.	CSSE	2008	DBLP DOI BibTeX RDF
1	Yang Su, Xuan-Wu Zhou, Min-Qing Zhang	Research on Modeling Traversing Features in Concurrent Software System.	CSSE	2008	DBLP DOI BibTeX RDF
1	Munina Yusufu, Gulina Yusufu	Comparison of Software Specification Methods Using a Case Study.	CSSE	2008	DBLP DOI BibTeX RDF
1	Dragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen	A Model-Based Design Process for the SegBus Distributed Architecture.	ECBS	2008	DBLP DOI BibTeX RDF	Segmented Bus Architecture, UML, MDA, model transformation
1	Bin Wu, Jianbo Yu, Bing-Hai Zhou, Lifeng Xi	An Integrated Framework for Intelligently Reconfigurable Manufacturing Control System Based on Knowledge Function Block.	FSKD	2008	DBLP DOI BibTeX RDF
1	Julie A. Street, Hassan Gomaa	Software Architectural Reuse Issues in Service-Oriented Architectures.	HICSS	2008	DBLP DOI BibTeX RDF
1	Evangelos Kalampokis, Efthimios Tambouris, Konstantinos A. Tarabanis	A Domain Model for eParticipation.	ICIW	2008	DBLP DOI BibTeX RDF	conceptual model, domain model, class-diagram, eParticipation
1	Xiao-guang Zhang	Model Driven Data Service Development.	ICNSC	2008	DBLP DOI BibTeX RDF
1	Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun	Data-Enriched Modeling and Verification of WS-CDL Based on UML Models.	ICWS	2008	DBLP DOI BibTeX RDF
1	Hang Zhou, Zhiqiu Huang, Yi Zhu	Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Manar Al-Kady, Reem Bahgat, Aly Fahmy	A UML Heavyweight Extension for MAS Modeling.	QSIC	2008	DBLP DOI BibTeX RDF	Metamodeling, Agent Oriented Software Engineering, UML extension
1	Wojciech J. Dzidek, Erik Arisholm, Lionel C. Briand	A Realistic Empirical Evaluation of the Costs and Benefits of UML in Software Maintenance.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Maintenance and Enhancement, Software/Software Engi, Design notations and documentation, Software Engineering, Object-Oriented Programming, Distribution, Maintainability
1	Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan	A Dynamic Assertion-Based Verification Platform for Validation of UML Designs.	ATVA	2008	DBLP DOI BibTeX RDF
1	Hengye Zhu, Guangyao Li	Visualizing HLA-Based Collaborative Simulation System Modeling with a UML Profile.	CDVE	2008	DBLP DOI BibTeX RDF	collaborative simulation, high level architecture, UML profile, stereotype, visualization modeling
1	Juan Trujillo, Andreas L. Opdahl	Preface to FP-UML 2008.	ER Workshops	2008	DBLP DOI BibTeX RDF
1	José Oscar Olmedo-Aguirre, Mónica Rivera de la Rosa, Guillermo Morales-Luna	ECA-Rule Visual Programming for Ubiquitous and Nomadic Computing.	MICAI	2008	DBLP DOI BibTeX RDF
1	Yvan Labiche	The UML Is More Than Boxes and Lines.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF	well-formedness rules, UML, consistency, teaching, laboratory
1	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.	MoDELS	2008	DBLP DOI BibTeX RDF	SPT, genetic algorithms, UML, MDD, deadlocks, concurrent systems, model analysis
1	Terry A. Halpin	Temporal Modeling and ORM.	OTM Workshops	2008	DBLP DOI BibTeX RDF
1	Milena Slavcheva	Thinking in Objects.	TSD	2008	DBLP DOI BibTeX RDF	verb-centred structures, UML, classifiers
1	Frédéric Mallet	Clock constraint specification language: specifying clock constraints with UML/MARTE.	ISSE	2008	DBLP DOI BibTeX RDF	Unified modeling language, Constraints, MARTE, Time model
1	Jiexin Lian, Zhaoxia Hu, Sol M. Shatz	Simulation-based analysis of UML statechart diagrams: methods and case studies.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	Formal methods, Petri nets, UML statecharts, Design analysis
1	Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp, Florian Klein, Peter Scheideler	Tool support for the design of self-optimizing mechatronic multi-agent systems.	STTT	2008	DBLP DOI BibTeX RDF	Multi-agent systems, UML, Real-time, Components, Control, Reconfiguration, Hybrid systems, Self-optimization, Mechatronic
1	Kristian Bisgaard Lassen, Boudewijn F. van Dongen	Translating Message Sequence Charts to other Process Languages Using Process Mining.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF	synthesis of scenarios-based models, process mining, message sequence charts
1	Erki Eessaar	On Translation-Based Design of UML Profiles.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
1	Oliver Linssen	Die objektorientierte Modellierung von Geschäftsprozessen: die erweiterte Object-Behavior-Analysis (OBA++) als Ergänzung der Unified Modeling Language (UML).		2007	RDF
1	Abhik Roychoudhury, Ankit Goel, Bikram Sengupta	Symbolic message sequence charts.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	unified modeling language (UML), message sequence charts
1	Dragan Milicev	On the Semantics of Associations and Association Ends in UML.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	association end, Unified Modeling Language (UML), conceptual modeling, model-driven development, Object-oriented modeling, formal semantics, association
1	Shihong Huang, Vaishali Gohel, Sam Hsu	Towards interoperability of UML tools for exchanging high-fidelity diagrams.	SIGDOC	2007	DBLP DOI BibTeX RDF	model exchange, interoperability, uml, design reuse, xmi, graphical documentation
1	Liu Jiufu	Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	flight control software, statechart, B method, virtual prototype, integrated methods
1	Sapna P. G., Hrushikesha Mohanty	Ensuring Consistency in Relational Repository of UML Models.	ICIT	2007	DBLP DOI BibTeX RDF
1	Moshiur Bhuiyan, M. M. Zahidul Islam, Aneesh Krishna, Aditya Ghose	Integration of Agent-Oriented Conceptual Models and UML Activity Diagrams Using Effect Annotations.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Ke Jiang, Lei Zhang, Shigeru Miyake	OCL4X: An Action Semantics Language for UML Model Execution.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Dragos Truscan, Tiberiu Seceleanu, Hannu Tenhunen, Johan Lilius	Towards a Design Methodology for Multiprocessor Platforms.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Zhi Jian Zhu, Mohammad Zulkernine	Towards an Aspect-Oriented Intrusion Detection Framework.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Kalle Holma, Mikko Setälä, Erno Salminen, Timo D. Hämäläinen	Evaluating the Model Accuracy in Automated Design Space Exploration.	DSD	2007	DBLP DOI BibTeX RDF
1	Matthew Curland, Terry A. Halpin	Model Driven Development with NORMA.	HICSS	2007	DBLP DOI BibTeX RDF
1	D'Arcy Walsh, Francis Bordeleau, Bran Selic	A Constrained Executable Model of Dynamic System Reconfiguration.	HICSS	2007	DBLP DOI BibTeX RDF
1	Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano	A light-weight static approach to analyzing UML behavioral properties.	ICECCS	2007	DBLP DOI BibTeX RDF
1	Chartchai Doungsa-ard, Keshav P. Dahal, M. Alamgir Hossain, Taratip Suwannasart	Test Data Generation from UML State Machine Diagrams using GAs.	ICSEA	2007	DBLP DOI BibTeX RDF	UML state machine diagram, Genetic algorithm, Test data generation
1	Akram Idani, Dieu Donné Okalas Ossami, Jean-Louis Boulanger	Commandments of UML for Safety.	ICSEA	2007	DBLP DOI BibTeX RDF
1	Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn	A Modeling Framework for the Development of Provably Secure E-Commerce Applications.	ICSEA	2007	DBLP DOI BibTeX RDF
1	Kleinner S. F. Oliveira, Toacy Cavalcante de Oliveira	A Guidance for Model Composition.	ICSEA	2007	DBLP DOI BibTeX RDF