The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for notations with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1964-1976 (15) 1978-1983 (15) 1984-1986 (16) 1987-1989 (20) 1990-1991 (18) 1992-1993 (21) 1994 (18) 1995 (22) 1996 (24) 1997 (33) 1998 (24) 1999 (44) 2000 (62) 2001 (53) 2002 (76) 2003 (67) 2004 (82) 2005 (98) 2006 (87) 2007 (106) 2008 (94) 2009 (59) 2010 (18) 2011-2012 (22) 2013-2014 (42) 2015-2016 (27) 2017-2018 (20) 2019-2020 (27) 2021-2022 (34) 2023 (18) 2024 (3)
Publication types (Num. hits)
article(252) book(1) incollection(11) inproceedings(987) phdthesis(11) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1365 occurrences of 819 keywords

Results
Found 1265 publication records. Showing 1265 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
123Luciano Baresi, Alessandro Orso, Mauro Pezzè Customizable notations for kernel formalisms. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF customizable notations, kernel formalisms, intuitive graphical notations, specific application domain, formal specification, formal methods, graphical user interfaces, computer graphics, tool support, graphical notations, formal foundations
107Daniel L. Moody The "physics" of notations: a scientific approach to designing visual notations in software engineering. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF visual syntax, modelling, visualization, communication, analysis, diagrams, concrete syntax
100Keng Siau, Yuhong Tian A semiotic analysis of unified modeling language graphical notations. Search on Bibsonomy Requir. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Unified modeling language, Semiotics, Graphical notations, Modeling methods, Systems analysis and design
81Michael Kohlhase, Christine Müller, Florian Rabe 0001 Notations for Living Mathematical Documents. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
76Luciano Baresi, Mauro Pezzè Formal interpreters for diagram notations. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Semi-formal notations, semantics, graph transformation, high-level Petri nets
73Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day Understanding and Comparing Model-Based Specification Notations. Search on Bibsonomy RE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
69Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese A framework for modeling and implementing visual notations with applications to software engineering. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software engineering models, visual grammars, visual notations, UML, metamodeling, LR parsing, meta-CASE
69Corin A. Gurr, Konstantinos Tourlas Formalizing Pragmatic Features of Graph-Based Notations. Search on Bibsonomy VL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF visual notations, software engineering, graphs, algebra, pragmatics
61Orna Grumberg, Shmuel Katz VeriTech: a framework for translating among model description notations. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Translating model notations, Incompatibilities in translations Faithful translations, Additional information about translations
61Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day Template Semantics for Model-Based Notations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Model-based specification notations, automated generation of analysis tools, semantics, concurrency, composition
61Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day Composable semantics for model-based notations. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF model-based notations, communication, concurrency, composition, operational semantics, formal analysis
57Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Xuandong Li An MDE-based method for bridging different design notations. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UML, Formal methods, LOTOS, MDE
55Nancy A. Day, Jeffrey J. Joyce A Framework for Multi-Notation Requirements Specification and Analysis. Search on Bibsonomy ICRE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
50Jan van Katwijk, W. J. Toetenel Comparing formal specifications by measuring. Search on Bibsonomy RTCSA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF formal specification notations, software engineering, software engineering, formal specification, software development, computer science education, tool support, software development management, notation, executability, maturity, analyzability, software engineering courses
49Min Jiang 0005, Changle Zhou, Fan Zhang, Shu Chen Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Jan Van den Bergh 0001, Karin Coninx Model-based design of context-sensitive interactive applications: a discussion of notations. Search on Bibsonomy TAMODIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF context-sensitive interactive systems, model-based user interface design, graphical notation
49Jason F. Harris Advanced notations in Mathematica. Search on Bibsonomy ISSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF bra-ket notation, graphical front end, notational extensions, tensor notation, Mathematica, notation
49John C. Grundy, John R. Venable Providing Integrated Support for Multiple Development Notations Search on Bibsonomy CAiSE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
48Jean-Paul Laumond, Naoko Abe (eds.) Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014 Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
48Katsu Yamane Human Motion Tracking by Robots. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Eliane Mirzabekiantz Benesh Movement Notation for Humanoid Robots? Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Suzanne Weller, Joost Broekens, Gabriel A. D. Lopes The Effect of Gravity on Perceived Affective Quality of Robot Movement. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Sylvie Gibet, Pamela Carreno-Medrano, Pierre-François Marteau Challenges for the Animation of Expressive Virtual Characters: The Standpoint of Sign Language and Theatrical Gestures. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Sarahjane Burton, Ali-Akbar Samadani, Rob Gorbet, Dana Kulic Laban Movement Analysis and Affective Movement Generation for Robots and Other Near-Living Creatures. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Tom Calvert Approaches to the Representation of Human Movement: Notation, Animation and Motion Capture. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Katsushi Ikeuchi, Yoshihiro Sato, Shinichiro Nakaoka, Shunsuke Kudoh, Takahiro Okamoto, Hauchin Hu Task Modelling for Reconstruction and Analysis of Folk Dances. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Satoshi Oota The Origin of Dance: Evolutionary Significance on Ritualized Movements of Animals. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Henner Drewes MovEngine - Developing a Movement Language for 3D Visualization and Composition of Dance. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Michael Kimmel, Emanuel Preuschl Dynamic Coordination Patterns in Tango Argentino: A Cross-Fertilization of Subjective Explication Methods and Motion Capture. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Paolo Salaris, Naoko Abe, Jean-Paul Laumond A Worked-Out Experience in Programming Humanoid Robots via the Kinetography Laban. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Amy LaViers, Lin Bai, Masoud Bashiri, Gerald Heddy, Yu Sheng Abstractions for Design-by-Humans of Heterogeneous Behaviors. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Samuel Bianchini, Florent Levillain, Armando Menicacci, Emanuele Quinz, Elisabetta Zibetti Towards Behavioral Objects: A Twofold Approach for a System of Notation to Design and Implement Behaviors in Non-anthropomorphic Robotic Artifacts. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Dominik Endres, Enrico Chiovetto, Martin A. Giese Bayesian Approaches for Learning of Primitive-Based Compact Representations of Complex Human Activities. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Jia Liu, Fangxiaoyu Feng, Yuzuko C. Nakamura, Nancy S. Pollard Annotating Everyday Grasps in Action. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Gowrishankar Ganesh, Tsuyoshi Ikegami Beyond Watching: Action Understanding by Humans and Implications for Motion Planning by Interacting Robots. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Jacqueline Challet-Haas The Problem of Recording Human Motion. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Gentiane Venture, Takumi Yabuki, Yuta Kinase, Alain Berthoz, Naoko Abe Using Dynamics to Recognize Human Motion. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Worawat Choensawat, Minako Nakamura, Kozaburo Hachimura Applications for Recording and Generating Human Body Motion with Labanotation. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
48Angela Loureiro de Souza Laban Movement Analysis - Scaffolding Human Movement to Multiply Possibilities and Choices. Search on Bibsonomy Dance Notations and Robot Motion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
47Luciano Baresi, Mauro Pezzè A Toolbox for Automating Visual Software Engineering. Search on Bibsonomy FASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Sergiu Dascalu, Peter Hitchcock An approach to integrating semi-formal and formal notations in software specification. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Z++, integration of notations, UML, UML, formal methods, object-oriented modeling
43Anna Börjesson Sandberg, Carl Magnus Olsson Explicit as Enabler for Understanding the Tacit. Search on Bibsonomy Open IT-Based Innovation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software process notations, software process descriptions, Software engineering, tacit knowledge, explicit knowledge
43Silas S. Brown, Peter Robinson 0001 Transformation frameworks and their relevance in universal design. Search on Bibsonomy Univers. Access Inf. Soc. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF 4DML, Education, Tools, Transformation, Conversion, Notations
43Paolo Ciancarini, V. Juggy Jagannathan, Mark Klein, Wil M. P. van der Aalst Working group report on process [production process workflow in cooperative virtual enterprises]. Search on Bibsonomy WETICE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF production engineering computing, production process workflow, cooperative virtual enterprises, large software houses, concurrent engineering methods, industrial products, descriptive notations, distributed object databases, hypertext browsers, Petri nets, tools, process modeling, software development management, concurrent engineering, process design
42Ulrike Reiner Automatic Analysis of Dewey Decimal Classification Notations. Search on Bibsonomy GfKl The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Mohamed T. Ibrahim, Maliheh Hamdollah, Patrick T. R. O'Brien Analysis and Design of e-Commerce Applications on the Web: A Case Study of OO Techniques and Notations. Search on Bibsonomy EC-Web The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Jean Flower, John Howse, John Taylor 0001, Stuart Kent 0001 A Visual Framework for Modelling with Heterogeneous Notations. Search on Bibsonomy HCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF software specification, Visual formalisms
42David Garlan, Andrew Kompanek Reconciling the Needs of Architectural Description with Object-Modeling Notations. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Daniel L. Moody, Jos van Hillegersberg Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UMLFamily of Diagrams. Search on Bibsonomy SLE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39M. Cecilia Bastarrica, Sergio F. Ochoa, Pedro O. Rossel Integrated Notation for Software Architecture Specifications. Search on Bibsonomy SCCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software architecture, Architecture definition languages
36Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S). Search on Bibsonomy SEKE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
36Daniel L. Moody The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Xavier Renault Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis. (Using standardized, formal and semi-formal notations to design distributed real-time and embedded systems). Search on Bibsonomy 2009   RDF
36David Brain, Philip Seltsikas, Deemple Tailor Process Modelling Notations for eGovernment: An Assessment of Modelling Notations for Identity Management. Search on Bibsonomy Bled eConference The full citation details ... 2005 DBLP  BibTeX  RDF
36Sophie Dupuy Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information. (Integrating semi-formal and formal notations for information system specification). Search on Bibsonomy 2000   RDF
35Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe A Set Approach to Role Modeling. Search on Bibsonomy TOOLS (37) The full citation details ... 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
34Frédéric Jourde, Yann Laurillau, Alberto L. Morán, Laurence Nigay Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations. Search on Bibsonomy DSV-IS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-devices, specification notation, CSCW, multimodality
34Serge Autexier, Armin Fiedler, Thomas Neumann 0006, Marc Wagner 0001 Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Joan De Boeck, Chris Raymaekers, Karin Coninx Comparing NiMMiT and Data-Driven Notations for Describing Multimodal Interaction. Search on Bibsonomy TAMODIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Silas S. Brown, Peter Robinson 0001 Interacting with notations: two examples of the use of a transformation system. Search on Bibsonomy Univers. Access Inf. Soc. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Interfaces, Transformation, Music, Blind, Low vision
34Mikael Berndtsson, Bengt Calestam Graphical notations for active rules in UML and UML-A. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Philippe Martin 0004 Conventions and Notations for Knowledge Representation and Retrieval. Search on Bibsonomy ICCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Juan Bicarregui, Brian Ritchie Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Abstract Machine Notation, model-oriented specification, formal methods, B, VDM
34Juan Bicarregui, Brian Ritchie Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31Vinay Kulkarni, Sreedhar Reddy Model-Driven Development of Enterprise Applications. Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Ulka Shrotri, Purandar Bhaduri, R. Venkatesh 0001 Model Checking Visual Specification of Requirements. Search on Bibsonomy SEFM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Vinay Kulkarni, R. Venkatesh, Sreedhar Reddy Generating Enterprise Applications from Models. Search on Bibsonomy OOIS Workshops The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Shmuel Katz, Orna Grumberg A Framework for Translating Models and Specifications. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Joseph Gil, John Howse, Stuart Kent 0001 Advanced visual modelling: beyond UML. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML
31Paolo Bottoni, Mark Minas Workshop on Graph Transformation and Visual Modeling Techniques. Search on Bibsonomy ICGT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Paolo Bottoni, Bernd Meyer 0001, Kim Marriott, Francesco Parisi-Presicce Deductive Parsing of Visual Languages. Search on Bibsonomy LACL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31James D. Kiper, Brent Auernheimer, Charles K. Ames Visual Depiction of Decision Statements: What is Best for Programmers and Non-Programmers? Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF decision structures, expert-novice differences, program comprehension, visual programming
27Klaus Aehlig, Arnold Beckmann On the Computational Complexity of Cut-Reduction. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cut-reduction, proof notations, propositional logic, Bounded Arithmetic
27Filippo Ricca, Massimiliano Di Penta, Marco Torchiano, Paolo Tonella, Mariano Ceccato An empirical study on the usefulness of Conallen's stereotypes inWeb application comprehension. Search on Bibsonomy WSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Design Notations, Empirical Studies, Web Applications
27Marco Winckler, Christelle Farenc, Philippe A. Palanque Une démarche structurée pour la conception et l'évaluation d'applications Web par l'exploitation synergique des modèles de tâche et de navigation. Search on Bibsonomy IHM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF usability evaluation, task modeling, web design, notations, navigation modeling
27Jifeng He 0001, C. A. R. Hoare Unifying theories of healthiness condition. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF healthiness condition theory, programming notations, nondeterministic programming, probabilistic program, formal specifications, parallel programming, logic programming, programming languages, algebraic specification, programming theory, programming theory, Boolean algebra, Boolean algebra, sequential programming, design optimisation, algebraic laws
27Joseph Gil, John Howse, Stuart Kent 0001, John Taylor 0001 Projections in Venn-Euler Diagrams. Search on Bibsonomy VL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF diagrammatic notations, Visual formalisms
27Perry Alexander, Murali Rangarajan, Phillip Baraona A Brief Summary of VSPEC. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF VHDL, languages, systems level design, notations, Larch
27Andrew Way, Ian Crookston, Jane Shelton A Typology of Translation Problems for Eurotra Translation Machines. Search on Bibsonomy Mach. Transl. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Hard translation problems, Eurotra, translation notations
27Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon On the concurrent behaviour of SCR specifications. Search on Bibsonomy COMPSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics
27Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin Verifying The Correctness Of Cryptographic Protocols Using "Convince". Search on Bibsonomy ACSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support
27Martin Erwig, Bernd Meyer 0001 Heterogeneous Visual Languages-Integrating Visual and Textual Programming. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF heterogeneous visual languages, textual programming languages, practical software development requirements, visual expressions, domain-specific data structures, textual notations, abstract control structures, data structures, rapid prototyping, visual programming, visual languages, computer aided software engineering, functional languages, functional languages, software prototyping, logic programming languages, development systems, development system, logical languages, procedural languages
27Christian Scheidler, Lorenz Schäfers, Ottmar Krämer-Fuhrmann Software engineering for parallel systems: the TRAPPER approach. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF TRAPPER, graphical programming environment, graphical design methodology, process graphs, cooperating sequential processes, homogeneous view, software engineering, formal specification, parallel programming, graphical user interfaces, monitoring, graphs, mapping, programming environments, software design, visual programming, software visualization, software performance evaluation, parallel systems, computer aided software engineering, parallel applications, performance monitoring, system monitoring, graphical notations, hierarchical specification, hardware configuration, development cycle, application partitioning
27David W. Bustard, Adam C. Winstanley Making Changes to Formal Specifications: Requirements and an Example. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
26Alan F. Blackwell Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use. Search on Bibsonomy Diagrams The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Matthias Erche, Michael Wagner 0006, Christian Hein Mapping visual notations to MOF compliant models with QVT relations. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF QVT relations, model transformation, domain specific languages, visual languages, OCL
26Adam Geras, James Miller 0001, Michael R. Smith 0001, James Love A Survey of Test Notations and Tools for Customer Testing. Search on Bibsonomy XP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Henri Habrias, Sébastien Faucou Linking Paradigms, Semi-formal and Formal Notations. Search on Bibsonomy TFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Daniel Amyot, Armin Eberlein An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. Search on Bibsonomy Telecommun. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF requirements, synthesis, scenario, use case, telecommunications, design model
26Zinovy Diskin Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML. Search on Bibsonomy Diagrams The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Nicola Mastidoro The IntraText Digital Library: XML-Driven Online Library Based on High Accessibility, Lexical Hypertextualization and Scholarly Accuracy in Philological / Textual Notations. Search on Bibsonomy ECDL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Alan F. Blackwell, Carol Britton, Anna Louise Cox, Thomas R. G. Green, Corin A. Gurr, Gada F. Kadoda, Maria Kutar, Martin J. Loomes, Chrystopher L. Nehaniv, Marian Petre, Chris Roast, Chris Roe, Allan Wong, R. Michael Young Cognitive Dimensions of Notations: Design Tools for Cognitive Technology. Search on Bibsonomy Cognitive Technology The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli Combining UML and formal notations for modelling real-time systems. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF UML, UML, formal methods, real-time software
26Claudia Pons, Gabriel Baum Formal Foundations of Object-Oriented Modeling Notations. Search on Bibsonomy ICFEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Régine Laleau, Amel Mammar An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. Search on Bibsonomy ASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Vincent Chung, John G. Hosking, Warwick B. Mugridge Visual Specification of 3D Notations Using 3DComposer. Search on Bibsonomy VL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Dan Jonsson The flow of control notations pancode and boxcharts. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
23Jörg Kienzle, Wisam Al Abed, Jacques Klein Aspect-oriented multi-view modeling. Search on Bibsonomy AOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF aspect dependencies, binding, class diagram, sequence diagram, aspect-oriented modeling, state diagram, instantiation
23Toshihiro Kanahori, Dominique Archambault, Masakazu Suzuki Universal Authoring System for Braille Materials by Collaboration of UMCL and Infty. Search on Bibsonomy ICCHP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Uri Dekel, James D. Herbsleb Notation and representation in collaborative object-oriented design: an observational study. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF collaborative software design, modeling, UML, representation, notation, OOD
Displaying result #1 - #100 of 1265 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license