Search results for "Graphical notations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	Luciano Baresi, Alessandro Orso, Mauro Pezzè	Customizable notations for kernel formalisms.	ICECCS	1995	DBLP DOI BibTeX RDF	customizable notations, kernel formalisms, intuitive graphical notations, specific application domain, formal specification, formal methods, graphical user interfaces, computer graphics, tool support, graphical notations, formal foundations
2	Christian Scheidler, Lorenz Schäfers, Ottmar Krämer-Fuhrmann	Software engineering for parallel systems: the TRAPPER approach.	HICSS	1995	DBLP DOI BibTeX RDF	TRAPPER, graphical programming environment, graphical design methodology, process graphs, cooperating sequential processes, homogeneous view, software engineering, formal specification, parallel programming, graphical user interfaces, monitoring, graphs, mapping, programming environments, software design, visual programming, software visualization, software performance evaluation, parallel systems, computer aided software engineering, parallel applications, performance monitoring, system monitoring, graphical notations, hierarchical specification, hardware configuration, development cycle, application partitioning
1	Zurinahni Zainol, Bing Wang	GN-DTD: Graphical Notations for Describing XML Documents.	DBKDA	2010	DBLP DOI BibTeX RDF	XML Model, XML design, XML schema
1	Andreas Harrer, Dan Kohen-Vacs, Benedikt Roth, Nils Malzahn, Ulrich Hoppe, Miky Ronen	Design and enactment of collaboration scripts: an integrative approach with graphical notations and learning platforms.	CSCL	2009	DBLP BibTeX RDF
1	Anis Charfi, Artur Schmidt, Axel Spriestersbach	A Hybrid Graphical and Textual Notation and Editor for UML Actions.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
1	Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen	Connecting UML and VDM++ with Open Tool Support.	FM	2009	DBLP DOI BibTeX RDF
1	Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen	DSLs: the good, the bad, and the ugly.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	domain-specific languages, metamodeling, grammarware
1	Hagen Overdick, Martin A. Czuchra	PoEM - Potsdam Encoding for Models.	IEEE SCC	2008	DBLP DOI BibTeX RDF	Modeling, Atom, REST, BPMN
1	Pierre-Louis Curien	The Joy of String Diagrams.	CSL	2008	DBLP DOI BibTeX RDF
1	Terry A. Halpin	ORM 2008 PC Co-chairs' Message.	OTM Workshops	2008	DBLP DOI BibTeX RDF
1	Matthew Curland, Terry A. Halpin	Model Driven Development with NORMA.	HICSS	2007	DBLP DOI BibTeX RDF
1	Philip T. Cox, Andrew Fish, John Howse	Visual Languages and Logic.	VL/HCC	2007	DBLP DOI BibTeX RDF
1	Reema Al-Kamha, David W. Embley, Stephen W. Liddle	Augmenting Traditional Conceptual Models to Accommodate XML Structural Constructs.	ER	2007	DBLP DOI BibTeX RDF
1	Joseph Barjis	A Business Process Modeling and Simulation Method Using DEMO.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	Petri net application, Model checking, DEMO, modeling method, business process simulation
1	Terry A. Halpin, Sjir Nijssen, Robert Meersman	ORM 2007 PC Co-chairs' Message.	OTM Workshops	2007	DBLP DOI BibTeX RDF
1	Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel	Automatic Visualization of Abstract System Specifications.	QSIC	2006	DBLP DOI BibTeX RDF
1	Philipp Graf, Klaus D. Müller-Glaser	Dynamic Mapping of Runtime Information Models for Debugging Embedded Software.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
1	Annapaola Marconi, Marco Pistore, Paolo Traverso	Specifying Data-Flow Requirements for the Automated Composition of Web Services.	SEFM	2006	DBLP DOI BibTeX RDF
1	José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden	A Modeling Framework for Generic Agent Interaction Protocols.	DALT	2006	DBLP DOI BibTeX RDF
1	Terry A. Halpin, Robert Meersman	ORM 2006 PC Co-chairs' Message.	OTM Workshops	2006	DBLP DOI BibTeX RDF
1	James L. Rash, Michael G. Hinchey, Denis Gracanin	An Approach to Generating and Verifying Complex Scripts and Procedures.	CSB Workshops	2005	DBLP DOI BibTeX RDF
1	James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin	Formal Requirements-Based Programming for Complex Systems.	ICECCS	2005	DBLP DOI BibTeX RDF	verification, formal methods, Validation
1	Michael G. Hinchey, James L. Rash, Christopher A. Rouff	Towards an automated development methodology for dependable systems with application to sensor networks.	IPCCC	2005	DBLP DOI BibTeX RDF
1	Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song	A Generative Style-driven Framework for Software Architecture Design.	SEW	2005	DBLP DOI BibTeX RDF
1	Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Denis Gracanin	Towards Formal Specification and Generation of Autonomic Policies.	EUC Workshops	2005	DBLP DOI BibTeX RDF
1	Terry A. Halpin	ORM 2.	OTM Workshops	2005	DBLP DOI BibTeX RDF
1	Terry A. Halpin, Robert Meersman	ORM 2005 PC Co-chairs' Message.	OTM Workshops	2005	DBLP DOI BibTeX RDF
1	Paul Mason, Ken Cosh, Pulyamon Vihakapirom	On structuring formal, semi-formal and informal data to support traceability in systems engineering environments.	CIKM	2004	DBLP DOI BibTeX RDF	systems engineering data, traceability, meta-modelling
1	Elzbieta Malinowski, Esteban Zimányi	OLAP Hierarchies: A Conceptual Perspective.	CAiSE	2004	DBLP DOI BibTeX RDF
1	Mikael Berndtsson, Bengt Calestam	Graphical notations for active rules in UML and UML-A.	ACM SIGSOFT Software Engineering Notes	2003	DBLP DOI BibTeX RDF
1	Piotr Kosiuczenko	Partial Order Semantics of Sequence Diagrams for Mobility.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
1	Mathai Joseph	Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?.	ICFEM	2003	DBLP DOI BibTeX RDF
1	Martin Dinkloh, Jens Nimis	A Tool for Integrated Design and Implementation of Conversations in Multiagent Systems.	PROMAS	2003	DBLP DOI BibTeX RDF
1	Luke Emmet, George Cleland	Graphical notations, narratives and persuasion: a Pliant Systems approach to Hypertext Tool Design.	Hypertext	2002	DBLP DOI BibTeX RDF	hypertext argumentation, pliant systems, safety related systems, usability, technology adoption, field experience, graphical notation, safety cases
1	Nasreddine Aoumeur, Gunter Saake	Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic.	CAiSE	2002	DBLP BibTeX RDF
1	Piotr Kosiuczenko	Sequence Diagrams for Mobility.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
1	Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto	Graph-Based Models of Internetworking Systems.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
1	Michael von der Beeck	A structured operational semantics for UML-statecharts.	Software and System Modeling	2002	DBLP DOI BibTeX RDF	Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
1	Duncan S. Neary, Martin R. Woodward	Visual Representation of Algebraic Specifications: a User-Oriented Approach. (PDF / PS)	HCC	2001	DBLP DOI BibTeX RDF
1	Christine Choppy, Pascal Poizat, Jean-Claude Royer	Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.	FASE	2001	DBLP DOI BibTeX RDF	mixed specification, symbolic transition systems, Korrigan, UML, formal specification, graphical notation
1	Sophie Dupuy-Chessa, Lydie du Bousquet	Validation of UML Models Thanks to Z and Lustre.	FME	2001	DBLP DOI BibTeX RDF
1	Paolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi-Presicce	Deductive Parsing of Visual Languages.	LACL	2001	DBLP DOI BibTeX RDF
1	Michael von der Beeck	Formalization of UML-Statecharts.	UML	2001	DBLP DOI BibTeX RDF
1	Xudong He	Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach. (PDF / PS)	COMPSAC	2000	DBLP DOI BibTeX RDF
1	Christie Bolton, Jim Davies	Activity Graphs and Processes.	IFM	2000	DBLP DOI BibTeX RDF
1	Ernst-Rüdiger Olderog	Formal methods in real-time systems.	ECRTS	1998	DBLP DOI BibTeX RDF
1	Reinhold Plösch	Tool Support for Design by Contract.	TOOLS	1998	DBLP DOI BibTeX RDF	Requirements Engineering, Prototyping, Python, Design by Contract, Behavioral specifications
1	James D. Kiper, Brent Auernheimer, Charles K. Ames	Visual Depiction of Decision Statements: What is Best for Programmers and Non-Programmers?	Empirical Software Engineering	1997	DBLP DOI BibTeX RDF	decision structures, expert-novice differences, program comprehension, visual programming
1	Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes	Applying Formal Specification in Industry.	IEEE Software	1996	DBLP DOI BibTeX RDF
1	Robert H. Bourdeau, Betty H. C. Cheng	A Formal Semantics for Object Model Diagrams.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	formal methods, semantics, requirements specification, Algebraic specification, object modeling
1	C. H. E. Phillips	Review of Graphical Notations for Specifying Direct Manipulation Interfaces.	Interacting with Computers	1994	DBLP DOI BibTeX RDF
1	David Page, Paul K. Clark, Daniela Mehandjiska-Stavreva	An Abstract Definition of Graphical Notations for Object-Oriented Information Systems.	OOIS	1994	DBLP BibTeX RDF
1	David Budgen, Grant Friel	Augmenting the Design Process Transformations from Abstract Design Representations.	CAiSE	1992	DBLP DOI BibTeX RDF
1	Sharam Hekmatpour, Mark Woodman	Formal Specification of Graphical Notations and Graphical Software Tools.	ESEC	1987	DBLP DOI BibTeX RDF