Search results for "notation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Prakash Musham, Sharad Singh, Rashi Bahal, T. V. Prabhakar	Visual SBVR.	ICDIM	2008	DBLP DOI BibTeX RDF
17	James P. Davis, Ronald D. Bonnell	Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Unified Modeling Language, constraints, Conceptual modeling, knowledge engineering, agent-oriented software engineering, object-oriented analysis, Boolean logic
17	Robert Colvin, Lars Grunske, Kirsten Winter	Probabilistic Timed Behavior Trees.	IFM	2007	DBLP DOI BibTeX RDF	model checking, probabilities, timed automata, Behavior Trees
17	Andreas Harth, Sebastian Ryszard Kruk, Stefan Decker	Graphical representation of RDF queries.	WWW	2006	DBLP DOI BibTeX RDF	metadata, query, RDF, semistructured data
17	Bohdan Macukow, Wladyslaw Homenda	Methods of Artificial Intelligence in Blind People Education.	ICAISC	2006	DBLP DOI BibTeX RDF
17	Rafal Kapela, Andrzej Rybarczyk	The Neighboring Pixel Representation for Efficient Binary Image Processing Operations.	PARELEC	2006	DBLP DOI BibTeX RDF
17	Calum A. M. Grant	The Visula programming language and environment.	VL/HCC	2006	DBLP DOI BibTeX RDF
17	Jason Kealey, Daniel Amyot	Towards the Automated Conversion of Natural-Language use Cases to Graphical use Case Maps.	CCECE	2006	DBLP DOI BibTeX RDF
17	Paul-André Melliès	Functorial Boxes in String Diagrams.	CSL	2006	DBLP DOI BibTeX RDF
17	Raphael B. Yehezkael	Flexible Algorithms - Selections from a course for beginners.	ITRE	2006	DBLP DOI BibTeX RDF
17	Michael Breen	Experience of using a lightweight formal specification method for a commercial embedded system product line.	Requir. Eng.	2005	DBLP DOI BibTeX RDF	Tabular notations, Embedded systems, Finite state machines, Lightweight formal methods, User interface specification
17	Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero	A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	scenario-based verification, model checking, formal methods, Requirements/specifications
17	Luciano Baresi, Mauro Pezzè	Formal interpreters for diagram notations.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	Semi-formal notations, semantics, graph transformation, high-level Petri nets
17	Matteo Pradella, Matteo Rossi 0001, Dino Mandrioli	A UML-Compatible Formal Language for System Architecture Description.	SDL Forum	2005	DBLP DOI BibTeX RDF
17	Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese	A framework for modeling and implementing visual notations with applications to software engineering.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	software engineering models, visual grammars, visual notations, UML, metamodeling, LR parsing, meta-CASE
17	Larry Breed	How we got to APL/1130.	ACM SIGAPL APL Quote Quad	2004	DBLP DOI BibTeX RDF
17	Jan Van den Bergh 0001, Karin Coninx	Contextual ConcurTaskTrees: Integrating dynamic contexts in task based design.	PerCom Workshops	2004	DBLP DOI BibTeX RDF
17	Ricardo Choren, Carlos José Pereira de Lucena	The ANote Modeling Language for Agent-Oriented Specification.	SELMAS	2004	DBLP DOI BibTeX RDF
17	Lars Graugaard	Open and Closed Form in Interactive Music.	CMMR	2004	DBLP DOI BibTeX RDF
17	Hassan Gomaa	Designing Software Product Lines with the Unified Modeling Language (UML).	SPLC	2004	DBLP DOI BibTeX RDF
17	Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day	Template Semantics for Model-Based Notations.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Model-based specification notations, automated generation of analysis tools, semantics, concurrency, composition
17	Jan Romberg, Oscar Slotosch, Gabor Hahn	MoDe: A Method for System-Level Architecture Evaluation.	MEMOCODE	2003	DBLP DOI BibTeX RDF
17	Asif Iqbal 0004, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001	Visual Modeling and Verification of Distributed Reactive Systems.	SAFECOMP	2003	DBLP DOI BibTeX RDF
17	Richard Kennaway	Experience with and Requirements for a Gesture Description Language for Synthetic Animation.	Gesture Workshop	2003	DBLP DOI BibTeX RDF
17	Mariusz Momotko, Bartosz Nowicki	Visualisation of (Distributed) Process Execution based on Extended BPMN.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
17	Nora Koch, Andreas Kraus	Towards a Common Metamodell for the Development of Web Appliactions.	ICWE	2003	DBLP DOI BibTeX RDF
17	Marco Winckler, Philippe A. Palanque	StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications.	DSV-IS	2003	DBLP DOI BibTeX RDF
17	Akira Amano, Naoki Asada	Graph Grammar Based Analysis System of Complex Table Form Document.	ICDAR	2003	DBLP DOI BibTeX RDF
17	James F. Blinn	Visualize Whirled 2 x 2 Matrices.	IEEE Computer Graphics and Applications	2002	DBLP DOI BibTeX RDF
17	Frantisek Plásil, Stanislav Visnovsky	Behavior Protocols for Software Components.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	component-based programming, software architecture, Behavior protocols
17	Gopal Gupta 0001, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou	Semantics-Based Filtering: Logic Programming's Killer App?	PADL	2002	DBLP DOI BibTeX RDF
17	Piotr Kosiuczenko	Sequence Diagrams for Mobility.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
17	Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day	Composable semantics for model-based notations.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	model-based notations, communication, concurrency, composition, operational semantics, formal analysis
17	Emmanuel Dubois 0001, Paulo Pinheiro da Silva, Philip D. Gray	Notational Support for the Design of Augmented Reality Systems.	DSV-IS	2002	DBLP DOI BibTeX RDF
17	Joseph Gil, John Howse, Stuart Kent 0001	Advanced visual modelling: beyond UML.	ICSE	2002	DBLP DOI BibTeX RDF	UML
17	Cliff B. Jones	Thinking Tools for the Future of Computing Science.	Informatics	2001	DBLP DOI BibTeX RDF
17	Graham McLeod, Terry A. Halpin, Hannu Kangassalo, Keng Siau	Unified Modeling Language (UML): A Critical Evaluation and Suggested Future - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
17	Niclas Bauer	Deployment of SDL Systems Using UML.	SDL Forum	2001	DBLP DOI BibTeX RDF
17	Min Du 0002, David England	Temporal Patterns for Complex Interaction Design.	DSV-IS	2001	DBLP DOI BibTeX RDF
17	Brendan P. Mahony, Jin Song Dong	Timed Communicating Object Z.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z
17	Nils Klarlund, Anders Møller, Michael I. Schwartzbach	DSD: A schema language for XML.	FMSP	2000	DBLP DOI BibTeX RDF	XML
17	Ian Toyn, Samuel H. Valentine, David A. Duffy	On Mutually Recursive Free Types in Z.	ZB	2000	DBLP DOI BibTeX RDF
17	LeMai Nguyen, Paul A. Swatman	Complementary Use of ad hoc and post hoc Design Rationale for Creating and Organizing Process Knowledge.	HICSS	2000	DBLP DOI BibTeX RDF
17	Kevin Lano, David Clark 0001, Kelly Androutsopoulos, Pauline Kan	Invariant-Based Synthesis of Fault-Tolerant Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
17	Maurizio Morisio, Guilherme Travassos, Michael E. Stark	Extending UML to Support Domain Analysis.	ASE	2000	DBLP DOI BibTeX RDF
17	Hassan Gomaa	Designing real-time and distributed applications with the UML (tutorial session).	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, real-time, software design, distributed application
17	Huaikou Miao, Xiaolei Gao, Ling Liu	An Approach to Testing the Nonexistence of Initial State in Z Specifications.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	constructed function, constrained states space, states space, Z specifications
17	Michael A. Riepe, Karem A. Sakallah	The edge-based design rule model revisited.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	design rule checking, layout verification, design rules
17	K. Rustan M. Leino	Recursive Object Types in a Logic of Object-Oriented Programs.	ESOP	1998	DBLP DOI BibTeX RDF
17	Stuart Anderson, Konstantinos Tourlas	Diagrams and Programming Languages for Programmable Controllers.	FME	1997	DBLP DOI BibTeX RDF
17	Robert Kremer, Dickson Lukose, Brian R. Gaines	Knowledge Modeling Using Annotated Flow Chart.	ICCS	1997	DBLP DOI BibTeX RDF
17	Joel S. Emer, Nicholas C. Gloy	A Language for Describing Predictors and Its Application to Automatic Synthesis.	ISCA	1997	DBLP DOI BibTeX RDF
17	Stefano Russo 0001, Carlo Savy, Innes Jelly, Peter Collingwood	Petri Net Modelling of PARSE Designs.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
17	Simon R. Wiseman, Bryony Pomeroy	SPEAR: Extending ER for Dynamic Behaviour and Refinement.	BNCOD	1996	DBLP DOI BibTeX RDF
17	George Krasovec, Mark Baker, Serban Gheorghe	Target tracking: a real-time object oriented design experiment.	ICECCS	1995	DBLP DOI BibTeX RDF	sonar tracking, real-time object oriented design experiment, tool sets, Real-Time Object Oriented Modeling technique, real-time distributed applications, state-intensive real-time distributed computer-based systems, distributed concurrent processing, ROOM methodology, fault tolerance, real-time systems, object-oriented programming, distributed processing, software tools, software quality, software fault tolerance, real-time applications, target tracking, target tracking, real-time performance, life cycle costs
17	John C. Hart, George K. Francis, Louis H. Kauffman	Visualizing quaternion rotation.	ACM Trans. Graph.	1994	DBLP DOI BibTeX RDF	visualization, education, interpolation, deformation, orientation, rotation, quaternions
17	Svend Frølund	Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages.	ECOOP	1992	DBLP DOI BibTeX RDF
17	H. Rex Hartson, Antonio C. Siochi, Deborah Hix	The UAN: A User-Oriented Representation for Direct Manipulation Interface Designs.	ACM Trans. Inf. Syst.	1990	DBLP DOI BibTeX RDF
17	Scott E. Hudson, Shamim P. Mohamed	Interactive Specification of Flexible User Interface Displays.	ACM Trans. Inf. Syst.	1990	DBLP DOI BibTeX RDF
17	J. Michael Spivey, Bernard Sufrin	Type Inference in Z.	VDM Europe	1990	DBLP DOI BibTeX RDF
17	S. O'Daniel, G. Clark, K. Cooper	Determination of order of an algorithm.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
17	Manfred Jackel	Context Senitive Formatting.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
17	Arol Ambler, Robert Trawick	Chatin's Graph Coloring Algorithm as a Method for Assigning Positions to Diana Attributes.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
17	Mark B. Wells	Recent improvements in MADCAP.	Commun. ACM	1963	DBLP DOI BibTeX RDF
14	Marc Poinot	Five Good Reasons to Use the Hierarchical Data Format.	Comput. Sci. Eng.	2010	DBLP DOI BibTeX RDF	Hierarchical Data Format (HDF), CFD General Notation System (CGNS), scientific computing, Computational Fluid Dynamics, open systems, Numerical simulation
14	Saeed Ahmadi Behnam, Daniel Amyot, Gunter Mussbacher	Towards a Pattern-Based Framework for Goal-Driven Business Process Modeling.	SERA	2010	DBLP DOI BibTeX RDF	Patterns, Business Processes, Healthcare, Goal Modeling, User Requirements Notation
14	Sepideh Ghanavati, Daniel Amyot, Alberto Siena, Angelo Susi, Anna Perini	Towards a Framework for Business Process Compliance.	EDOCW	2010	DBLP DOI BibTeX RDF	legal modeling, N`{o}mos, business processes, Goal modeling, User Requirements Notation
14	Roelof K. Brouwer	Extending the rand, adjusted rand and jaccard indices to fuzzy partitions.	J. Intell. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Measures of agreement, Measures of association, Consensus indices, Clustering quality, Array processing language, J programming language, J notation, Fuzzy clustering
14	Philipp Liegl, Rainer Schuster, Marco Zapletal, Christian Huemer, Hannes Werthner, Michael Aigner, Martin Bernauer, Bjoern Klinger, Michaela Mayr, Ramin Mizani, Martin Windisch	[vem: xi: ] - A Methodology for Process Based Requirements Engineering.	RE	2009	DBLP DOI BibTeX RDF	process based requirements engineering, business process modeling notation, service oriented architectures
14	Iván A. García, Carla L. Pacheco, W. Garcia	A Cooperative Application to Improve the Educational Software Design Using Re-usable Processes.	CDVE	2009	DBLP DOI BibTeX RDF	process reuse, process notation, Software reuse, cooperative learning, educational software, process tailoring
14	Alireza Pourshahid, Gunter Mussbacher, Daniel Amyot, Michael Weiss 0001	An Aspect-Oriented Framework for Business Process Improvement.	MCETECH	2009	DBLP DOI BibTeX RDF	Process Redesign, Process Modeling, Business Process Management, Process Improvement, Aspect-Oriented Modeling, User Requirements Notation
14	Saeed Ahmadi Behnam, Daniel Amyot, Alan J. Forster, Liam Peyton, Azalia Shamsaei	Goal-Driven Development of a Patient Surveillance Application for Improving Patient Safety.	MCETECH	2009	DBLP DOI BibTeX RDF	Adverse Events, Business Process Modeling, Health Care, Goal Modeling, Patient Safety, User Requirements Notation
14	Xia Liu, Liam Peyton, Craig E. Kuziemsky	A Requirement Engineering Framework for Electronic Data Sharing of Health Care Data Between Organizations.	MCETECH	2009	DBLP DOI BibTeX RDF	quality of care, privacy, Requirements Engineering, health care, data sharing, User Requirements Notation
14	Daniel M. Zimmerman, Joseph R. Kiniry	A Verification-Centric Software Development Process for Java.	QSIC	2009	DBLP DOI BibTeX RDF	Business Object Notation, Java, formal methods, software verification, Design by Contract, software engineering process, Java Modeling Language
14	Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni	Interactive Specification and Verification of Behavioural Adaptation Contracts.	QSIC	2009	DBLP DOI BibTeX RDF	components and services, behavioural interface, adaptation, validation and verification, graphical notation
14	Ramana Chakradhar Jandhyala, Mukkai S. Krishnamoorthy, George Nagy, Raghav K. Padmanabhan, Sharad C. Seth, William Silversmith	From Tessellations to Table Interpretation.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF	rectangular tilings, X-Y trees, table grammars, Wang notation, tables, document understanding
14	James H. Davenport, Paul Libbrecht	The Freedom to Extend OpenMath and its Utility.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	World Wide Web, semantics, multilinguality, Notation
14	Yingxu Wang 0001	On Contemporary Denotational Mathematics for Computational Intelligence.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Denotational mathematics, concept algebra, system algebra, embedded relations, incremental relations, big-R notation, software engineering, process algebra, knowledge engineering, computational intelligence, cognitive informatics, RTPA
14	Leo Freitas, Jim Woodcock 0001	Mechanising Mondex with Z/Eves.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
14	Wijnand Schepens	A framework for complex time structures based on coupled lists.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	aligned lists, coupled lists, inspector, ordered timed sequence, parallel iteration, proceeder, sequence algorithm, framework, music, iterator, music notation
14	Nurlida Basir, Ewen Denney, Bernd Fischer 0002	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Goal Structuring Notation, Hoare logic, fault tree analysis, Automated code generation, safety case, formal program verification
14	Shuanghui Hao, Weifeng Zheng, Minghui Hao, Jie Liu, Hong Li	Simulation and Development Environment for Digital Controlled PMSM Servo System.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	PMSM servo system, closed-loop simulation, Reverse Polish Notation, Runge-Kutta
14	Paulo F. Silva 0001, José Nuno Oliveira	'Galculator': functional prototype of a Galois-connection based proof assistant.	PPDP	2008	DBLP DOI BibTeX RDF	point-free notation, haskell, DSL, Galois connections, proof assistant, GADT
14	Marco Autili, Paola Inverardi, Patrizio Pelliccione	Graphical scenarios for specifying temporal properties: an automated approach.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Scenario based notation, System requirements specification, Temporal properties specification
14	Patrício de Alencar Silva, Cláudia M. F. A. Ribeiro, Ulrich Schiel	Formalizing ontology reconciliation techniques as a basis for meaningful mediation in service-related tasks.	PIKM	2007	DBLP DOI BibTeX RDF	ontology reconciliation, semantic web, formal methods, service discovery, service selection, Z notation
14	Tom Calvert	Animating dance.	Graphics Interface	2007	DBLP DOI BibTeX RDF	dance notation, representation of data, animation, motion capture, dance
14	Frank Radeke, Peter Forbrig	Patterns in Task-Based Modeling of User Interfaces.	TAMODIA	2007	DBLP DOI BibTeX RDF	Pattern Notation, Pattern, Model-based User Interface Design
14	Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng	A security specification verification technique based on the international standard ISO/IEC 15408.	SAC	2006	DBLP DOI BibTeX RDF	theorem-proving, Z notation, common criteria
14	Andrew M. Webb, Andruid Kerne, Eunyee Koh, Pranesh Joshi, YoungJoo Park, Ross Graeber	Choreographic buttons: promoting social interaction through human movement and clear affordances.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	Laban notation, choreographic buttons, computer-supported cooperative play, mappings, gesture, iterative design, movement
14	Louis W. G. Barton, John A. Caldwell, Peter Jeavons 0001	E-library of medieval chant manuscript transcriptions.	JCDL	2005	DBLP DOI BibTeX RDF	chant, medieval manuscripts, XML, digital libraries, search, comparison, data representation, transcription, musical notation
14	Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh 0001	Visual specification and analysis of use cases.	SOFTVIS	2005	DBLP DOI BibTeX RDF	visual notation, model checking, UML, requirements
14	Ilyas Eker	The design of robust multi-loop-cascaded hydro governors.	Eng. Comput.	2004	DBLP DOI BibTeX RDF	Nomenclature, Polynomial notation is employed and the polynomials are assumed to be functions of the complex s variable, X* denotes complex conjugate of the X., a. S: complex frequency and is the frequency., b. R+: Set of all positive real numbers, c. R: Set of all real numbers, d. R(.): Set of all real rational functions, e. R[.]: Set of finite polynomials with real coefficients, f. Rmxm(.): Set of all real (mxm) matrices, g. Rmxm[.]: Set of polynomial (mxm) matrices
14	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A constraint solver to animate a B specification.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints
14	Jan Van den Bergh 0001, Karin Coninx	Model-based design of context-sensitive interactive applications: a discussion of notations.	TAMODIA	2004	DBLP DOI BibTeX RDF	context-sensitive interactive systems, model-based user interface design, graphical notation
14	Nikunja Swain, Mrutyunjaya Swain	Design and development of computer networking modules using virtual instruments and object oriented programming.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	IP classes, dotted decimal notation, java/visual basic, router forwarding, subnet & subnet mask, TCP/IP, virtual instruments, routing table
14	Martin Stacey, Claudia M. Eckert	Against Ambiguity.	Comput. Support. Cooperative Work.	2003	DBLP DOI BibTeX RDF	knowledge level, meta-notation, communication, negotiation, sketching, collaborative design, ambiguity, knitwear
14	Mickaël Baron, Patrick Girard 0002	SUIDT: a user interface builder for secure user interfaces.	IHM	2003	DBLP DOI BibTeX RDF	design notation, model based systems(MBS), task validation, visual programming, task model
14	Gopalan Nadathur, Xiaochu Qi	Explicit substitutions in the reduction of lambda terms.	PPDP	2003	DBLP DOI BibTeX RDF	beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages
14	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
14	Bruno Legeard, Fabien Peureux	Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study.	ASE	2001	DBLP DOI BibTeX RDF	B notation, GSM 11-11 standard, Constraint Logic Programming, specification-based testing