Search results for "notation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose	Formalization and assessment of regulatory requirements for safety-critical software.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Regulatory requirements, Formal methods, Certification, Z notation
20	Johan Köhler, Jules-Raymond Tapamo	Formal specification of region-based model for semantic extraction in road traffic monitoring.	Afrigraph	2006	DBLP DOI BibTeX RDF	semantic extraction, spatio-temporal formalism, conceptual model, Z notation
20	Philipp Offermann, Christian Schröpfer, Maximilian Ahrens	Extending the UN/CEFACT Modeling Methodology and Core Components for Intra-organizational Service Orchestration.	ICSOC Workshops	2006	DBLP DOI BibTeX RDF	UN/CEFACT Modeling Methodology (UMM), Core Components (CC), Business Process Execution Language (BPEL), Business Process Modeling Notation (BPMN), Service-Oriented Architecture (SOA), Service Orchestration
20	Jim Woodcock 0001, Leo Freitas	Z/Eves and the Mondex Electronic Purse.	ICTAC	2006	DBLP DOI BibTeX RDF	electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex
20	Lars Grunske, Bernhard Kaiser	Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations.	QSIC	2005	DBLP DOI BibTeX RDF	Failure Propagation Transformation Notation, Component Fault Trees, System analysis, System architectures, Safety analysis
20	Emmanuel Dubois 0001, Joël Viala	GUIDE-ME: un outil interactif support à la conception des systèmes mixtes.	IHM	2004	DBLP DOI BibTeX RDF	ASUR notation, environment, graphical design, mixed systems
20	Eric Lecolinet	Multiple pointers: a study and an implementation.	IHM	2003	DBLP DOI BibTeX RDF	UDP/C notation, Ubit toolkit, bi-manual interaction, multiple pointers, multiple screen workspaces, single display groupware, synchronous groupware
20	Robert M. Hierons, Mark Harman, Harbhajan Singh	Automatically Generating Information from a Z Specification to Support the Classification Tree Method.	ZB	2003	DBLP DOI BibTeX RDF	formal methods, test automation, Z notation, Classification tree method
20	Peter Graubmann	MSC Connectors - The Chamber of Secrets.	SDL Forum	2003	DBLP DOI BibTeX RDF	Interface Protocol, Message Sequence Chart (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering Abbreviations: BMSC: Basic Message Sequence Chart, MSC: Message Se-quence Chart, LPO: Labeled Partial Ordering, TTCN-3: Test and Test Control Notation Version-3, Component, Interface, Compositionality
20	Paola Carrara, Daniela Fogli, Giuseppe Fresta, Piero Mussio	Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction.	Univers. Access Inf. Soc.	2002	DBLP DOI BibTeX RDF	User notation, XML, Adaptation, Multimodal interaction, End-user computing
20	Bruno Legeard, Fabien Peureux, Mark Utting	Automated Boundary Testing from Z and B.	FME	2002	DBLP DOI BibTeX RDF	boundary values, set constraint solving, specification-based testing, B method, Z notation
20	Ryszard Janicki, Emil Sekerinski	Foundations of the Trace Assertion Method of Module Interface Specification.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences
20	Brian Henderson-Sellers, Richard Dué, Ian M. Graham, Graham Collins	Third generation OO processes: a critique of RUP and OPEN from a project management perspective.	APSEC	2000	DBLP DOI BibTeX RDF	third generation object-oriented processes, object-oriented process environment and notation, full lifecycle description, project management, project management, object-oriented methods, software development management, OPEN, RUP, object-oriented software development, process support, rational unified process
20	WoonKiong Tan	A semantic model of a small typed functional language using Object-Z.	APSEC	2000	DBLP DOI BibTeX RDF	typed functional language, Object-Z notation, object-oriented procedural languages, programming languages, specification languages, specification languages, object-oriented languages, abstract data types, object-oriented methods, functional languages, denotational semantics, semantic model, programming language semantics, meta-language
20	Masayuki Hirayama, Jiro Okayasu, Tetsuya Yamamoto, Osamu Mizuno, Tohru Kikuno	Generating test items for checking illegal behaviors in software testing.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	illegal behaviors, test items, electrical appliances, case notation, deviation analysis technique, software fault tree, software testing, fault diagnosis, program testing, software fault tolerance, fault trees
20	Vangalur S. Alagar, D. Muthiayen	Towards a mechanical verification of real-time reactive systems modeled in UML.	RTCSA	2000	DBLP DOI BibTeX RDF	Prototype Verification System, real-time systems, UML, Unified Modeling Language, formal specification, object-oriented programming, program verification, specification languages, PVS, notation, safety-critical applications, mechanical verification, real-time reactive systems, design analysis, object-based systems
20	William G. Howerton, Michael G. Hinchey	Using the Right Tool for the Job.	ICECCS	2000	DBLP DOI BibTeX RDF	integration phases, development technique, informal specification techniques, abstract highly structured models, rigorous analysis, Air Force Weather Agency Standard Degribber, meteorological system, data decoding/encoding, World Meteorological Organization, standard Gridded Binary format, state based issues, complete specification, tool box approach, UML, formal specification, formal methods, semantics, software specification, specification technique, formal notation, modular approach, component specification, complex systems development
20	Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi	Verification Criteria for a Compositional Model for Reactive Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	verification criteria, system composition/decomposition, external interface, temporal constraint propagation, structural hierarchy, missing temporal constraints, TROL, object oriented real time language, formal specification, reactive systems, compositional model, graphical notation
20	Bala Kalyanasundaram, Kirk Pruhs	Minimizing Flow Time Nonclairvoyantly.	FOCS	1997	DBLP DOI BibTeX RDF	flow time minimization, dynamically arriving jobs, unknown execution times, average response/flow time, classic CPU scheduling problem, time sharing operating systems, standard 3-field scheduling notation, nonclairvoyant version, randomized nonclairvoyant algorithm, RMLF, multi level feedback algorithm, deterministic nonclairvoyant algorithm, scheduling, minimisation, competitive ratio, Unix operating system, adaptive adversary
20	Claudia I. Horta, José A. Lima	Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans.	EUROMICRO	1997	DBLP DOI BibTeX RDF	floorplan area optimization problem, rectangle envelope, nonoverlapping basic rectangles, floorplan topology, formal algebraic specification, SETS notation, VLSI physical design layout, module dimensions, arbitrarily complex composite floorplans, rotation-invariant single-expression formalism, generalized wheels floorplans, slicing representation, nonslicing representation, unified representation, topology-dimensionless description, floorplanning problem algorithms, algebraic specification, line segments, relative positioning
20	Péter Kacsuk, Günter Haring, Szabolcs Ferenczi, Georg Pigel, Gábor Dózsa, Tibor Fadgyas	Visual Parallel Programming in Monads-DPV.	PDP	1996	DBLP DOI BibTeX RDF	layered visual parallel programming approach, Monads-DPV, very high level parallel programs, parallel programming, object-oriented programming, case studies, visual programming, visual languages, object oriented model, graphical notation, massively parallel processors
20	Ki-Wook Kim, Ki-Byoung Kim, Hyoung-Joo Kim 0001	VIRON: An Annotation-Based Video Information Retrieval System.	COMPSAC	1996	DBLP DOI BibTeX RDF	annotation-based video information retrieval system, VIRON, video data searching, large archives, video data model, Video Information Retrieval On Notation, annotation sharing, annotation reuse, descriptor schema, CVU manager, interactive video player, video query tool, multimedia, data structures, query processing, query processing, multimedia computing, visual databases, very large databases, interactive video
20	Chie Dou	Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation
20	Gianpaolo Cugola, Carlo Ghezzi	Program families: some requirements issues for the process languages.	ISPW	1996	DBLP DOI BibTeX RDF	product family developments, process representation, software engineering, requirements, notation, process support, process enactment, process languages, program families
20	Aki Watanabe, Ken Sakamura	A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.	ICSE	1996	DBLP BibTeX RDF	ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
20	Martin Bichler, Stefan Nusser	Modular design of complex Web-applications with W3DT.	WETICE	1996	DBLP DOI BibTeX RDF	W3DT, complex Web applications, World Wide Web Design Technique, Web-based hypermedia applications, computer based design environment, working prototype, distributed Web sites, locally distributed systems, unified organization-wide model, single-server based Web-sites, large organization-wide systems, hypermedia, collaborative design, modeling technique, modular design, graphical notation, submodels
20	Alain Guyot, Marc Renaudin, Bachar El-Hassan, Volker Levering	Self timed division and square-root extraction.	VLSI Design	1996	DBLP DOI BibTeX RDF	self-timed integrated circuit, square-root extraction, mathematical algorithm, logic level, binary notation, iterative methods, design methodology, integrated circuit design, division, dividing circuits, quotient, pipeline arithmetic, pipelined arithmetic, functional blocks
20	Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk	Modeling and analysis of complex computer systems-the MTCCS approach.	ICECCS	1996	DBLP DOI BibTeX RDF	complex computer systems modeling, complex computer systems analysis, MTCCS approach, work in progress, real time concurrent systems, non trivial data component, Timed CCS, Model Oriented Timed Calculus of Communicating Systems, model oriented data language, operational style, temporal logic properties, combination notation, verification, formal specification, formal specification, specification language, symbolic model checking, VDM
20	Juan Bicarregui, Brian Ritchie	Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Abstract Machine Notation, model-oriented specification, formal methods, B, VDM
20	Bob Fields, Peter C. Wright, Michael D. Harrison	A task centered approach to analysing human error tolerance requirements.	RE	1995	DBLP DOI BibTeX RDF	task centered approach, human error tolerance requirements, human operators, operator tasks, software engineering notation, structured tasks, human error forms, formal specification, software development, human factors, systems engineering, user centred design, safety critical systems, task analysis, safety-critical software, operator models, system safety
20	Andrew A. Hanish, Tharam S. Dillon	Object-oriented modelling of communication protocols for re-use.	ICCCN	1995	DBLP DOI BibTeX RDF	industrial implementations, reuseable software modules, reuseable model elements, message sequence encoding, protocol entities, ISO/OSI Reference Model, generalised model, interlayer communication model, modified TTCN notation, Petri nets, protocols, communication protocols, networking protocols, object-oriented modelling, formal descriptions, protocol implementation, alternating bit protocol
20	Alain Guyot, Luis A. Montalvo, A. Houelle, Habib Mehrez, Nicolas Vaucher	Comparison of the layout synthesis of radix-2 and pseudo-radix-4 dividers.	VLSI Design	1995	DBLP DOI BibTeX RDF	layout synthesis, radix-2 dividers, pseudo-radix-4 dividers, redundant number notation, carry-propagation-free addition/subtraction, VLSI, logic CAD, circuit layout CAD, CMOS logic circuits, VLSI implementation, integrated circuit layout, redundant number systems, dividing circuits, digit-recurrence division
20	Ann Grbavec, Dorothea Blostein	Mathematics recognition using graph rewriting.	ICDAR	1995	DBLP DOI BibTeX RDF	mathematics recognition, high-level recognition, mathematical notation, symbol recognizer, recursive subexpressions, global context, operator precedence, operator range, two-dimensional patterns manipulation, notational conventions, circuit diagrams, musical scores, pattern recognition, image recognition, rewriting systems, graph rewriting, diagram recognition
20	David W. Bustard, Adam C. Winstanley	Making Changes to Formal Specifications: Requirements and an Example.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	change technique, formal notation LOTOS, SCAFFOLD project, process-oriented notations, software engineering, formal specification, formal specifications, formal specification, software maintenance, tool, specification languages, process algebra, configuration management, concurrent systems, LOTOS, change control
20	Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox	Dynamic Synchrony Among Atomic Actions.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	dynamicsynchrony, Swarm notation, leader election problem, concurrencycontrol, parallel programming, synchronization, concurrent programming, atomic actions, concurrent algorithm, sequential processes
20	Bernd J. Krämer, Luqi, Valdis Berzins	Compositional Semantics of a Real-Time Prototyping Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
20	Alan C. Shaw	Communicating Real-Time State Machines.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	communicating real-time state machines, executable notation, concurrent real-time systems, controlled physical environment, CRSMs, CRSM language, real-time systems, formal specification, finite state machines, parallel machines, requirements specification, state machines, communicating sequential processes, timing properties
20	Gunnar Gotshalks	A theory-model formalization of FlexOr.	CASCON	1992	DBLP BibTeX RDF	4Thought, theory-model, software engineering, specification, documentation, software design, Z notation, literate programming, entity-relationship
20	Santosh G. Abraham, David E. Hudak	Compile-Time Partitioning of Iterative Parallel Loops to Reduce Cache Coherency Traffic.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	adaptive data partitioning, iterative parallel loops, cache coherency traffic, ADP, communication-reducing back end, machine-specific partitioner, multiprocessor model, programexecution factors, vector notation, global data set, arrayaccesses, underlying system architecture, cache line sizes, hexagonal partitions, parallel programming, parallel machines, program compilers, parallelizing compilers, buffer storage, interprocessor communication, interprocessor communication, communication patterns, parallelprograms
20	Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè	A Unified High-Level Petri Net Formalism for Time-Critical Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	environment relationship nets, time-critical systems, ER nets, time notation, specification support environment, formal specification, Petri nets, software tools, timing, high-level Petri net
20	Gilbert Babin, François Lustman, Peretz Shoval	Specification and Design of Transactions in Information Systems: A Formal Approach.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	conventional information systems development, manual checking, transformational paradigm, ADISSA notation, transaction-oriented refinement, structured systems analysis, hierarchical set, formal specification, formal specification, data integrity, finite state machine, systems analysis, transaction processing, requirements specifications, finite automata, FSM, structured programming, formal approach
20	K. T. Narayana, Sanjeev Dharap	Formal Specification of a Look Manager.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	look manager, graphical interface software, user interfaces, formal specification, formal specification, computer graphics, modularity, interactive systems, formal model, Z notation, texturing model, dialog system
20	Gruia-Catalin Roman, H. Conrad Cunningham	Mixed Programming Mataphors in a Shared Dataspace Model of Concurrency.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mixed programming metaphors, simple language, shared dataspace approach, rule-based computations, asynchronous processing modes, highly dynamic program, synchrony relation, partially synchronous computations, programming notation, programming strategies, example programs, shared dataspace model, formal operational model, parallel programming, data structure, data structures, concurrency, message-passing, parallel languages, Swarm, programming paradigms, concurrent computation, shared-variable, programming construct, unified model
20	Gerald W. Neufeld, Yueli Yang	The Design and Implementation of an ASN.1-C Compiler.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	abstract syntax notation one, ASN.1-C compiler, international standard specification, transfer-syntax, basic encoding rules, external data representation, ED library, CASN1, design, user interface, protocol, protocols, standards, C, implementation, encoding, program compilers, decoding, decoding
20	Michael V. Mannino, Injun Choi, Don S. Batory	The Object-Oriented Functional Data Language.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics
20	David P. Anderson	Automated Protocol Implementation with RTAG.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	automated protocol implementation, RTAG, real-time asynchronous grammars, attribute grammar notation, portable software system, Unix-based automated implementation, protocols, programming language, grammars
19	Dimo Dimov 0001, Lasko Laskov	Invariant Fourier Descriptors Representation of Medieval Byzantine Neume Notation.	COST 2101/2102 Conference	2009	DBLP DOI BibTeX RDF	historical document image processing, OCR, Fourier descriptors
19	Anis Charfi, Artur Schmidt, Axel Spriestersbach	A Hybrid Graphical and Textual Notation and Editor for UML Actions.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
19	Michael zur Muehlen, Jan Recker	How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation.	CAiSE	2008	DBLP DOI BibTeX RDF	Process Modeling, BPMN, Language Analysis
19	Christopher T. Johnston, Paul J. Lyons, Donald G. Bailey	A Visual Notation for Processor and Resource Scheduling.	DELTA	2008	DBLP DOI BibTeX RDF	Hardware design Languages, FPGA, Image Processing, Finite state machines, Visual Languages
19	Kenneth E. Iverson	Notation as a tool of thought.	ACM SIGAPL APL Quote Quad	2007	DBLP DOI BibTeX RDF	APL
19	Daniel D. Suthers, Nathan Dwyer, Ravikiran Vatrapu, Richard Medina	An Abstract Transcript Notation for Analyzing Interactional Construction of Meaning in Online Learning.	HICSS	2007	DBLP DOI BibTeX RDF
19	Oddleif Halvorsen, Øystein Haugen	Proposed Notation for Exception Handling in UML 2 Sequence Diagrams.	ASWEC	2006	DBLP DOI BibTeX RDF
19	Bryon K. Ehlmann	Incorporating Object Relationship Notation (ORN) into SQL: revisited.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	ORN, relationship semantics, SQL, association
19	Mohammed Berrada, Bouchaib Bounabat, Mostafa Harti	Qualitative Verification of Multi-Agents Reactive Decisional System Using Business Process Modeling Notation.	IAT	2006	DBLP DOI BibTeX RDF
19	Wladyslaw Homenda	Automatic understanding of images: integrated syntactic and semantic analysis of music notation.	IJCNN	2006	DBLP DOI BibTeX RDF
19	Shun Zhang, Qilei Li, Tao Yu, XiaoJie Shen, Weidong Geng, Pingyao Wang	Implementation of a Notation-Based Motion Choreography System.	VSMM	2006	DBLP DOI BibTeX RDF
19	Hailang Zuo, Mike Mannion, David Sellier, Richard Foley	An Extension of Problem Frame Notation for Software Product Lines.	APSEC	2005	DBLP DOI BibTeX RDF
19	Charmain Cilliers, André P. Calitz, Jéan H. Greyling	The effect of integrating an Iconic programming notation into CS1.	ITiCSE	2005	DBLP DOI BibTeX RDF	CS1, introductory programming
19	Derek M. Drake, Henry S. Baird	Distinguishing Mathematics Notation from English Text using Computational Geometry.	ICDAR	2005	DBLP DOI BibTeX RDF
19		Part V. Standardized Test Notation and Execution Architecture.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
19	Jeremy Avigad, Kevin Donnelly	Formalizing O Notation in Isabelle/HOL.	IJCAR	2004	DBLP DOI BibTeX RDF
19	Matthias Book, Volker Gruhn	A Notation and Framework for Dialog Flow Control in Web Applications.	ICWE	2004	DBLP DOI BibTeX RDF
19	Dominik Stein, Stefan Hanenberg, Rainer Unland	A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models.	MDAFA	2004	DBLP DOI BibTeX RDF
19	Pedro J. Molina, Jorge Belenguer, Oscar Pastor 0001	Describing Just-UI Concepts Using a Task Notation.	DSV-IS	2003	DBLP DOI BibTeX RDF
19	Kam Hay Fung, Graham Cedric Low	Design Notation for Dynamic Evolution in Component Based Distributed Systems.	EDOC	2003	DBLP DOI BibTeX RDF
19	Miguel Felder, Mauro Pezzè	A formal design notation for real-time systems.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Formal design specification, design of real time systems, formal analysis of design specification, structured design
19	Yingxu Wang	A New Mathematical Notation for Describing Notion and Thought in Software Design.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	notion description, static behaviors, software engineering, software architecture, formal methods, Cognitive informatics, dynamic behaviors, RTPA
19	Alex Doboli, Ranga Vemuri	A Functional Specification Notation for Co-Design of Mixed Analog-Digital Systems.	DATE	2002	DBLP DOI BibTeX RDF
19	Pascal Rapicault, Jean-Paul Rigault, Luc Bourlier	Model, Notation, and Tools for Verification of Protocol-Based Components Assembly.	Component Deployment	2002	DBLP DOI BibTeX RDF
19	Tatiana Evreinova, Roope Raisamo	Visualization of Music Notation for Partially Sighted Persons.	ICCHP	2002	DBLP DOI BibTeX RDF
19	Ulrike Becker-Kornstaedt, Holger Neu, Gunter Hirche	Software Process Technology Transfer: Using a Formal Process Notation to Capture a Software Process in Industry.	EWSPT	2001	DBLP DOI BibTeX RDF
19	Kazuyuki Kanda, Akira Ichikawa, Yuji Nagashima, Yushi Kato, Mina Terauchi, Daisuke Hara, Masanobu Sato	Notation System and Statistical Analysis of NMS in JSL.	Gesture Workshop	2001	DBLP DOI BibTeX RDF
19	Kevin A. Schneider, James R. Cordy	Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems.	DSV-IS	2001	DBLP DOI BibTeX RDF
19	Nancy A. Day, Jeffrey J. Joyce	A Framework for Multi-Notation Requirements Specification and Analysis.	ICRE	2000	DBLP DOI BibTeX RDF
19	Zenon Kulpa	A Diagrammatic Notation for Interval Algebra.	Diagrams	2000	DBLP DOI BibTeX RDF
19	Velissarios G. Gezerlis, Sergios Theodoridis	An Optical Music Recognition System for the Notation of the Orthodox Hellenic Byzantine Music.	ICPR	2000	DBLP DOI BibTeX RDF
19	Howard A. Peelle	Teaching J as a computer notation for secondary mathematics.	APL	1999	DBLP DOI BibTeX RDF	APL
19	Nabil Bouzaiene, Loïc Le Gall, Emmanuel Saint-James	Une bibliothéque informatique pour la notation musicale baroque.	EP	1998	DBLP DOI BibTeX RDF
19	Gianna Reggio, Mauro Larosa	A Graphic Notation for Formal Specifications of Dynamic Systems.	FME	1997	DBLP DOI BibTeX RDF
19	J. Hoffman	A Practical Notation for Object Oriented Analysis with a Formal Meaning.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	formal methods, information modeling, object oriented analysis
19	Kate Finney	Mathematical Notation in Formal Specification: Too Difficult for the Masses?	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	reading Z, Formal specification, mathematics
19	K. Mani Chandy, Ian T. Foster	A Notation for Deterministic Cooperating Processes.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	debugging, functional programming, determinism, multicomputers, parallel programming languages
19	Carla Simone, Monica Divitini, Kjeld Schmidt	A notation for malleable and interoperable coordination mechanisms for CSCW systems.	COOCS	1995	DBLP DOI BibTeX RDF
19	Peter Henderson 0001, Graham D. Pratten	POSD-a notation for presenting complex systems of processes.	ICECCS	1995	DBLP DOI BibTeX RDF	retail data processing, large system behaviour, complex process systems, large enterprises, diagramming techniques, arbitrary component subcollections, very complex business systems, information systems, distributed processing, business processes, systems analysis, business process models, business data processing, flowcharting, financial data processing, data flow diagrams, corporate modelling
19	Masahiko Tsukamoto, Shojiro Nishio	Inheritance Reasoning by Regular Sets in Knowledge-bases with Dot Notation.	DOOD	1995	DBLP DOI BibTeX RDF
19	Brian Ritchie, Juan Bicarregui, Howard P. Haughton	Experiences in Using the Abstract Machine Notation in a GKS Case Study.	FME	1994	DBLP DOI BibTeX RDF
19	Daniel Kim Chung Chan, Philip W. Trinder	Object Comprehensions: A Query Notation for Object-Oriented Databases.	BNCOD	1994	DBLP DOI BibTeX RDF
19	Cliff B. Jones	A pi-Calculus Semantics for an Object-Based Design Notation.	CONCUR	1993	DBLP DOI BibTeX RDF
19	Reinder J. Bril	A Model-Oriented Method for Algebraic Specification using COLD-1 as Notation.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF	Model-oriented methods, method support, algebraic specifications, wide-spectrum languages
19	Jamie Schultz	A graphical reflection notation used in an intelligent discovery world tutoring system.	CHI	1991	DBLP DOI BibTeX RDF
19	Jozsef A. Toth	Specification of an Object to Object Protocol in Abstract Syntax Notation One (ASN.1).	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
19	W. P. Yin, Murat M. Tanik, David Y. Y. Yun	Software design representation: design object descriptive attribute notation (DODAN).	ICCL	1988	DBLP DOI BibTeX RDF
19	H. James Gawlik	MIRFAC: a compiler based on standard mathematical notation and plain English.	Commun. ACM	1963	DBLP DOI BibTeX RDF
17	Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun	A Formal Description of Web Services Container Architecture.	ICIW	2009	DBLP DOI BibTeX RDF
17	Luis E. Mendoza Morales, Manuel I. Capel	Automatic Compositional Verification of Business Processes.	ICEIS	2009	DBLP DOI BibTeX RDF	Model-Checking, Verification, Formal Methods, Business Process Modelling, Task Model
17	Christoph Dalitz, Michael Droettboom, Bastian Pranzas, Ichiro Fujinaga	A Comparative Study of Staff Removal Algorithms.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Music (Optical Recognition), Performance evaluation, Segmentation, Pixel classification
17	Christian Zebelein, Joachim Falk, Christian Haubelt, Jürgen Teich	Classification of General Data Flow Actors into Known Models of Computation.	MEMOCODE	2008	DBLP DOI BibTeX RDF
17	Bryan Pardo, David Little 0001, Rui Jiang, Hagai Livni, Jinyu Han	The vocalsearch music search engine.	JCDL	2008	DBLP DOI BibTeX RDF	multimedia, search, interface, music
17	Francisco Jurado 0001, Ana I. Molina, William J. Giraldo, Miguel A. Redondo, Manuel Ortega 0001	Using CIAN for Specifying Collaborative Scripts in Learning Design.	CDVE	2008	DBLP DOI BibTeX RDF	methodological approach, model-driven development, CSCL, Learning design