Search results for "UML Diagrams"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Neil MacKinnon, Steve Murphy	Designing UML diagrams for technical documentation.	SIGDOC	2003	DBLP DOI BibTeX RDF	visualization, unified modeling language, human factors, documentation, guidelines, graphic design, UML diagrams
2	Dongmei Xu, Jun Kurogi, Yoshihide Ohgame, Atsuo Hazeyama	Distributed Collaborative Modeling Support System Associating UML Diagrams with Chat Messages.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Özlem Albayrak	An experiment to observe the impact of UML diagrams on the effectiveness of software requirements inspections.	ESEM	2009	DBLP DOI BibTeX RDF
2	Sabnam Sengupta, Swapan Bhattacharya	Formalization of UML diagrams and their consistency verification: A Z notation based approach.	ISEC	2008	DBLP DOI BibTeX RDF	UML, traceability, formalization, class diagram, sequence diagram, Z notation, automated verification, use case diagram, ER diagram
2	Mathias Frisch, Raimund Dachselt, Tobias Brückmann	Towards seamless semantic zooming techniques for UML diagrams.	SOFTVIS	2008	DBLP DOI BibTeX RDF	models, visualization, UML, interaction techniques, diagrams, zoomable user interface, semantic zooming
2	Wenjun Deng, Yiwen Liang	Reason on UML Diagrams with Answer Set Programming.	CSSE	2008	DBLP DOI BibTeX RDF
2	Steve Murphy, Neil MacKinnon	Designing UML and UML-based diagrams for technical documentation: where are we now?	SIGDOC	2008	DBLP DOI BibTeX RDF	visualization, UML, unified modeling language, human factors, documentation, guidelines, graphic design, UML diagrams
2	Kenny Wong, Dabo Sun	On evaluating the layout of UML diagrams for program comprehension.	Software Quality Journal	2006	DBLP DOI BibTeX RDF
2	Akram Idani, Yves Ledru, Didier Bert	A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams.	SEW	2006	DBLP DOI BibTeX RDF	UML, Formal concept analysis, B, Concept formation
2	Heorhiy Byelas, Alexandru Telea	Visualization of areas of interest in software architecture diagrams.	SOFTVIS	2006	DBLP DOI BibTeX RDF	architecture visualization, metrics, UML diagrams, areas of interest
2	Lori L. DeLooze	Minimal UML diagrams for a data-driven web site.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	models, design, UML, analysis
2	Scott R. Tilley, Steve Murphy, Shihong Huang	5th international workshop on graphical documentation: determining the barriers to adoption of UML diagrams.	SIGDOC	2005	DBLP DOI BibTeX RDF	UML, adoption, style, graphical documentation
2	Augustin Yu, Robert Steele	An Overview of Research on Reverse Engineering XML Schemas into UML Diagrams.	ICITA	2005	DBLP DOI BibTeX RDF
2	Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng	Automated Analysis of Timing Information in UML Diagrams.	ASE	2004	DBLP DOI BibTeX RDF
2	Neil MacKinnon, Steve Murphy	Designing UML diagrams for technical documentation: continuing the collaborative approach to publishing class diagrams.	SIGDOC	2004	DBLP DOI BibTeX RDF	visualization, unified modeling language, human factors, documentation, guidelines, graphic design, UML diagrams
2	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
2	Gary Bist, Neil MacKinnon, Steve Murphy	Sequence diagram presentation in technical documentation.	SIGDOC	2004	DBLP DOI BibTeX RDF	visualization, unified modeling language, human factors, documentation, guidelines, user testing, graphic design, sequence diagrams, UML diagrams
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	Shihong Huang, Scott R. Tilley	Workshop on Graphical Documentation for Programmers: Assessing the Efficacy of UML Diagrams for Program Understanding. (PDF / PS)	IWPC	2003	DBLP DOI BibTeX RDF	UML, assessment, program understanding, graphical documentation
2	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
2	Dirk Ohst, Michael Welle, Udo Kelter	Differences between versions of UML diagrams.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	design transaction, fine-grained data model, configuration, versions, software engineering environments, UML diagrams, differences
2	Heiko van Elsuwe, Doris Schmedding	Metriken für UML-Modelle.	Inform., Forsch. Entwickl.	2003	DBLP DOI BibTeX RDF	Evaluation, Design, UML, Education, Metrics, Analysis, Process model, UML diagrams, Object oriented software development
2	Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt	Automatically Detecting and Visualising Errors in UML Diagrams.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Simulation, Model checking, UML, Formal specifications
2	Christoph Lindemann, Axel Thümmler, Alexander Klemm, Marco Lohmann, Oliver P. Waldhorst	Performance analysis of time-enhanced UML diagrams based on stochastic processes.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	QoS performance modeling, model evaluation techniques, tools and techniques, transient and steady-state analysis of generalized semi-Markov processes
2	Ralf Kollmann, Martin Gogolla	Metric-Based Selective Representation of UML Diagrams. (PDF / PS)	CSMR	2002	DBLP DOI BibTeX RDF	Reverse Engineering, Software Metrics, Program Visualization, UML Class Diagrams
2	Edward Lank, Jeb S. Thorley, Sean Chen, Dorothea Blostein	On-Line Recognition of UML Diagrams. (PDF / PS)	ICDAR	2001	DBLP DOI BibTeX RDF
2	Eila Kuikka, Anne Eerola	A Correspondence between UML Diagrams and SGML/XML DTDs.	DDEP/PODDP	2000	DBLP DOI BibTeX RDF
2	Edward Lank, Jeb S. Thorley, Sean Jy-Shyang Chen	An interactive system for recognizing hand drawn UML diagrams.	CASCON	2000	DBLP DOI BibTeX RDF	UML
2	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
2	Padmanabhan Krishnan	Consistency checks for UML.	APSEC	2000	DBLP DOI BibTeX RDF	UML consistency checking, state predicates, PVS theorem prover, Prototype Verification System, partially specified systems, behavioural description, Unified Modeling Language, formal verification, theorem proving, specification languages, diagrams, computation history, UML diagrams, dynamic aspects
2	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
1	Andreas Bollin	Coupling-based transformations of Z specifications into UML diagrams.	ISSE	2011	DBLP DOI BibTeX RDF
1	Atif A. A. Jilani, Muhammad Usman, Aamer Nadeem	Comparative Study on DFD to UML Diagrams Transformations	CoRR	2011	DBLP BibTeX RDF
1	Michael Striewe, Michael Goedicke	Automated checks on UML diagrams.	ITiCSE	2011	DBLP DOI BibTeX RDF
1	Harald Störrle	On the impact of layout quality to understanding UML diagrams.	VL/HCC	2011	DBLP DOI BibTeX RDF
1	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
1	Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li	Model and Verification of WS-CDL Based on UML Diagrams.	International Journal of Software Engineering and Knowledge Engineering	2010	DBLP DOI BibTeX RDF
1	Debashis Chanda, Dwijesh Dutta Majumder, Swapan Bhattacharya	Knowledge Based Consolidation of UML Diagrams for Creation of Virtual Enterprise.	Intelligent Information Management	2010	DBLP DOI BibTeX RDF
1	Cleverton Ferreira Borba, Ana Estela Antunes da Silva	Knowledge-Based System for the Maintenance Registration and Consistency among UML Diagrams.	SBIA	2010	DBLP DOI BibTeX RDF
1	Jayeeta Chanda, Ananya Kanjilal, Sabnam Sengupta	UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams.	ICDCIT	2010	DBLP DOI BibTeX RDF
1	Maria Carmen Leonardi, María Virginia Mauco, Laura Felice, German Montejano, Daniel Riesco, Narayan C. Debnath	Recovering business process diagrams from UML diagrams.	AICCSA	2010	DBLP DOI BibTeX RDF
1	Kamel Boukhelfa, Faiza Belala, Aicha Choutri, Halima Douibi	For more understandable UML diagrams.	AICCSA	2010	DBLP DOI BibTeX RDF
1	Jun Kong, Kang Zhang, Jing Dong, Dianxiang Xu	Specifying behavioral semantics of UML diagrams through graph transformations.	Journal of Systems and Software	2009	DBLP DOI BibTeX RDF
1	Giner Alor-Hernández, Isaac Machorro-Cano, Juan Miguel Gómez, Jesús Cruz Ahuactzi, Rubén Posada-Gómez, Myriam Mencke, Ulises Juárez-Martínez	Mapping UML Diagrams for Generating WS-CDL Code.	ICDS	2009	DBLP DOI BibTeX RDF
1	Louis Ling, Sellappan Palaniappan	Online CASE tool for collaborative software modelling.	iiWAS	2009	DBLP DOI BibTeX RDF	UML, SVG, CASE
1	Cássio V. S. Prazeres, César A. C. Teixeira, Ethan V. Munson, Maria da Graça Campos Pimentel	Semantic web services: from OWL-S via UML to MVC applications.	SAC	2009	DBLP DOI BibTeX RDF	design, implementation, MVC
1	Marcio F. da S. Oliveira, Ronaldo R. Ferreira, Francisco Assis M. do Nascimento, Franz J. Rammig, Flávio Rech Wagner	Exploiting the model-driven engineering approach to improve design space exploration of embedded systems.	SBCCI	2009	DBLP DOI BibTeX RDF	embedded systems, model-driven engineering, design space exploration
1	Tae Yeon Kim, Yun Kyu Kim, Heung Seok Chae	Towards Improving OCL-Based Descriptions of Software Metrics.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett	Tool Support for Design Pattern Recognition at Model Level.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Marie-Noëlle Terrasse, Marinette Savonnet, Eric Leclercq, Pierre Naubourg, Valery Lopes, Arnaud da Costa, Thierry Grison	Constraint Management in Engineering of Complex Information Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui	Transforming UML models to colored petri nets models using graph grammars.	ISCC	2009	DBLP DOI BibTeX RDF
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	Chun Ruan, Ewa Huebner	Formalizing Computer Forensics Process with UML.	UNISCON	2009	DBLP DOI BibTeX RDF	Computer forensics process, UML, system modeling
1	Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger	An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example.	MoDELS	2009	DBLP DOI BibTeX RDF	by-example approach, Refactoring, composite operation
1	Christian Thum, Michael Schwind, Martin Schader	SLIM - A Lightweight Environment for Synchronous Collaborative Modeling.	MoDELS	2009	DBLP DOI BibTeX RDF	Real-Time Editor, Web 2.0, Collaborative Modeling
1	Georg Buchgeher, Rainer Weinreich	Connecting Architecture and Implementation.	OTM Workshops	2009	DBLP DOI BibTeX RDF
1	Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins	Architecting Fault Tolerance with Exception Handling: Verification and Validation.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	fault-tolerant software architecture, model checking, exception handling, model-based test, software verification and validation
1	Qi Chen, John C. Grundy, John G. Hosking	SUMLOW: early design-stage sketching of UML diagrams on an E-whiteboard.	Softw., Pract. Exper.	2008	DBLP DOI BibTeX RDF
1	Nasreddine Aoumeur	Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets.	Enterprise IS	2008	DBLP DOI BibTeX RDF
1	Masahiro Fujita, Takeshi Matsumoto, Hiroaki Yoshida	A HW/SW Co-Reuse Methodology Based on Design Refinement Templates in UML Diagrams.	ICSOFT (SE/MUSE/GSDCA)	2008	DBLP BibTeX RDF
1	Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini	A Comparative Evaluation of Tests Generated from Different UML Diagrams.	SNPD	2008	DBLP DOI BibTeX RDF	Software Testing, Model-based Testing, UML Diagram
1	Christopher Thomson, Mike Holcombe, Tony Cowling, Tony Simons, George Michaelides	A pilot study of comparative customer comprehension between extreme x-machine and uml models.	ESEM	2008	DBLP DOI BibTeX RDF	extreme x-machines, xxm, testing, formal method, customer, requirements elicitation, empirical
1	Amit Raj, T. V. Prabhakar, Stan Hendryx	Transformation of SBVR business design to UML models.	ISEC	2008	DBLP DOI BibTeX RDF	business design, production rule representation, UML, model driven architecture, business rules, SBVR
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	Jakob Sverre Lovstad, Peter H. Hughes	Run-time software configuration for mobile devices using an evolutionary quantifiable deployment model.	WOSP	2008	DBLP DOI BibTeX RDF	modelling, configuration, development, deployment, run-time
1	Jaiprakash T. Lallchandani, Rajib Mall	Slicing UML architectural models.	ACM SIGSOFT Software Engineering Notes	2008	DBLP DOI BibTeX RDF	architectural metamodel, UML, software architecture, slicing, impact analysis
1	Youcef Hammal	A modular state exploration and compatibility checking of UML dynamic diagrams.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Justin C. W. Debuse, Tony Stiller	Technologies and Strategies for Integrating Object-Oriented Analysis and Design Education with Programming.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF
1	Pedram Hayati, Nastaran Jafari, S. Mohammad Rezaei, Saeed Sarencheh, Vidyasagar Potdar	Modeling Input Validation in UML.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Software engineering, Unified Modeling Language, Object Constraint Language, Software security, Input validation
1	Jianjun Pu, Hongji Yang, Baowen Xu, Lei Xu, William Cheng-Chung Chu	Combining MDE and UML to Reverse Engineer Web-Based Legacy Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Web-based Legacy System, Unified Modelling Language, Reverse Engineering, Model-Driven Engineering
1	Marcello Mura, Mariagiovanna Sami	Code Generation from Statecharts: Simulation of Wireless Sensor Networks.	DSD	2008	DBLP DOI BibTeX RDF
1	Olivia Graciela Fragoso Diaz, René Santaolaya Salgado, Silvana De Gyves Avila	Web Services for Software Development: The Case of a Web Service That Composes Web Services.	ICSEA	2008	DBLP DOI BibTeX RDF
1	Arun Mukhija	A Software Machine Analysis and Design Methodology.	ICSEA	2008	DBLP DOI BibTeX RDF
1	Chunying Zhao, Keven Ates, Jun Kong, Kang Zhang	Discovering Program's Behavioral Patterns by Inferring Graph-Grammars from Execution Traces.	ICTAI	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	Marco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Franz-Josef Rammig	GenERTiCA: A Tool for Code Generation and Aspects Weaving.	ISORC	2008	DBLP DOI BibTeX RDF	Code Generation, Aspect-Orientation, UML modeling, Distributed Real-Time Embedded Systems
1	Kalliopi Tourtoglou, Maria Virvou	User Modelling in a Collaborative Learning Environment for UML.	ITNG	2008	DBLP DOI BibTeX RDF	UML, user modelling, CSCL, learning environment, stereotypes
1	Arno Puder, Sascha Häberling, Rainer Todtenhoefer	An MDA Approach to Byte Code Level Cross-Compilation.	SNPD	2008	DBLP DOI BibTeX RDF
1	Soodeh Hosseini, Mohammad Abdollahi Azgomi	UML Model Refactoring with Emphasis on Behavior Preservation.	TASE	2008	DBLP DOI BibTeX RDF	Behavior Preservation, Control-Flow Diagram, ROOL, UML, Model Refactoring
1	Heorhiy Byelas, Alexandru Telea	The Metric Lens: Visualizing Metrics and Structure on Software Diagrams.	WCRE	2008	DBLP DOI BibTeX RDF
1	Leszek Kotulski, Dariusz Dymek	On the Modeling Timing Behavior of the System with UML(VR).	ICCS	2008	DBLP DOI BibTeX RDF
1	Victor M. Ruiz Penichet, José A. Gallud, Ricardo Tesoriero, María Dolores Lozano	Design and Evaluation of a Service Oriented Architecture-Based Application to Support the Collaborative Edition of UML Class Diagrams.	ICCS	2008	DBLP DOI BibTeX RDF	collaborative CASE tool, SOA, groupware
1	IlKyu Ha, Byunguk Kang	Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram.	IDEAL	2008	DBLP DOI BibTeX RDF
1	Muhammad Fahad, Aamer Nadeem	A Survey of UML Based Regression Testing.	Intelligent Information Processing	2008	DBLP DOI BibTeX RDF
1	Merlin Suarez, Raymund Sison	Automatic Construction of a Bug Library for Object-Oriented Novice Java Programmer Errors.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	automatic bug library construction, Java errors, object-oriented programming, multistrategy learning
1	Benoît Combemale, Laurent Broto, Xavier Crégut, Michel J. Daydé, Daniel Hagimont	Autonomic Management Policy Specification: From UML to DSML.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Darshan S. Dillon, Tharam S. Dillon, Elizabeth Chang	Using UML 2.1 to Model Multi-agent Systems.	SEUS	2008	DBLP DOI BibTeX RDF
1	Moein Mehrolhassani, Atilla Elçi	Developing Ontology Based Applications of Semantic Web Using UML to OWL Conversion.	WSKS	2008	DBLP DOI BibTeX RDF
1	Lan Anh Tran	A UML Model of the Client Tracking System at the Learning Enrichment Foundation in Toronto, Canada: A Study of Class, Object, and State Diagrams.	WSKS	2008	DBLP DOI BibTeX RDF	Client Tracking System, Class diagram, UML Model, State diagram, Object Diagram
1	Jan Andreasik	A Case-Base Reasoning System for Predicting the Economic Situation of Enterprises - Tacit Knowledge Capture Process (Externalization).	Computer Recognition Systems 2	2008	DBLP DOI BibTeX RDF
1	Dongmei Xu, Jun Kurogi, Yoshihide Ohgame, Atsuo Hazeyama	Distributed Collaborative Modeling Support System for UML diagrams.	APSEC	2007	DBLP DOI BibTeX RDF
1	Dariusz Dymek, Leszek Kotulski	The Influence of Relations among Different Levels of UML Diagrams onto Software Maintenance.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
1	Lukasz Fryz, Leszek Kotulski	Assurance of System Consistency During Independent Creation of UML Diagrams.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
1	Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Claudio Brasca, Giovanna Dondossola, Fabrizio Garrone	UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project.	CRITIS	2007	DBLP DOI BibTeX RDF
1	María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentin Valero	Using UML Diagrams to Model Real-Time Web Services.	ICIW	2007	DBLP DOI BibTeX RDF
1	Farid Mokhati, Patrice Gagnon, Mourad Badri	Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach.	QSIC	2007	DBLP DOI BibTeX RDF
1	Yan Ha, Roger Y. Lee	Profiling system of XML multimedia documents based on UML Diagrams.	SERA	2007	DBLP DOI BibTeX RDF	XML profiling language, Multimedia, SMIL
1	Kuang-Nan Chang	Consistency Checks on UML Diagrams.	Software Engineering Research and Practice	2007	DBLP BibTeX RDF
1	Marina Mladenova, Boyanka Zhelyazova	Competitive analysis of software solutions for business organizations.	CompSysTech	2007	DBLP DOI BibTeX RDF	ARIS ToolSet, BPwin/ERwin AllFusion process modeler, UML diagrams enterprise resource planning, architecture of integrated information systems, ERP, CASE-tools
1	Liguo Yu, Srini Ramaswamy	Verifying design modularity, hierarchy, and interaction locality using data clustering techniques.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	interaction locality, clustering, modularity, hierarchy