BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (31)
system (19)
specif (14)
graphic (13)
design (13)

Stem notat$ (all stems)

118 papers:

CAiSECAiSE-2015-CabanillasKRRMC #named #process #visual notation
RALph: A Graphical Notation for Resource Assignments in Business Processes (CC, DK, MR, MR, JM, ARC), pp. 53–68.
ICEISICEIS-v3-2015-SantosTF #process
Investigating Completeness of Coding in Business Process Model and Notation (CHdS, LHT, MF), pp. 328–333.
SEKESEKE-2015-TerencianiPLC #modelling #process #representation #towards #variability
BPMN* — A Notation for Representation of Variability in Business Process Towards Supporting Business Process Line Modeling (MT, DMBP, GL, MIC), pp. 227–230.
ICSEICSE-v2-2015-WuestSG #collaboration #on the fly #sketching
FLEXISKETCH TEAM: Collaborative Sketching and Notation Creation on the Fly (DW, NS, MG), pp. 685–688.
DATEDATE-2014-VenkateshSKA #named #specification
EDT: A specification notation for reactive systems (RV, US, GMK, SA), pp. 1–6.
ICEISICEIS-v1-2014-KleinSRF #formal method #integration #on the #using
On the Formalisation of an Application Integration Language Using Z Notation (MJK, SS, FRF, RZF), pp. 314–319.
ICPRICPR-2014-Calvo-ZaragozaO #dataset #music #recognition
Recognition of Pen-Based Music Notation: The HOMUS Dataset (JCZ, JO), pp. 3038–3043.
KEODKEOD-2014-MartinB #information management #ontology #parsing #specification
An Ontology for Specifying and Parsing Knowledge Representations Structures and Notations (PM, JB), pp. 96–107.
ECMFAECMFA-2014-Ritter #case study #experience #integration #modelling #process
Experiences with Business Process Model and Notation for Modeling Integration Patterns (DR), pp. 254–266.
RERE-2014-LaueHBN #communication #performance #visual notation
Efficient visual notations for efficient stakeholder communication (RL, FH, BB, MN), pp. 329–330.
RERE-2014-LiuSYM14a #feature model #reasoning #requirements
Combined goal and feature model reasoning with the User Requirements Notation and jUCMNav (YL, YS, XY, GM), pp. 321–322.
RERE-2014-ZhuMR #modelling #multi
Structured multi-view modeling by tabular notation (XZ, DM, DR), pp. 327–328.
SLESLE-2014-JaksicFCG #feature model #modelling #usability #visual notation
Evaluating the Usability of a Visual Feature Modeling Notation (AJ, RBF, PC, SG), pp. 122–140.
ICPCICPC-2013-FalconeS #diagrams #eclipse #graph #named #plugin #uml #visualisation
OnionUML: An Eclipse plug-in for visualizing UML class diagrams in onion graph notation (MF, BS), pp. 233–235.
HCIDUXU-WM-2013-SchutzOV #approach #automation #development #evaluation #usability
SysML-Based Approach for Automation Software Development — Explorative Usability Evaluation of the Provided Notation (DS, MO, BVH), pp. 568–574.
MODELSMoDELS-2013-StorrleF #analysis #physics #towards #visual notation
Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages (HS, AF), pp. 104–120.
MODELSMoDELS-2013-Wouters #development #domain-specific language #towards
Towards the Notation-Driven Development of DSMLs (LW), pp. 522–537.
MODELSMoDELS-2013-StorrleF #analysis #physics #towards #visual notation
Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages (HS, AF), pp. 104–120.
MODELSMoDELS-2013-Wouters #development #domain-specific language #towards
Towards the Notation-Driven Development of DSMLs (LW), pp. 522–537.
RERE-2013-CaireGHM #design #requirements #towards #visual notation
Visual notation design 2.0: Towards user comprehensible requirements engineering notations (PC, NG, PH, DLM), pp. 115–124.
SACSAC-2013-WoutersG #development #domain-specific language #empirical #metamodelling #modelling
Notation-driven vs metamodel-driven development of domain-specific modeling languages: an empirical study (LW, MPG), pp. 1145–1146.
IFLIFL-2012-OrchardM #monad
A Notation for Comonads (DAO, AM), pp. 1–17.
GPCEGPCE-2012-RafkindF #algebra #named
Honu: syntactic extension for algebraic notation through enforestation (JR, MF), pp. 122–131.
RERE-2012-SupakkulC #modelling #multi #requirements #tool support
The RE-Tools: A multi-notational requirements modeling toolkit (SS, LC), pp. 333–334.
SACSAC-2012-Zaytsev #bnf #what
BNF was here: what have we done about the unnecessary diversity of notation for syntactic definitions (VZ), pp. 1910–1915.
LDTALDTA-2012-Zaytsev #grammar recovery #parametricity
Notation-parametric grammar recovery (VZ), p. 9.
CASECASE-2011-Vogel-HeuserS #approach #automation #modelling #usability
A methodological approach to evaluate the benefit and usability of different modeling notations for open loop control in automation systems (BVH, KS), pp. 474–481.
DRRDRR-2011-RamirezO
OMR of early plainchant manuscripts in square notation: a two-stage system (CR, JO), pp. 1–10.
ICPCICPC-2011-SteinH #aspect-oriented #comparison #constraints #empirical #visual notation
Comparison of a Visual and a Textual Notation to Express Data Constraints in Aspect-Oriented Join Point Selections: A Controlled Experiment (DS, SH), pp. 141–150.
ICEISICEIS-v3-2011-BhuiyanRH #case study #modelling #multi #using
Supporting Business Modeling using Multiple Notations — A Case Study (MB, SR, KH), pp. 301–306.
ICEISICEIS-v3-2011-CamposO #development #modelling #process
Modeling Work Processes and Software Development — Notation and Tool (ALNC, TCdO), pp. 337–343.
IFLIFL-2010-TorontoM #probability
From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC (NT, JM), pp. 89–104.
SEKESEKE-2010-Cao #automaton #interface #refinement
Refinement Checking for Interface Automata with Z Notation (ZC), pp. 399–404.
ICSEICSE-2010-Moody #approach #design #physics #re-engineering #visual notation
The “physics” of notations: a scientific approach to designing visual notations in software engineering (DLM), pp. 485–486.
SLESLE-2010-GenonHA #effectiveness
Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation (NG, PH, DA), pp. 377–396.
ECMFAECMDA-FA-2009-CharfiSS #editing #hybrid #uml #visual notation
A Hybrid Graphical and Textual Notation and Editor for UML Actions (AC, AS, AS), pp. 237–252.
GT-VMTGT-VMT-2006-Willink08 #approach #challenge #on the #visual notation
On Challenges for a Graphical Transformation Notation and the UMLX Approach (EDW), pp. 171–179.
GT-VMTGT-VMT-2006-XuLW08 #reasoning #visual notation
BPSL Modeler — Visual Notation Language for Intuitive Business Property Reasoning (KX, YL, CW), pp. 211–220.
CAiSECAiSE-2008-MuehlenR #how #modelling #process
How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation (MzM, JR), pp. 465–479.
ICPRICPR-2008-JhaN #independence #layout #representation
Wang Notation Tool: Layout independent representation of tables (PJ, GN), pp. 1–4.
MODELSMoDELS-2008-RosePKP #modelling
Constructing Models with the Human-Usable Textual Notation (LMR, RFP, DSK, FP), pp. 249–263.
MODELSMoDELS-2008-RosePKP #modelling
Constructing Models with the Human-Usable Textual Notation (LMR, RFP, DSK, FP), pp. 249–263.
CCCC-2008-Schwartzbach #compilation #design #how
Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation (MIS), pp. 1–15.
FASEFASE-2007-GaoHW #flexibility #modelling
Flexible and Extensible Notations for Modeling Languages (JG, MPEH, EVW), pp. 102–116.
EDOCEDOC-2007-DeckerGB #modelling #process #visual notation
A Graphical Notation for Modeling Complex Events in Business Processes (GD, AG, APB), pp. 27–36.
ICEISICEIS-HCI-2007-Scaffidi
Unsupervised Inference of Data Formats in Human-Readable Notation (CS), pp. 236–244.
SEKESEKE-2007-Ilieva #information management #natural language #representation #visual notation
Graphical Notation for Natural Language and Knowledge Representation (MI), pp. 361–367.
OOPSLAOOPSLA-2007-DekelH #collaboration #design #object-oriented #representation
Notation and representation in collaborative object-oriented design: an observational study (UD, JDH), pp. 261–280.
SACSAC-2007-ErcheWH #modelling #qvt #visual notation
Mapping visual notations to MOF compliant models with QVT relations (ME, MW, CH), pp. 1037–1038.
ICSEICSE-2007-XieKS #comprehension #concept #concurrent #design #diagrams #evaluation
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts (SX, EK, REKS), pp. 727–731.
FATESTestCom-FATES-2007-SchulzWR
TPLan-A Notation for Expressing Test Purposes (SS, AW, SR), pp. 292–304.
FLOPSFLOPS-2006-CasasCH #approach #evaluation #functional #higher-order #lazy evaluation
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (AC, DC, MVH), pp. 146–162.
ICDARICDAR-2005-DrakeB #geometry #using
Distinguishing Mathematics Notation from English Text using Computational Geometry (DMD, HSB), pp. 1270–1274.
ITiCSEITiCSE-2005-CilliersCG #programming
The effect of integrating an Iconic programming notation into CS1 (CC, APC, JHG), pp. 108–112.
EDOCEDOC-2004-WoodmanPSW #specification #verification #web #web service
Notations for the Specification and Verification of Composite Web Services (SJW, DJP, SKS, SMW), pp. 35–46.
ICEISICEIS-v3-2004-KrishnaVG #case study #framework
A Case Study of Combining I* Framework and the Z Notation (AK, SAV, AKG), pp. 192–200.
SEKESEKE-2004-HuS #diagrams #petri net #simulation #uml
Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.
IJCARIJCAR-2004-AvigadD #formal method #higher-order
Formalizing O Notation in Isabelle/HOL (JA, KD), pp. 357–371.
EDOCEDOC-2003-FungL #component #design #distributed #evolution
Design Notation for Dynamic Evolution in Component Based Distributed Systems (KHF, GCL), pp. 302–307.
GPCEGPCE-2003-TahaJ #staged
Staged Notational Definitions (WT, PJ), pp. 97–116.
RERE-2003-NiuAD #comprehension #modelling #specification
Understanding and Comparing Model-Based Specification Notations (JN, JMA, NAD), pp. 188–199.
DATEDATE-2002-DoboliV #co-evolution #design #functional #specification
A Functional Specification Notation for Co-Design of Mixed Analog-Digital Systems (AD, RV), pp. 760–767.
HTHT-2002-EmmetC #approach #design #hypermedia #persuasion #visual notation
Graphical notations, narratives and persuasion: a Pliant Systems approach to Hypertext Tool Design (LE, GC), pp. 55–64.
IFMIFM-2002-BrookeP #csp #design #visual notation
The Design of a Tool-Supported Graphical Notation for Timed CSP (PJB, RFP), pp. 299–318.
SACSAC-2002-DascaluH #approach #specification
An approach to integrating semi-formal and formal notations in software specification (SD, PH), pp. 1014–1020.
FSEFSE-2002-NiuAD #composition #modelling #semantics
Composable semantics for model-based notations (JN, JMA, NAD), pp. 149–158.
ICSEICSE-2002-AtiyaK #concurrent #verification
A compliance notation for verifying concurrent systems (DMA, SK), pp. 731–732.
ICDARICDAR-2001-ZanibbiBC #analysis
Baseline Structure Analysis of Handwritten Mathematics Notation (RZ, DB, JRC), pp. 768–773.
FASEFASE-2001-ChoppyPR #specification #uml #visual notation
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation (CC, PP, JCR), pp. 124–139.
IWPCIWPC-2001-LuccaFC #algebra #comprehension #object-oriented #representation #thread
An Algebraic Notation for Representing Threads in Object Oriented Software Comprehension (GADL, ARF, UdC), pp. 176–185.
ICFPICFP-2001-Paterson
A New Notation for Arrows (RP), pp. 229–240.
EDOCEDOC-2001-SteelR #generative #modelling
Generating Human-Usable Textual Notations for Information Models (JS, KR), pp. 250–261.
FSEESEC-FSE-2001-DavisGPJU #architecture #interactive #problem
A notation for problematic architecture interactions (LAD, RFG, JP, GJ, DJU), pp. 132–141.
FSEESEC-FSE-2001-LavazzaQV #modelling #realtime #uml
Combining UML and formal notations for modelling real-time systems (LL, GQ, MV), pp. 196–206.
ASEASE-2000-LaleauM #bibliography #generative #specification #uml
An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations (RL, AM), pp. 269–272.
ICPRICPR-v4-2000-GezerlisT #music #recognition
An Optical Music Recognition System for the Notation of the Orthodox Hellenic Byzantine Music (VGG, ST), pp. 4837–4840.
UMLUML-2000-GarlanK #architecture
Reconciling the Needs of Architectural Description with Object-Modeling Notations (DG, AK), pp. 498–512.
REICRE-2000-DayJ #analysis #framework #multi #requirements #specification
A Framework for Multi-Notation Requirements Specification and Analysis (NAD, JJJ), pp. 39–48.
RTARTA-2000-BonelliKR #higher-order
A de Bruijn Notation for Higher-Order Rewriting (EB, DK, AR), pp. 62–79.
FASEFASE-1999-CosicaR #concurrent #named
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems (EC, GR), pp. 77–97.
FMFM-v2-1999-OcicaI #algebra #aspect-oriented #corba #syntax
Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDL (RO, DI), p. 1863.
IFMIFM-1999-BussowG #composition #framework #integration #tool support
A Modular Framework for the Integration of Heterogeneous Notations and Tools (RB, WG), pp. 211–230.
IFMIFM-1999-Paige #communication #concurrent #refinement #specification #using
Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication (RFP), pp. 353–372.
UMLUML-1999-PaigeO #comparison #modelling
A Comparison of the Business Object Notation and the Unified Modelling Language (RFP, JSO), pp. 67–82.
TOOLSTOOLS-USA-1999-Henderson-Sellers #metamodelling #modelling
Advanced 00 Modelling: Metamodels and Notations for the Next Millenium (BHS), p. 464.
PADLPADL-1999-Schmidt #declarative #design
A Return to Elegance: The Reapplication of Declarative Notation to Software Design (DAS), pp. 360–364.
ICTSSIWTCS-1999-Willcock #syntax #towards
New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax (CW), pp. 31–42.
LICSLICS-1999-BruniM #category theory #π-calculus
Cartesian Closed Double Categories, Their λ-Notation, and the π-Calculus (RB, UM), pp. 246–265.
UMLUML-1998-BezivinM #modelling #named #standard #uml
UML: The Birth and Rise of a Standard Modeling Notation (JB, PAM), pp. 1–8.
UMLUML-1998-EvansFLR #formal method #modelling #uml
The UML as a Formal Modeling Notation (AE, RBF, KL, BR), pp. 336–348.
FMFME-1997-Gregoire #protocol #proving #using
TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations (JCG), pp. 378–397.
FMFME-1997-ReggioL #specification
A Graphic Notation for Formal Specifications of Dynamic Systems (GR, ML), pp. 40–61.
TOOLSTOOLS-PACIFIC-1997-Hoffman #analysis #object-oriented
A Practical Notation for Object Oriented Analysis with a Formal Meaning (JH), pp. 225–237.
CAiSECAiSE-1995-GrundyV #development #multi
Providing Integrated Support for Multiple Development Notations (JCG, JRV), pp. 255–268.
FMFME-1994-RitchieBH #automaton #case study #experience #using
Experiences in Using the Abstract Machine Notation in a GKS Case Study (BR, JB, HPH), pp. 93–104.
FMFME-1993-BicarreguiR #comparison #invariant
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations (JB, BR), pp. 162–182.
HCIHCI-ACS-1993-ChasePHH #case study #documentation #using
Task-Oriented User Documentation Using the User Action Notation: A Case Study (JDC, MP, HRH, DH), pp. 421–426.
HCIHCI-SHI-1993-LimL #interactive #specification
Structured Notations for Human Factors Specification of Interactive Systems (KYL, JBL), pp. 325–331.
AdaTRI-Ada-1993-Cernosek #ada #modelling #named #representation
ROMAN-9X: A Technique for Representing Object Models in Ada 9X Notation (GJC), pp. 385–406.
TOOLSTOOLS-EUROPE-1993-Goguen #named
Keynote: On Notation (JAG), pp. 5–10.
TOOLSTOOLS-PACIFIC-1993-BarrettS #bibliography #development #object-oriented
A Review of Diagramming Notations for Object Oriented Development (MLB, GS), pp. 475–488.
TOOLSTOOLS-PACIFIC-1993-McEwinR #analysis #design #object-oriented
Semiotics, Ethnomethodology, and Object-Oriented Analysis and Design Notations (JM, SR), pp. 143–151.
TOOLSTOOLS-PACIFIC-1992-Henderson-Sellers92a #analysis #design
Techniques and Notation for Analysis and Design (BHS), p. 236.
ICALPICALP-1991-JouannaudO #decidability #satisfiability
Satisfiability of Systems of Ordinal Notations with the Subterm Property is Decidable (JPJ, MO), pp. 455–468.
FMVDME-1991-1-Bril #algebra #specification #using
A Model-Oriented Method for Algebraic Specification using COLD-1 as Notation (RJB), pp. 106–124.
CHICHI-1991-Schultz #visual notation
A graphical reflection notation used in an intelligent discovery world tutoring system (JS), pp. 433–434.
TOOLSTOOLS-USA-1991-EdwardsH #object-oriented #re-engineering
Associated Paper: A Coherent Notation for Object-Oriented Software Engineering (JME, BHS), pp. 405–426.
TOOLSTOOLS-USA-1991-Henderson-Sellers #analysis #design
Techniques and Notation for Analysis and Design (BHS), pp. 403–404.
ECOOPECOOP-1989-Hedin #attribute grammar #object-oriented
An Object-Oriented Notation for Attribute Grammars (GH), pp. 329–345.
DACDAC-1988-BaerLMNSW #multi
A Notation for Describing Multiple Views of VLSI Circuits (JLB, MCL, LM, RN, LS, WW), pp. 102–107.
LICSLICS-1988-Griffin #formal method
Notational definition — a formal account (TG), pp. 372–383.
HCIHCI-SES-1987-Roesser
A Notation for the Input and Storage of Mathematics: An Application of SGML (JRR), pp. 137–142.
ESECESEC-1987-HekmatpourW #specification #tool support #visual notation
Formal Specification of Graphical Notations and Graphical Software Tools (SH, MW), pp. 297–305.
SIGIRSIGIR-1984-Tague #retrieval #semantics
A Semantic Model and Schema Notation for Bibliographic Retrieval Systems (JT), pp. 71–93.
CADECADE-1984-Schmidt #programming #reasoning
A Programming Notation for Tactical Reasoning (DAS), pp. 445–459.
ICALPICALP-1982-RaoultS
Properties of a Notation for Combining Functions (JCR, RS), pp. 429–441.
DACDAC-1978-Yessios #3d
A notation and system for 3-D constructions (CIY), pp. 125–132.
STOCSTOC-1971-Meyers #linear #representation
Linear Representation of Tree Structure: A Mathematical Theory of Parenthesis-Free Notations (WJM), pp. 50–62.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.