Search results for "notations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Charls Pearson	A Codebook for Translating Between Various Notations for Propositional Logic.	Cybern. Hum. Knowing	2011	DBLP BibTeX RDF
18	James R. Douglass, Nicholas Chen, Ralph E. Johnson	The language of languages research project: unifying concepts expressed across different notations.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
18	Miguel A. Teruel, Elena Navarro 0001, Víctor López-Jaquero, Francisco Montero Simarro, Pascual González	Assesing the understandability of collaborative systems requirements notations: An empirical study.	EmpiRE	2011	DBLP DOI BibTeX RDF
18	David Landy, David Brookes, Ryan Smout	Modeling Abstract Numeric Relations Using Concrete Notations.	CogSci	2011	DBLP BibTeX RDF
18	Birgit Vogel-Heuser, Kerstin Sommer	A methodological approach to evaluate the benefit and usability of different modeling notations for open loop control in automation systems.	CASE	2011	DBLP DOI BibTeX RDF
18	Francesco De Angelis 0001, Daniele Fanì, Alberto Polzonetti	Protocol compatibility notations for service integration testing.	QASBA	2011	DBLP DOI BibTeX RDF
18	Xiaoping Jia, Christopher Jones 0002	Dynamic Languages as Modeling Notations in Model Driven Engineering.	ICSOFT (2)	2011	DBLP BibTeX RDF
18	Sundar Gopalakrishnan, Guttorm Sindre	Diagram Notations for Mobile Work Processes.	PoEM	2011	DBLP DOI BibTeX RDF
18	Moshiur Bhuiyan, Sohel Rana, Kamrul Hasan	Supporting Business Modeling using Multiple Notations - A Case Study.	ICEIS (3)	2011	DBLP BibTeX RDF
18	Gregor Scheithauer	A Service Description Method for Service Ecosystems - Meta Models, Modeling Notations, and Model Transformations.		2011	RDF
18	Ina Schieferdecker, Axel Rennoch, Alain Vouffo-Feudjio	Model-Based Testing: Approaches and Notations.	Encyclopedia of Software Engineering	2010	DBLP BibTeX RDF
18	David Isles	First-Order Reasoning and Primitive Recursive Natural Number Notations.	Stud Logica	2010	DBLP DOI BibTeX RDF
18	Javier Poncela-González, José T. Entrambasaguas, M. Carmen Aguayo-Torres	Advancing Radio Testing Methodology via Formal Notations.	Wirel. Pers. Commun.	2010	DBLP DOI BibTeX RDF
18	Paul Libbrecht	Notations Around the World: Census and Exploitation	CoRR	2010	DBLP BibTeX RDF
18	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	An evaluation of timed scenario notations.	J. Syst. Softw.	2010	DBLP DOI BibTeX RDF
18	W. L. Yeung	A Comparison of Visual Modeling Notations for Web Services Choreography.	PACIS	2010	DBLP BibTeX RDF
18	Moshiur Bhuiyan, Aneesh Krishna	Business Modeling with the Support of Multiple Notations in Requirements Engineering.	PACIS	2010	DBLP BibTeX RDF
18	Carlos Monsalve, Alain April, Alain Abran	Representing Unique Stakeholder Perspectives in BPM Notations.	SERA	2010	DBLP DOI BibTeX RDF	representational analysis, business process modeling, software requirements, system requirements, levels of abstraction
18	Zurinahni Zainol, Bing Wang	GN-DTD: Graphical Notations for Describing XML Documents.	DBKDA	2010	DBLP DOI BibTeX RDF	XML Model, XML design, XML schema
18	Cristian Bernareggi	Non-sequential Mathematical Notations in the LAMBDA System.	ICCHP (2)	2010	DBLP DOI BibTeX RDF
18	Igor Dejanovic, Maja Tumbas, Gordana Milosavljevic, Branko Perisic	Comparison of Textual and Visual Notations of DOMMLite Domain-Specific Language.	ADBIS (Local Proceedings)	2010	DBLP BibTeX RDF
18	Sundar Gopalakrishnan, Guttorm Sindre	Alternative Process Notations for Mobile Information Systems.	I-ESA	2010	DBLP DOI BibTeX RDF
18	Steven Braun, Martin Obermeier, Birgit Vogel-Heuser	Usability evaluation of modeling notations for software engineering in machine and plant automation.	ETFA	2010	DBLP DOI BibTeX RDF
18	Christopher T. Johnston, Donald G. Bailey, Paul J. Lyons	Notations for Multiphase Pipelines.	DELTA	2010	DBLP DOI BibTeX RDF	FPGA, Visual Languages, Hardware Description Languages
18	Paul Libbrecht	Notations Around the World: Census and Exploitation.	AISC/MKM/Calculemus	2010	DBLP DOI BibTeX RDF
18	Jan A. Bergstra, Cornelis A. Middelburg	Instruction sequence notations with probabilistic instructions	CoRR	2009	DBLP BibTeX RDF
18	Éric Jaeger, Thérèse Hardin	Yet Another Deep Embedding of B:Extending de Bruijn Notations	CoRR	2009	DBLP BibTeX RDF
18	Christine Müller, Michael Kohlhase	Context-Aware Adaptation: A Case Study On Mathematical Notations.	Inf. Syst. Manag.	2009	DBLP DOI BibTeX RDF
18	Andreas Harrer, Dan Kohen-Vacs, Benedikt Roth, Nils Malzahn, Ulrich Hoppe, Miky Ronen	Design and enactment of collaboration scripts: an integrative approach with graphical notations and learning platforms.	CSCL (2)	2009	DBLP BibTeX RDF
18	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
18	Daniel Moody	Theory development in visual language research: Beyond the cognitive dimensions of notations.	VL/HCC	2009	DBLP DOI BibTeX RDF
18	Gundars Alksnis	Category Theoretic Integration Framework for Formal Notations in Model Driven Software Engineering.	ADBIS (Workshops)	2009	DBLP DOI BibTeX RDF
18	Anthony J. H. Simons, Carlos Alberto Fernández y Fernández	Using Alloy to model-check visual design notations	CoRR	2008	DBLP BibTeX RDF
18	Susanne Patig	A Practical Guide to Testing the Understandability of Notations.	APCCM	2008	DBLP BibTeX RDF
18	Christoph Lange 0002	Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations.	SemWiki	2008	DBLP BibTeX RDF
18	Frédéric Jourde, Yann Laurillau, Laurence Nigay, Alberto L. Morán	Conception de systèmes collaboratifs multimodaux: analyse comparative de notations.	IHM	2008	DBLP DOI BibTeX RDF
18	William J. Giraldo, Ana I. Molina, Manuel Ortega 0001, César A. Collazos 0001	Integrating Groupware Notations with UML.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	GUI development, interaction design, groupware design
18	Filippo Ricca, Massimiliano Di Penta, Marco Torchiano, Paolo Tonella, Mariano Ceccato	How design notations affect the comprehension of Web applications.	J. Softw. Maintenance Res. Pract.	2007	DBLP DOI BibTeX RDF
18	Ha Hoang, Ladislav J. Kohout	Proof System for Enriched Fuzzy BK Relational Calculi: Pt.1-Transforming Notations.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
18	Ken Brodlie, Nurul Mohd Noor	Visualization Notations, Models and Taxonomies.	TPCG	2007	DBLP DOI BibTeX RDF
18	Ana I. Molina, Miguel A. Redondo, Manuel Ortega 0001	A Review of Notations for Conceptual Modeling of Groupware Systems.	Interacción (selected papers)	2007	DBLP DOI BibTeX RDF
18	Uwe Katzke, Birgit Vogel-Heuser	Combining UML with IEC 61131-3 languages to preserve the usability of graphical notations in the software development of complex automation systems.	IFAC HMS	2007	DBLP DOI BibTeX RDF
18	T. John Brown, Rachel Gawley, Ivor T. A. Spence, Peter Kilpatrick, Charles Gillan, Rabih Bashroush	Requirements Modelling and Design Notations for Software Product Lines.	VaMoS	2007	DBLP BibTeX RDF
18	Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk	Flexible and Extensible Notations for Modeling Languages.	FASE	2007	DBLP DOI BibTeX RDF
18	Seyyed Mohsen Hashemi, Mohammadreza Razzazi, Mohammad Teshnehlab	ISRUP E-Service Framework Balanced Scorecard to Measure the Capabilities from the Methodologies, Processes, Notations, Life Cycles, and Standards.	CONFENIS	2006	DBLP DOI BibTeX RDF
18	Dominique Archambault, Victor Moço	Canonical MathML to Simplify Conversion of MathML to Braille Mathematical Notations.	ICCHP	2006	DBLP DOI BibTeX RDF
18	Alexander Perez-Pons, Peter Polak, Joel Stutz	Evaluating the Teaching Effectiveness of Various Data Modeling Notations.	J. Comput. Inf. Syst.	2005	DBLP BibTeX RDF
18	XiaoJie Shen, Qilei Li, Tao Yu, Weidong Geng, Newman Lau	Mocap data editing via movement notations.	CAD/Graphics	2005	DBLP DOI BibTeX RDF
18	Timothy N. Wright, Andy Cockburn	Evaluation of Two Textual Programming Notations for Children.	AUIC	2005	DBLP BibTeX RDF
18	Dominik Stein, Stefan Hanenberg, Rainer Unland	Visualizing Join Point Selections Using Interaction-Based vs. State-Based Notations Exemplified With Help of Business Rules.	EMISA	2005	DBLP BibTeX RDF
18	Anthony J. H. Simons, Carlos Alberto Fernández y Fernández	Using Alloy to model-check visual design notations.	ENC	2005	DBLP DOI BibTeX RDF
18	Alan F. Blackwell	Cognitive Dimensions of Notations.	VL/HCC	2005	DBLP DOI BibTeX RDF
18	Dominic Furniss, Alan J. Dix, Christophe Ponsard, Guo-Qiang Zhang	Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations.	DSV-IS	2005	DBLP DOI BibTeX RDF
18	Luciano Baresi, Mauro Pezzè	Petri Nets as Semantic Domain for Diagram Notations.	PNGT@ICGT	2004	DBLP DOI BibTeX RDF
18	Sylvie Boldo, Marc Daumas	Properties of two's complement floating point notations.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Digital signal processing, Avionics, Formal proof
18	Juan de Lara, Hans Vangheluwe	Defining visual notations and their manipulation through meta-modelling and graph transformation.	J. Vis. Lang. Comput.	2004	DBLP DOI BibTeX RDF
18	Helen C. Purchase, Ray Welland, Matthew McGill, Linda Colpoys	Comprehension of diagram syntax: an empirical study of entity relationship notations.	Int. J. Hum. Comput. Stud.	2004	DBLP DOI BibTeX RDF
18	Harold Simmons	A comparison of two systems of ordinal notations.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
18	Pourang Irani	Notations for Software Engineering Class Structures.	Diagrams	2004	DBLP DOI BibTeX RDF
18	Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater	Notations for the Specification and Verification of Composite Web Services.	EDOC	2004	DBLP DOI BibTeX RDF
18	Silas S. Brown	Conversion of notations.		2004	RDF
18	Arnold Beckmann, Chris Pollett, Samuel R. Buss	Ordinal notations and well-orderings in bounded arithmetic.	Ann. Pure Appl. Log.	2003	DBLP DOI BibTeX RDF
18	Arnold Beckmann, Samuel R. Buss, Chris Pollett	Erratum to "Ordinal notations and well-orderings in bounded arithmetic" [Annals of Pure and Applied Logic 120 (2003) 197-223].	Ann. Pure Appl. Log.	2003	DBLP DOI BibTeX RDF
18	Ahmad Jaffar, Hefin Rowlands, A. Alderson, Martyn Fletcher	An Empirical Comparison of Some Business Process Notations.	IKE	2003	DBLP BibTeX RDF
18	Steve Hitchman	The Details of Conceptual Modelling Notations are Important - A Comparison of Relationship Normative Language.	Commun. Assoc. Inf. Syst.	2002	DBLP DOI BibTeX RDF
18	Jeremy Avigad	An Ordinal Analysis of Admissible Set Theory using Recursion on Ordinal Notations.	J. Math. Log.	2002	DBLP DOI BibTeX RDF
18	Arnold Beckmann	Notations for exponentiation.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
18	David Garlan, Shang-Wen Cheng, Andrew Kompanek	Reconciling the needs of architectural description with object-modeling notations.	Sci. Comput. Program.	2002	DBLP DOI BibTeX RDF
18	Bernd Meyer 0001	Diagrammatic Evaluation of Visual Mathematical Notations.	Diagrammatic Representation and Reasoning	2002	DBLP DOI BibTeX RDF
18	Brian Henderson-Sellers	Advanced OO Modelling: Metamodels and Notations for the New Millennium.	ER	2002	DBLP DOI BibTeX RDF
18	Nailja Luth	Automatic Identification of Music Notations.	WEDELMUSIC	2002	DBLP DOI BibTeX RDF
18	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
18	Steven Pemberton	Reflections: The design of notations.	Interactions	2001	DBLP DOI BibTeX RDF	World Wide Web (WWW)
18	Maria Kutar, Chrystopher L. Nehaniv, Carol Britton, Sara Jones 0001	The Cognitive Dimensions of an Artifact vis-à-vis Individual Human Users: Studies with Notations for the Temporal Specification of Interactive Systems.	Cognitive Technology	2001	DBLP DOI BibTeX RDF
18	Paolo Bottoni, Maria Francesca Costabile, Stefano Levialdi, Piero Mussio	From user notations to accessible interfaces through visual languages.	HCI	2001	DBLP BibTeX RDF
18	Jim Steel, Kerry Raymond	Generating Human-Usable Textual Notations for Information Models.	EDOC	2001	DBLP DOI BibTeX RDF
18	Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud	Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z.	Obj. Logiciel Base données Réseaux	2000	DBLP BibTeX RDF
18	Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs 0001	JML (poster session): notations and tools supporting detailed design in Java.	OOPSLA Addendum	2000	DBLP DOI BibTeX RDF
18	Brian Henderson-Sellers	Advanced OO Modeling: Metamodels and Notations.	APSEC	2000	DBLP DOI BibTeX RDF
18	Timothy K. Shih, Huan-Chao Keh, Ying-Hong Wang, Ying-Feng Kuo 0002	Temporal Properties Underlying Multimedia Presentations with Z Notations.	J. Inf. Sci. Eng.	1999	DBLP BibTeX RDF
18	Zinovy Diskin, Boris Kadish, Frank Piessens	What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
18	Robert Büssow, Wolfgang Grieskamp	A Modular Framework for the Integration of Heterogeneous Notations and Tools.	IFM	1999	DBLP DOI BibTeX RDF
18	Brian Henderson-Sellers	Advanced 00 Modelling: Metamodels and Notations for the Next Millenium.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
18	Helmut Schwichtenberg	Finite Notations for Infinite Terms.	Ann. Pure Appl. Log.	1998	DBLP DOI BibTeX RDF
18	Richard F. Paige	Heterogeneous Notations for Pure Formal Method Integration.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Refinement, Method integration, Heterogeneous specification
18	Mark Simos, Alan F. Blackwell	Pruning the trees: The evaluation of notations for domain modelling.	PPIG	1998	DBLP BibTeX RDF
18	Dieter Pfoser, Nectaria Tryfona	Requirements, Definitions, and Notations for Spatiotemporal Application Environments.	ACM-GIS	1998	DBLP DOI BibTeX RDF	models of time, phenomena, spatial attributes, spatiotemporal requirements, versions of objects and maps, time, space, changes, snapshots, fields, spatial objects
18	William Godwin	Formalizing graphical notations.		1998	RDF
18	Daniel M. Berry, M. Weber	A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations.	ICFEM	1997	DBLP DOI BibTeX RDF
18	Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant	Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations.	AMAST	1997	DBLP DOI BibTeX RDF
18	Jean-Charles Grégoire	TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations.	FME	1997	DBLP DOI BibTeX RDF	keyword TLA+, refinement, implementation, SPIN, PROMELA, TLA
18	Jürgen Ebert, Roger Süttenbach	Integration of Z-based Semantics of OO-Notations.	ECOOP Workshops	1997	DBLP BibTeX RDF
18	Graham D. Pratten	How design notations warp our understanding of systems design.	PPIG	1997	DBLP BibTeX RDF
18	Richard F. Paige	Formal method integration via heterogeneous notations.		1997	RDF
18	Stephen G. Pulman	Unification Encodings of Grammatical Notations.	Comput. Linguistics	1996	DBLP BibTeX RDF
18	Kevin Lano	Enhancing Object-Oriented Methods with Formal Notations.	Theory Pract. Object Syst.	1996	DBLP BibTeX RDF
18	Volker Haarslev, Michael Wessel	GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations.	VL	1996	DBLP DOI BibTeX RDF
18	Phillip George, Ralph Wayment	Mnemonic notations.	SIGGRAPH Visual Proceedings	1996	DBLP DOI BibTeX RDF
18	Chris W. Johnson 0001	The Evaluation of User Interface Notations.	DSV-IS	1996	DBLP DOI BibTeX RDF
18	Volker Haarslev	Using Description Logic for Reasoning about Diagrammatical Notations.	Description Logics	1996	DBLP BibTeX RDF