Search results for "notation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
65	Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe	A Set Approach to Role Modeling.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference
62	Phillip J. Brooke, Richard F. Paige	The Design of a Tool-Supported Graphical Notation for Timed CSP.	IFM	2002	DBLP DOI BibTeX RDF	process algebra, tool support, graphical notation, Timed CSP
54	Jason F. Harris	Advanced notations in Mathematica.	ISSAC	2000	DBLP DOI BibTeX RDF	bra-ket notation, graphical front end, notational extensions, tensor notation, Mathematica, notation
53	Gunter Mussbacher, Daniel Amyot	Extending the User Requirements Notation with Aspect-Oriented Concepts.	SDL Forum	2009	DBLP DOI BibTeX RDF	Aspect-oriented User Requirements Notation, Aspects, Aspect-oriented Modeling, User Requirements Notation, Aspect-oriented Requirements Engineering, Use Case Maps, Goal-oriented Requirement Language
47	Yingxu Wang	On the Big-R Notation for Describing Iterative and Recursive Behaviors.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
47	Krister Åhlander, Kurt Otto	On Software Support for Finite Difference Schemes Based on Index Notation.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
45	Frédéric Jourde, Yann Laurillau, Laurence Nigay	COMM notation for specifying collaborative and multimodal interactive systems.	EICS	2010	DBLP DOI BibTeX RDF	specification notation, groupware, multimodal interaction
45	Bernard Stepien, Amy P. Felty, Stan Matwin	A Non-technical User-Oriented Display Notation for XACML Conditions.	MCETECH	2009	DBLP DOI BibTeX RDF	rule editor, Access control, XACML, notation
45	Mamadou K. Traoré	A graphical notation for DEVS.	SpringSim	2009	DBLP DOI BibTeX RDF	state/event chart, business process, DEVS, flowchart, graphical notation
45	Gunter Mussbacher	Aspect-Oriented User Requirements Notation: Aspects in Goal and Scenario Models.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF	Aspects, User Requirements Notation, Aspect-oriented Requirements Engineering, Use Case Maps, Goal-oriented Requirement Language
45	Pierfrancesco Bellini, Paolo Nesi, Marius B. Spinu	Cooperative visual manipulation of music notation.	ACM Trans. Comput. Hum. Interact.	2002	DBLP DOI BibTeX RDF	Collaboration of music notation editing, additional command list, cooperative music, distributed music, electronic lectern, neutral version, selective undo, computer-supported cooperative work, collaborative systems, user interface management systems, consistency control
45	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
45	Dorothea Blostein, Lippold Haken	Using Diagram Generation Software to Improve Diagram Recognition: A Case Study of Music Notation.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	Document image analysis, graphics recognition, music notation, diagram recognition
44	Sally-Anne Zimmermann	Modified Stave Notation - An Approach to Making Stave Notation More Accessible to Users Who Are Partially Sighted.	ICCHP	2004	DBLP DOI BibTeX RDF
42	Luciano Baresi, Mauro Pezzè	Toward Formalizing Structured Analysis.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	Hatley and Pirbhai's requirements definition notation, informal versus formal specifications, structured analysis/real-time
42	Peter D. Mosses	On the Action Semantics of Concurrent Programming Languages.	REX Workshop	1992	DBLP DOI BibTeX RDF	action notation, semantics, concurrency, synchronization, distributed processing, asynchrony, action semantics
42	Paul B. Mann	A translational BNF grammar notation (TBNF).	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	LALR, LL, LR, intermediate code, language recognition, grammar, syntax, parser, parser generator, compiler compiler, AST, BNF, grammarware, EBNF
42	Chi Nung Chu, Yu Ting Huang	The Design of Spoken Music Web Browser for Teaching Learning-Disabled Children: A Chevé System Approach to Music Notation.	ICCHP	2004	DBLP DOI BibTeX RDF
42	Pierfrancesco Bellini, Jean-Pierre Barthélemy, Paolo Nesi, Giorgio Zoia	A Proposal for the Integration of Symbolic Music Notation into Multimedia Frameworks.	WEDELMUSIC	2004	DBLP DOI BibTeX RDF
42	Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele	Generating an action notation environment from Montages descriptions.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Formal specification of programming languages, Generating programming environments and tools, Abstract state machines, Montages, Action semantics
39	Torben Æ. Mogensen	Troll, a language for specifying dice-rolls.	SAC	2009	DBLP DOI BibTeX RDF	probability, domain-specific languages, dice
39	Dorothea Blostein	Math-Literate Computers.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
39	D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon	An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.	RTCSA	2000	DBLP DOI BibTeX RDF	visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems
39	Hassan Gomaa, Shaoying Liu, Michael E. Shin	Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language.	ICECCS	2000	DBLP DOI BibTeX RDF	domain modeling method, families of systems, SOFL formal specification language, multiple view object oriented analysis model, aggregation hierarchies, generalization/specialization hierarchies, UML static modeling notation, object communication diagrams, SOFL condition data flow diagram notation, variant classes, specification languages, application domain
37	Enrico Bortolazzi, Nadine Baptiste-Jessel, Giovanni Bertoni	BMML: A Mark-Up Language for Braille Music.	ICCHP	2008	DBLP DOI BibTeX RDF	Braille music, BMML, XML, music notation
37	Emmanuel Dubois 0001, Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas, Liliane J. Jacob	Beyond user experimentation: notational-based systematic evaluation of interaction techniques in virtual reality environments.	Virtual Real.	2004	DBLP DOI BibTeX RDF	Interaction design notation, User experimentation, Virtual reality, Mixed reality, 3D interaction
36	Xavier Lacaze, Philippe A. Palanque	DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems.	INTERACT (2)	2007	DBLP DOI BibTeX RDF
36	Stefan Hallerstede	Justifications for the Event-B Modelling Notation.	B	2007	DBLP DOI BibTeX RDF
36	Maarten H. van Emden	On the Significance of Digits in Interval Notation.	Reliab. Comput.	2004	DBLP DOI BibTeX RDF
36	Susan E. George	Clustering On-Line Dynamically Constructed Handwritten Music Notation with the Self-organising Feature Map.	IEA/AIE	2003	DBLP DOI BibTeX RDF
36	Richard Zanibbi, Dorothea Blostein, James R. Cordy	Baseline Structure Analysis of Handwritten Mathematics Notation.	ICDAR	2001	DBLP DOI BibTeX RDF
36	Vassilis J. Tsotras, Christian S. Jensen, Richard T. Snodgrass	An Extensible Notation for Spatiotemporal Index Queries.	SIGMOD Rec.	1998	DBLP DOI BibTeX RDF
36	Timothy R. Hines	Open Systems Interconnection Abstract Syntax Notation: ASN.CG.	Workshop on Conceptual Graphs	1992	DBLP DOI BibTeX RDF
34	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
34	Stuart Kent 0001, John Howse	Constraint Trees.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
34	R. Ian Ferguson, Andrew Hunter, Colin J. Hardy	MetaBuilder: The Diagrammer's Diagrammer.	Diagrams	2000	DBLP DOI BibTeX RDF
33	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
33	Brian Henderson-Sellers, Cesar Gonzalez-Perez	Standardizing Methodology Metamodelling and Notation: An ISO Exemplar.	UNISCON	2008	DBLP DOI BibTeX RDF	standards, methodology, Metamodelling, notation
33	Marco Autili, Paola Inverardi, Patrizio Pelliccione	A scenario based notation for specifying temporal properties.	SCESM	2006	DBLP DOI BibTeX RDF	scenario based notation, system requirements specification, temporal properties specification
33	Marc Daumas, David W. Matula	Further Reducing the Redundancy of a Notation Over a Minimally Redundant Digit Set.	J. VLSI Signal Process.	2003	DBLP DOI BibTeX RDF	redundant notation, computer arithmetic, multiplication, addition
33	Sergiy A. Vilkomir, Jonathan P. Bowen	Formalization of Software Testing Criteria using the Z Notation.	COMPSAC	2001	DBLP DOI BibTeX RDF	coverage, Z notation, testing criteria, MC/DC
33	Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs	Assessing Complex Computer Based Systems using the Goal Structuring Notation.	ICECCS	1996	DBLP DOI BibTeX RDF	Goal Structuring Notation, Reliability, Dependability, Assessment, Safety, Argument
33	Eike Best, Richard P. Hopkins	B(PN)2 - a Basic Petri Net Programming Notation.	PARLE	1993	DBLP DOI BibTeX RDF	Concurrent Programming Notation, Peterson's Mutual Exclusion Algorithm, Petri Nets
33	Simon S. Lam, A. Udaya Shankar	A Relational Notation for State Transition Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	relational notation, specifying state transition systems, refinement relations, formal specification, protocols, composition, alternating-bit protocol
31	Sharad C. Seth, Ramana Chakradhar Jandhyala, Mukkai S. Krishnamoorthy, George Nagy	Analysis and taxonomy of column header categories for web tables.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF	Wang notation, column-header grammar, table ontology, conversion, parsing, web tables
31	Manpreet Singh, Manjeet Singh Patterh	Access Control Framework for Secure Network Computing Environment.	COMPSAC	2008	DBLP DOI BibTeX RDF	Access Control, Formal Methods, Information Flow Control, Z Notation
31	Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis	Consistency checking of SCR-style requirements specifications.	RE	1995	DBLP DOI BibTeX RDF	SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
31	Gernot Richter, Bruno Maffeo	Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	translation principles, rigorous interpretation, ESML, extended systems modeling language, graphics-based language, data flow diagram notation, transformation schema, token game, real-time systems, real-time systems, Petri nets, Petri nets, systems analysis, visual languages, control logic
31	Sebastian Mödersheim	Algebraic Properties in Alice and Bob Notation.	ARES	2009	DBLP DOI BibTeX RDF
31	Lukman Ab. Rahim, Sharifah Bahiyah Rahayu Syed Mansoor	Proposed Design Notation for Model Transformation.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF
31	Piyushee Jha, George Nagy	Wang Notation Tool: Layout independent representation of tables.	ICPR	2008	DBLP DOI BibTeX RDF
31	Lin Padgham, Michael Winikoff, Scott A. DeLoach, Massimo Cossentino	A Unified Graphical Notation for AOSE.	AOSE	2008	DBLP DOI BibTeX RDF
31	Ivo Bukovsky, Zeng-Guang Hou, Jirí Bíla, Madan M. Gupta	Foundation of Notation and Classification of Nonconventional Static and Dynamic Neural Units.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
31	Xiao He 0005, Zhiyi Ma, Weizhong Shao, Ge Li 0001	A metamodel for the notation of graphical modeling languages.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
31	Demosthenes Akoumianakis, Athanassios Katsis, Nikolas Vidakis	Non-functional User Interface Requirements Notation (NfRn) for Modeling the Global Execution Context of Tasks.	TAMODIA	2006	DBLP DOI BibTeX RDF	HCI Notations, User interfaces, Scenarios, Context models
31	Ben P. Challis	Accessing Music Notation Through Touch and Speech.	ICCHP	2006	DBLP DOI BibTeX RDF
31	Luca Padovani, Stefano Zacchiroli	From Notation to Semantics: There and Back Again.	MKM	2006	DBLP DOI BibTeX RDF
31	Yong Zhao 0009, James E. Dobson, Ian T. Foster, Luc Moreau 0001, Michael Wilde	A notation and system for expressing and executing cleanly typed workflows on messy scientific data.	SIGMOD Rec.	2005	DBLP DOI BibTeX RDF
31	Ananth Kendapadi, Matt Gandolfo, Amitosh Shukla	BatchFlow: a method and notation to visualize RDBMS batch jobs.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	visualization, RDBMS, batch process
31	Jingtao Yang, Corina Cîrstea, Peter Henderson 0001	Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition.	OTM Workshops	2005	DBLP DOI BibTeX RDF
31	Yih-Jiun Lee, Peter Henderson 0001	A Practical Modelling Notation for Secure Distributed Computation.	AINA	2005	DBLP DOI BibTeX RDF
31	M. Cecilia Bastarrica, Sergio F. Ochoa, Pedro O. Rossel	Integrated Notation for Software Architecture Specifications.	SCCC	2004	DBLP DOI BibTeX RDF	software architecture, Architecture definition languages
31	Kirsty Crombie Smith, William H. Edmondson	The Development of a Computational Notation for Synthesis of Sign and Gesture.	Gesture Workshop	2003	DBLP DOI BibTeX RDF
31	Richard Clayton	Improving Onion Notation.	Privacy Enhancing Technologies	2003	DBLP DOI BibTeX RDF
31	Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar	MOBICHARTS: A Notation to Specify Mobile Computing Applications.	HICSS	2003	DBLP DOI BibTeX RDF
31	Catalin Amza, Gianna Reggio	A Notation for Component-Based Design of Java Applications.	FIDJI	2002	DBLP DOI BibTeX RDF
31	Emmanuel Dubois 0001, Philip D. Gray, Laurence Nigay	ASUR++: A Design Notation for Mobile Mixed Systems.	Mobile HCI	2002	DBLP DOI BibTeX RDF
31	D. M. Atiya, S. King	A compliance notation for verifying concurrent systems.	ICSE	2002	DBLP DOI BibTeX RDF
31	Donald Byrd	Music-notation searching and digital libraries.	JCDL	2001	DBLP DOI BibTeX RDF
31	Erika T. Neal	A new UML-compatible object relationship notation (ORN).	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
31	Jean-Loup Baer, Meei-Chiueh Liem, Larry McMurchie, Rudolf Nottrott, Lawrence Snyder, Wayne Winder	A Notation for Describing Multiple Views of VLSI Circuits.	DAC	1988	DBLP BibTeX RDF
31	John D. Bunda	APL function definition notation.	APL	1987	DBLP DOI BibTeX RDF	APL
28	Víctor López-Jaquero, Francisco Montero Simarro	Comprehensive Task and Dialog Modelling.	HCI (1)	2007	DBLP DOI BibTeX RDF	User interface design, task models, abstract user interfaces, dialog models
28	Matthew J. Sottile, Craig Edward Rasmussen, Richard L. Graham	Co-Array Collectives: Refined Semantics for Co-Array Fortran.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
28	Babak Khazaei, Chris Roast	The influence of formal representation on solution specification.	Requir. Eng.	2003	DBLP DOI BibTeX RDF	Empirical study of formal representations, Formal specification representation, Generic and simple solution approaches, Human factors for formal methods, Z
28	Walter G. Spunde, Peter de Voil	A Web-interfaced array-based mathematics course.	APL	1998	DBLP DOI BibTeX RDF
28	Chris J. Martin 0003, Janet M. Hughes	Cognitive dimensions questionnaire applied to exploratory algorithm design.	ITiCSE	2008	DBLP DOI BibTeX RDF	algorithm design notation, cognitive dimenstions of notation
28	Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè	LEMMA: a language for easy medical models analysis.	CBMS	1997	DBLP DOI BibTeX RDF	LEMMA language, medical model analysis, health care process optimization, high quality standards, patient treatment, diagnostic processes, therapeutic processes, informal notation, Petri nets, prototype, visual languages, graphical language, resource optimizations, health care systems, formal notation
28	Paul W. King	Formalization of Protocol Engineering Concepts.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	communication system development, relational notation, complexity, formal specification, Petri nets, Petri nets, protocols, communication protocols, behavioral models, LOTOS, design principles, Object-Z, formal description techniques, Z notation, structural models
28	Iuon-Chang Lin, Ping-Kun Hsu	A Data Hiding Scheme on Word Documents Using Multiple-Base Notation System.	IIH-MSP	2010	DBLP DOI BibTeX RDF	multiple-based notation system, inter-word space, document
28	Uri Dekel, James D. Herbsleb	Notation and representation in collaborative object-oriented design: an observational study.	OOPSLA	2007	DBLP DOI BibTeX RDF	collaborative software design, modeling, UML, representation, notation, OOD
28	Tom M. Warms	The power of notation: modeling pointer operations.	ACM SIGCSE Bull.	2005	DBLP DOI BibTeX RDF	model, C++, tracing, pointer, notation, linked list
28	Lubos Mikusiak, Miroslav Adámy, Thomas Seidmann	Publishing Formal Specifications in Z Notation on World Wide Web.	TAPSOFT	1997	DBLP DOI BibTeX RDF	Netscape plug-in, ActiveX control, WWW, formal specification, Z notation, LaTeX
28	Bruce A. Martin	Letters to the editor: On binary notation.	Commun. ACM	1968	DBLP DOI BibTeX RDF	binary exponential numbers, binary numbers, two, representation, memory, notation
27	Masahiro Suzuki	Piano score rearrangement into multiple difficulty levels via notation-to-notation approach.	EURASIP J. Audio Speech Music. Process.	2023	DBLP DOI BibTeX RDF
27	Olaf Nowitzki, Corinna Engelhardt-Nowitzki, Martin L. Fiala, Wilfried Wöber	Optical Music Recognition of Printed White Mensural Notation: Conversion to Modern Notation Using Object Detection Mechanisms.	Int. J. Humanit. Arts Comput.	2022	DBLP DOI BibTeX RDF
27	Adrien Chaffangeon, Alix Goguey, Laurence Nigay	μGlyphe: une Notation Graphique pour Décrire les Microgestes: μGlyph: a Graphical Notation to Describe Microgestures.	IHM	2022	DBLP DOI BibTeX RDF
27	Johannes Nguyen, Simon T. Powers, Neil Urquhart, Thomas Farrenkopf, Michael Guckert	Multi-Agent Modelling Notation (MAMN): A Multi-layered Graphical Modelling Notation for Agent-Based Simulations.	PRIMA	2022	DBLP DOI BibTeX RDF
27	Elodie Bouzekri	Notation et processus outillé pour la description, l'analyse et la compréhension de l'automatisation dans les systèmes de commande et contrôle. (A notation and a tool supported process for the description, the analysis and the understanding of automation in command and control systems).		2021	RDF
27	Michael D. Ekstrand, Joseph A. Konstan	Recommender Systems Notation: Proposed Common Notation for Teaching and Research.	CoRR	2019	DBLP BibTeX RDF
27	Ashish Kumar Dwivedi, Santanu Kumar Rath	Transformation of Alloy Notation into a Semantic Notation.	ACM SIGSOFT Softw. Eng. Notes	2018	DBLP DOI BibTeX RDF
27	Abdelkrime Aries, Djamel Eddine Zegour, Walid-Khaled Hidouci	Sentence Object Notation: Multilingual sentence notation based on Wordnet.	CoRR	2018	DBLP BibTeX RDF
27	Thomas Meyssonnier	Vers des systèmes et outils de notation et de composition pour la musique électroacoustique. (Towards notation and composition tools and systems for electroacoustic music).		2018	RDF
27	Satoshi Egi	Scalar Functions and Tensor Functions: A Method to Import Tensor Index Notation Including Einstein Summation Notation.	CoRR	2017	DBLP BibTeX RDF
27	Markus Wiemuth, Denise Junger, M. A. Leitritz, Juliane Neumann, Thomas Neumuth, Oliver Burgert	Application fields for the new Object Management Group (OMG) Standards Case Management Model and Notation (CMMN) and Decision Management Notation (DMN) in the perioperative field.	Int. J. Comput. Assist. Radiol. Surg.	2017	DBLP DOI BibTeX RDF
27	Jeroen Van der Meeren, Andreas Weiermann	How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems.	CiE	2015	DBLP DOI BibTeX RDF
27	Andrés Solano, Toni Granollers, César A. Collazos 0001, Cristian Rusu	Proposing Formal Notation for Modeling Collaborative Processes Extending HAMSTERS Notation.	WorldCIST (1)	2014	DBLP DOI BibTeX RDF
27	Xing M. Wang	From Dirac Notation to Probability Bracket Notation: Term Vector Space, Concept Fock Space and Probabilistic IR Models	CoRR	2011	DBLP BibTeX RDF
27	Jason McC. Smith	The Pattern Instance Notation: A simple hierarchical visual notation for the dynamic visualization and comprehension of software patterns.	J. Vis. Lang. Comput.	2011	DBLP DOI BibTeX RDF
27	Frédéric Jourde	Collecticiel et multimodalité : spécification de l'interaction la notation COMM et l'éditeur e-COMM. (Groupware and Multimodality : interaction specification the COMM notation and the e-COMM editor).		2011	RDF