Search results for "notation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Marco Brambilla 0001, Piero Fraternali, Carmen Vaca	A Notation for Supporting Social Business Process Modeling.	BPMN	2011	DBLP DOI BibTeX RDF
27	Jason McColm Smith	The Pattern Instance Notation: A Simple Hierarchical Visual Notation for the Dynamic Visualization and Comprehension of Software Patterns.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
27	Steffen Kunz, Tobias Fickinger, Johannes Prescher, Klaus Spengler	Managing Complex Event Processes with Business Process Modeling Notation.	BPMN	2010	DBLP DOI BibTeX RDF
27	R. Webster Homer, Jon Swanson, Robert J. Jilek, Tad Hurst, Robert D. Clark	SYBYL Line Notation (SLN): A Single Notation To Represent Chemical Structures, Queries, Reactions, and Virtual Libraries.	J. Chem. Inf. Model.	2008	DBLP DOI BibTeX RDF
27	Michael Wissen, Fabian Hermann	Modellierung komplexer Webanwendungen: eine praxisorientierte, durchgängige Methode und Notation (Modelling Complex Web Applications: A Continuous, Practical Modelling Method and Graphical Notation).	i-com	2007	DBLP DOI BibTeX RDF
27	Kai Renz	Algorithms and data structures for a music notation system based on GUIDO music notation.		2002	RDF
27	Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe	The UML as a Formal Modeling Notation.	UML	1998	DBLP DOI BibTeX RDF
27	Jean Bézivin, Pierre-Alain Muller	UML: The Birth and Rise of a Standard Modeling Notation.	UML	1998	DBLP DOI BibTeX RDF
27	Richard F. Paige	Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space.	ZUM	1998	DBLP DOI BibTeX RDF
27	Ian Toyn	Innovations in the Notation of Standard Z.	ZUM	1998	DBLP DOI BibTeX RDF
27	Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali	Visualizing Z Notation in HTML Documents.	ZUM	1998	DBLP DOI BibTeX RDF
27	James E. Rumbaugh	Notation Notes: Principles for Choosing Notation.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
27	Yukio Yoneda	CHEMO Notation. A Line Notation for Organic Compounds Following IUPAC Nomenclature.	J. Chem. Inf. Comput. Sci.	1996	DBLP DOI BibTeX RDF
27	Hans Basbøll, Kjeld Kristensen	Computergenerering af lydskrevet dansk ud fra en quasiortografisk notation ved hjælp af generative fonologiske regler (Computer generation of Danish phonetic script from a quasi orthographic notation using generative phonological rules) [In Danish].	NODALIDA	1977	DBLP BibTeX RDF
27	Louis Bolliet	Notation et processus de traduction des langages symboliques. (Notation and translation process of symbolic languages).		1967	RDF
25	Daniel Amyot, Jennifer Horkoff, Daniel Gross, Gunter Mussbacher	A Lightweight GRL Profile for i* Modeling.	ER Workshops	2009	DBLP DOI BibTeX RDF	jUCMNav, profile, OCL, User Requirements Notation, i*, Goal-oriented Requirement Language
25	Charlene Elliott, Gary Marsden, Marion Walton, Edwin H. Blake	Design notations for creating virtual environments.	SAICSIT	2009	DBLP DOI BibTeX RDF	design notation, virtual reality, game design, visual formalism
25	Tadahiro Matsumoto, Mihoko Kato, Takashi Ikeda	JSPad: a sign language writing tool using SignWriting.	IUCS	2009	DBLP DOI BibTeX RDF	SignWriting, deaf education, notation system, sign language text, writing system, sign language
25	Gunter Mussbacher, Daniel Amyot, Jon Whittle 0001	Refactoring-Safe Modeling of Aspect-Oriented Scenarios.	MoDELS	2009	DBLP DOI BibTeX RDF	Aspect-oriented Use Case Maps, Aspects-oriented Modeling, User Requirements Notation
25	Muhammad R. Abid 0001, 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
25	Qian Zhang	Visual Software Architecture Description Based on Design Space.	QSIC	2008	DBLP DOI BibTeX RDF	Visual notation, Software architecture, Architecture description language, Design space
25	Zhaoxia Hu, Sol M. Shatz	Explicit modeling of semantics associated with composite states in UML statecharts.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Composite states, State-transition notation, UML, Petri nets, Statecharts
25	Sergiy A. Vilkomir, Jonathan P. Bowen	From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Software testing criteria, RC/DC, Formal methods, Z notation, MC/DC
25	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Timed Use Case Maps.	SAM	2006	DBLP DOI BibTeX RDF	timing aspects, timed UCM, Clocked Transition Systems, performance, User Requirements Notation, Use Case Maps
25	Natalie Ebenreuter	Dance Movement: A Focus on the Technology.	IEEE Computer Graphics and Applications	2005	DBLP DOI BibTeX RDF	dance notation systems, Labanotation, dance
25	Gustaf Naeser, Kristina Lundqvist, Lars Asplund	Temporal skeletons for verifying time.	SIGAda	2005	DBLP DOI BibTeX RDF	verification, ada, formal notation
25	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Abstract Operational Semantics for Use Case Maps.	FORTE	2005	DBLP DOI BibTeX RDF	AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps
25	Emmanuel Dubois 0001, Benoît Mansoux, Cédric Bach, Dominique L. Scapin, Guillaume Masserey, Joël Viala	Un modèle préliminaire du domaine des systèmes mixtes.	IHM	2004	DBLP DOI BibTeX RDF	ASUR notation, ergonomic recommendations, domain model, mixed systems
25	Christian Rinderknecht	Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules.	SAM	2004	DBLP DOI BibTeX RDF	Abstract Syntax Notation One, Basic Encoding Rules, formal methods, protocol, specification, vulnerabilities, BER, ASN.1
25	Richard Zanibbi, Dorothea Blostein, James R. Cordy	Recognizing Mathematical Expressions Using Tree Transformation.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	recognition of mathematical notation, tree transformation, Document image analysis, graphics recognition, diagram recognition
25	Barbara Klemm, Marie Iding, Martha E. Crosby	Polygraph Diagrams for Holistic Visualization of Data Sets using Multiple-Units of Analysis.	HICSS	2001	DBLP DOI BibTeX RDF	Diagramming notation, patterns of data, visual literacy, schematic representations, graphic organizer, data visualization, graphic design, illustrations
25	Gay Costain	Selecting an object-oriented process for student analysts.	APSEC	2000	DBLP DOI BibTeX RDF	object-oriented process selection, student system analysts, standard notation, collaborating objects, Unified Modelling Language, UML, object-oriented programming, information technology, experience, computer science education, specification languages, object-oriented design, object-oriented methods, system development, object-oriented analysis, model integration
25	Marc Born, Eckhardt Holz, Olaf Kath	A Method for the Design and Development of Distributed Applications Using UML.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	distributed applications development, object-oriented middleware platforms, Reference Model for Open Distributed Processing, practical design tasks, CORBA 2.3, Unified Modeling Language, UML, specification languages, distributed programming, open systems, client-server systems, automatic code generation, distributed object management, notation, RM-ODP, distributed infrastructure
25	Luis Alejandro Cortés, Petru Eles, Zebo Peng	Definitions of Equivalence for Transformational Synthesis of Embedded Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	transformational synthesis, PRES+, explicit notion, Ethernet network coprocessor, embedded systems, Petri nets, computational model, equivalence, embedded systems design, data transformation, formal notation, design cycles, complex task
25	Paolo Ciancarini, Fabio Vitali, Cecilia Mascolo	Managing Complex Documents Over the WWW: A Case Study for XML.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	specification documents, Java, XML, hypertext, Z notation, Document management systems, active documents
25	Phil Stocks, David A. Carrington	A Framework for Specification-Based Testing.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Specification-based testing, testing strategies, test oracles, Z notation, test data
25	Alberto Del Bimbo, Luigi Rella, Enrico Vicario	Visual Specification of Branching Time Temporal Logic.	VL	1995	DBLP DOI BibTeX RDF	branching time temporal logic, ordering relationships, visual shell, recursive syntax, mathematical notation, recursive visualization rules, generative approach, generic textual formula visualisation, 3D virtual space, branching time formulae, complex formulae, formal specification, parallel processing, parallelism, temporal logic, specification languages, visual languages, visual language, data visualisation, graphic representation, nesting, descriptive language, visual specification, time-varying systems, time-varying systems, execution sequencing
25	Lynne Weber, Stephen W. Smoliar, Norman I. Badler	An architecture for the simulation of human movement.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Movement notation, Simulation, Compilers, Computer graphics, Computer networks, Computer architecture, Human movement
25	Demis Ballis, Andrea Baruzzo, Marco Comini	A Minimalist Visual Notation for Design Patterns and Antipatterns.	ITNG	2008	DBLP DOI BibTeX RDF
25	Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack	Constructing Models with the Human-Usable Textual Notation.	MoDELS	2008	DBLP DOI BibTeX RDF
25	Dominik Stein, Stefan Hanenberg	Assessing the Power of a Visual Modeling Notation - Preliminary Contemplations on Designing a Test.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
25	Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava	A Rule-Based Notation to Specify Executable Electronic Contracts.	RuleML	2008	DBLP DOI BibTeX RDF
25	Stephan Schulz 0002, Anthony Wiles, Steve Randall	TPLan-A Notation for Expressing Test Purposes.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
25	Alta van der Merwe, Paula Kotzé, Aurona Gerber	Generic process model structures: towards a standard notation for abstract representations.	SAICSIT	2007	DBLP DOI BibTeX RDF	process model repositories, reusable process models
25	Jean-François Roy, Jason Kealey, Daniel Amyot	Towards Integrated Tool Support for the User Requirements Notation.	SAM	2006	DBLP DOI BibTeX RDF
25	Jingtao Yang, Corina Cîrstea, Peter Henderson 0001	An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination.	QSIC	2005	DBLP DOI BibTeX RDF
25	Michael Winikoff	Towards Making Agent UML Practical: A Textual Notation and a Tool.	QSIC	2005	DBLP DOI BibTeX RDF
25	Marc-Philippe Huget	Agent UML Notation for Multiagent System Design.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF
25	Chia Yee Ooi, Hideo Fujiwara	Classification of Sequential Circuits Based on ?k Notation.	Asian Test Symposium	2004	DBLP DOI BibTeX RDF
25	Constantine Roussos	Teaching growth of functions using equivalence classes: an alternative to big O notation.	SIGCSE	2004	DBLP DOI BibTeX RDF	big O, growth of functions, little o, order of complexity, complexity analysis, equivalence classes, theta
25	Johannes J. Mandel, Niall M. Palfreyman	A Pen-and-Paper Notation for Teaching Biosciences.	KELSI	2004	DBLP DOI BibTeX RDF
25	Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen	Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	safety requirements specification, safety patterns, radio-based train control system (FFB), UML, object orientation, level crossing
25	Heiko Zimmer, Axel Jantsch	A fault model notation and error-control scheme for switch-to-switch buses in a network-on-chip.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	fault tolerance, network-on-chip, bus encoding
25	Dominik Stein, Stefan Hanenberg, Rainer Unland	A UML-based aspect-oriented design notation for AspectJ.	AOSD	2002	DBLP DOI BibTeX RDF	UML
25	José Luis Garrido, Miguel Gea	A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling.	DSV-IS	2002	DBLP DOI BibTeX RDF
25	Hans G. Ehrbar	Graph notation for arrays.	ACM SIGAPL APL Quote Quad	2001	DBLP DOI BibTeX RDF
25	H. G. Mendelbaum, Raphael B. Yehezkael	Using 'Parallel Automaton' as a Single Notation to Specify, Design and Control Small Computer Based Systems.	ECBS	2001	DBLP DOI BibTeX RDF	Extended Automata and Finite state Machines, Parallel Automata, CBS methodology, EFSM
25	Zaid Al-Ars, Ad J. van de Goor, Jens Braun, Detlev Richter	A Memory Specific Notation for Fault Modeling.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF	memory specific fault analysis, memory testing, DRAM, functional fault models, fault primitives
25	Giuseppe A. Di Lucca, Anna Rita Fasolino, Ugo de Carlini	An Algebraic Notation for Representing Threads in Object Oriented Software Comprehension.	IWPC	2001	DBLP DOI BibTeX RDF
25	Leigh A. Davis, Rose F. Gamble, Jamie Payton, Gerður Jónsdóttir, Dennis J. Underwood	A notation for problematic architecture interactions.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	software architecture, interoperability, architecture analysis
25	Nicola Mazzocca, Massimiliano Rak, Umberto Villano	MetaPL: A Notation System for Parallel Program Description and Performance Analysis.	PaCT	2001	DBLP DOI BibTeX RDF
25	Olivier Gerbé, Guy W. Mineau, Rudolf K. Keller	Conceptual Graphs, Metamodeling, and Notation of Concepts.	ICCS	2000	DBLP DOI BibTeX RDF
25	Eduardo Bonelli, Delia Kesner, Alejandro Ríos 0001	A de Bruijn Notation for Higher-Order Rewriting.	RTA	2000	DBLP DOI BibTeX RDF
25	Ad J. van de Goor, Zaid Al-Ars	Functional Memory Faults: A Formal Notation and a Taxonomy.	VTS	2000	DBLP DOI BibTeX RDF	Functional memory fault model, fault space, simulation stimuli, taxonomy
25	Roberto Bruni, Ugo Montanari	Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.	LICS	1999	DBLP DOI BibTeX RDF	double categories, mobile calculi, higher-order communications, lambda-calculus, pi-calculus, cartesian closed categories
25	Raymond J. A. Buhr, Mohamed Elammari, Tom Gray, Serge Mankovski	A High Level Visual Notation for Understanding and Designing Collaborative, Adaptive Behavior in Multiagent Systems.	HICSS (6)	1998	DBLP DOI BibTeX RDF
25	Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat	S: A Machine Readable Specification Notation based on Higher Order Logic.	TPHOLs	1994	DBLP DOI BibTeX RDF
25	David A. Schmidt	A Programming Notation for Tactical Reasoning.	CADE	1984	DBLP DOI BibTeX RDF
25	Jean-Claude Raoult, Ravi Sethi	Properties of a Notation for Combining Functions.	ICALP	1982	DBLP DOI BibTeX RDF
25	Thomas W. Calvert, John Chapman	Notation of movement with computer assistance.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF
23	Tsukasa Takemura	Formal Semantics and Verification of BPMN Transaction and Compensation.	APSCC	2008	DBLP DOI BibTeX RDF
23	Lars Grunske, Kirsten Winter, Robert Colvin	Timed Behavior Trees and Their Application to Verifying Real-Time Systems.	ASWEC	2007	DBLP DOI BibTeX RDF	real time systems, model checking, requirements engineering, timed automata, Behavior Trees
23	Wladyslaw Homenda	Optical Music Recognition: the Case Study of Pattern Recognition.	CORES	2005	DBLP DOI BibTeX RDF
23	Saartje Brockmans, Raphael Volz, Andreas Eberhart, Peter Löffler	Visual Modeling of OWL DL Ontologies Using UML.	ISWC	2004	DBLP DOI BibTeX RDF
23	Wamberto Weber Vasconcelos	Expressive global protocols via logic-based electronic institutions.	AAMAS	2003	DBLP DOI BibTeX RDF	global protocols, specification of multi-agent systems, logics
23	Kirsten Winter, Roger Duke	Model Checking Object-Z Using ASM.	IFM	2002	DBLP DOI BibTeX RDF	language transformation, automated tool support, model checking, Abstract State Machines, Object-Z
23	Jilles van Gurp, Rein Smedinga, Jan Bosch	Architectural Design Support for Composition & Superimposition.	HICSS	2002	DBLP DOI BibTeX RDF	UML, separation of concerns, architecture design
23	Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington	UML Collaboration Diagram Syntax: An Empirical Study of Comprehension.	VISSOFT	2002	DBLP DOI BibTeX RDF
23	Stephen Paynter, James M. Armstrong, Jan Haveman	ADL: An Activity Description Language for Real-Time Networks.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Proof-theoretic semantics, Proof of timeliness, Formal specifications, ADL, Real-time processes
23	Andrew Hussey	Formal Object-Oriented User-Interface Design.	Australian Software Engineering Conference	2000	DBLP DOI BibTeX RDF	Interactive-system specification and design, UAN, object-orientation, Object-Z
23	Paulo Pinheiro da Silva, Norman W. Paton	UMLi: The Unified Modeling Language for Interactive Applications.	UML	2000	DBLP DOI BibTeX RDF
23	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.	AMAST	2000	DBLP DOI BibTeX RDF
23	Federico Bergenti, Agostino Poggi	Exploiting UML in the Design of Multi-agent Systems.	ESAW	2000	DBLP DOI BibTeX RDF
23	Raymond J. A. Buhr	Use Case Maps as Architectural Entities for Complex Systems.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	design, software architecture, requirements, scenarios, Use cases, system behavior, use case maps
23	Betty H. C. Cheng	A Discussion About Integrated Techniques.	WIFT	1998	DBLP DOI BibTeX RDF
23	Andrew Way, Ian Crookston, Jane Shelton	A Typology of Translation Problems for Eurotra Translation Machines.	Mach. Transl.	1997	DBLP DOI BibTeX RDF	Hard translation problems, Eurotra, translation notations
23	Ian T. Foster, Stephen Taylor	A Compiler Approach to Scalable Concurrent-Program Design.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	program composition, monotonicity, programming abstractions, source-to-source transformations
23	Rand Methfessel	Implementing an Access and Object Oriented Paradigm in a Language That Supports Neither.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	C
23	Raphael A. Finkel	Run-time Print Values.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
20	Jim Woodcock 0001, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob	The certification of the Mondex electronic purse to ITSEC Level E6.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, ITSEC Level E6, Security, Verification, Refinement, Theorem proving, Smart cards, Certification, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
20	Bram Pellens, Olga De Troyer, Frederic Kleinermann	CoDePA: a conceptual design pattern approach to model behavior for X3D worlds.	Web3D	2008	DBLP DOI BibTeX RDF	virtual reality, design patterns, conceptual modeling, behavior, graphical notation
20	Julie Tolmie	Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction.	Diagrams	2008	DBLP DOI BibTeX RDF	visual object, diagrammatic notation, map, visualisation, immersion
20	Hallvard Trætteberg	UI Design without a Task Modeling Language - Using BPMN and Diamodl for Task Modeling and Dialog Design.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	business process management notation, User interface design, dialog modeling
20	Frédéric Jourde, Yann Laurillau, Alberto L. Morán, Laurence Nigay	Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations.	DSV-IS	2008	DBLP DOI BibTeX RDF	multi-devices, specification notation, CSCW, multimodality
20	Gunter Mussbacher, Daniel Amyot, Michael Weiss 0001	Visualizing Early Aspects with Use Case Maps.	T. Aspect-Oriented Software Development	2007	DBLP DOI BibTeX RDF	scenario notations, User Requirements Notation, aspect-oriented requirements engineering, Use Case Maps
20	Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng	Formal verification of security specifications with common criteria.	SAC	2007	DBLP DOI BibTeX RDF	ISO/IEC 15408, theorem-proving, Z notation
20	Volker Hoyer, Eva Bucherer, Florian Schnabel 0001	Collaborative e-Business Process Modelling: Transforming Private EPC to Public BPMN Business Process Models.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF	Collaborative e-Business Process, Event-Driven Process Chain (EPC), Business Process Modelling Notation (BPMN), Business Process Modelling Layers
20	Oliver Au, Roger G. Stone, John Cooke	Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications.	IFM	2007	DBLP DOI BibTeX RDF	precise scenario, formal method, use case, requirements specification, Z notation
20	Bo Hyun Kim, Sung Bum Park, Gyu-Bong Lee, So Young Chung	Framework of Integrated System for the Innovation of Mold Manufacturing Through Process Integration and Collaboration.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	BPMN (business process modeling notation), master data, collaboration, user requirement, integrated system, manufacturing process
20	Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Fernando D'Andrea	Nautilus, a Concurrent Diagrammatic Specification and Programming Language.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	object language, Nautilus, nonsequential automata, concurrent systems, graphical notation