Stem definit$ (all stems)

370 papers:

QoSA-2015-LehrigEB #bibliography #in the cloud #metric #performance #scalability

Scalability, Elasticity, and Efficiency in Cloud Computing: a Systematic Literature Review of Definitions and Metrics (SL, HE, SB), pp. 83–92.

WICSA-2015-MoCKX #architecture #automation #detection #smell

Hotspot Patterns: The Formal Definition and Automatic Detection of Architecture Smells (RM, YC, RK, LX), pp. 51–60.

ESOP-2015-FetscherCPHF #automation #generative #random #type system

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System (BF, KC, MHP, JH, RBF), pp. 383–405.

HCI-DE-2015-Hensely-Schinkinger #design

The Definition and Use of Personas in the Design of Technologies for Informal Caregivers (SHS, AFPdC, MG, HT), pp. 202–213.

ICML-2015-HuangWSLC #classification #image #learning #metric #set #symmetry

Log-Euclidean Metric Learning on Symmetric Positive Definite Manifold with Application to Image Set Classification (ZH, RW, SS, XL, XC), pp. 720–729.

Onward-2015-Petricek

Against a universal definition of “Type” (TP), pp. 254–266.

QAPL-2015-LatellaMV #bisimulation

A Definition Scheme for Quantitative Bisimulation (DL, MM, EPdV), pp. 63–78.

SAC-2015-PiMMG #analysis #health #ontology #security

Ontology definition and cognitive analysis in ocupational health and security (OHS) environments (NSP, LM, JMM, ACBG), pp. 201–206.

ICSE-v2-2015-IzquierdoC #open source

Enabling the Definition and Enforcement of Governance Rules in Open Source Systems (JLCI, JC), pp. 505–514.

ESOP-2014-CockxPD #independence #similarity

Overlapping and Order-Independent Patterns — Definitional Equality for All (JC, FP, DD), pp. 87–106.

WRLA-2014-ArusoaieLRSSR

Language Definitions as Rewrite Theories (AA, DL, VR, TFS, AS, GR), pp. 97–112.

WRLA-2014-Duran #composition #domain-specific language

Composition of Graph-Transformation-Based DSL Definitions by Amalgamation (FD), pp. 1–20.

FM-2014-BaeOM #analysis #multi #semantics

Definition, Semantics, and Analysis of Multirate Synchronous AADL (KB, PCÖ, JM), pp. 94–109.

SEFM-2014-TatsutaC #induction #logic #verification

Completeness of Separation Logic with Inductive Definitions for Program Verification (MT, WNC), pp. 20–34.

CHI-2014-BardzellBT #quote #self #tool support

“Now that’s definitely a proper hack”: self-made tools in hackerspaces (JB, SB, AT), pp. 473–476.

EDOC-2014-KurodaG #dependence #modelling #scalability

Model-Based IT Change Management for Large System Definitions with State-Related Dependencies (TK, ASG), pp. 170–179.

KEOD-2014-TriantafyllouA #classification

Definition and Classification of Primitives for the Robotic Unfolding of a Piece of Clothing (DT, NAA), pp. 417–422.

KR-2014-DeneckerV #induction #principle #revisited #semantics

The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited (MD, JV).

MLDM-2014-JoshiB #named #novel

CBOF: Cohesiveness-Based Outlier Factor A Novel Definition of Outlier-ness (VJ, RB), pp. 175–189.

RE-2014-GordonB #requirements

The role of legal expertise in interpretation of legal requirements and definitions (DGG, TDB), pp. 273–282.

SAC-2014-DabrowskiLP #concurrent #thread

Nested atomic sections with thread escape: a formal definition (FD, FL, TP), pp. 1585–1592.

DUXU-WM-2013-BucchianicoCP #analysis #communication #towards #visual notation

Branding “for All”: Toward the Definition of Inclusive Toolkits of Analysis and Visual Communication for Brand Identities (GDB, SC, SP), pp. 23–29.

HCI-AMTE-2013-WendlerP #generative #requirements #user interface

Requirements for a Definition of Generative User Interface Patterns (SW, IP), pp. 510–520.

CAiSE-2013-IzquierdoC #collaboration #domain-specific language

Enabling the Collaborative Definition of DSMLs (JLCI, JC), pp. 272–287.

KEOD-2013-CalegariCM #owl #plugin

Linguistic-variable Definition in OWL 2 — A Protégé Plugin (SC, DC, MM), pp. 269–277.

PPDP-2013-MidtgaardRL

Engineering definitional interpreters (JM, NR, BL), pp. 121–132.

SAC-2013-Penzenstadler #re-engineering #towards

Towards a definition of sustainability in and for software engineering (BP), pp. 1183–1185.

CADE-2013-IosifRS #logic #recursion

The Tree Width of Separation Logic with Recursive Definitions (RI, AR, JS), pp. 21–38.

ICLP-J-2013-JansenJJ #compilation #induction #prolog

Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (JJ, AJ, GJ), pp. 691–704.

LICS-2013-Sacchini #calculus #type system

Type-Based Productivity of Stream Definitions in the Calculus of Constructions (JLS), pp. 233–242.

DocEng-2012-MeixnerK #interactive #video #xml

Interactive non-linear video: definition and XML structure (BM, HK), pp. 49–58.

VLDB-2012-GraefeK #database #detection

Definition, Detection, and Recovery of Single-Page Failures, a Fourth Class of Database Failures (GG, HAK), pp. 646–655.

WRLA-2012-ArusoaieSER #interactive #maude

Making Maude Definitions More Interactive (AA, TFS, CE, GR), pp. 83–98.

SFM-2012-CabotG #constraints #ocl

Object Constraint Language (OCL): A Definitive Guide (JC, MG), pp. 58–90.

ICEIS-v3-2012-KumarS #approach #architecture #enterprise #metric #performance

Enterprise Architecture Performance Management — A Context based Approach to EA Metrics Definition (AK, PS), pp. 249–254.

ECOOP-2012-AltidorRS #java

Java Wildcards Meet Definition-Site Variance (JA, CR, YS), pp. 509–534.

GPCE-2012-AxelsenK #java #performance #semantics #text-to-text

Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code (EWA, SK), pp. 50–59.

REFSQ-2012-ChowdhuryMSK #diagrams #requirements #risk management #security

Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions (MJMC, RM, GS, PK), pp. 132–139.

SAC-2012-Zaytsev #bnf #what

BNF was here: what have we done about the unnecessary diversity of notation for syntactic definitions (VZ), pp. 1910–1915.

IJCAR-2012-Tiu #logic

Stratification in Logics of Definitions (AT), pp. 544–558.

LICS-2012-BaeldeN #deduction #fixpoint #logic

Combining Deduction Modulo and Logics of Fixed-Point Definitions (DB, GN), pp. 105–114.

PLDI-2011-AltidorHS

Taming the wildcards: combining definition- and use-site variance (JA, SSH, YS), pp. 602–613.

HCI-ITE-2011-AkahaneHYS #development

Development of a High Definition Haptic Rendering for Stability and Fidelity (KA, TH, TY, MS), pp. 3–12.

KMIS-2011-Sandkuhl

Organizational Knowledge Patterns — Definition and Characteristics (KS), pp. 230–235.

RecSys-2011-JojicSB #probability #similarity

A probabilistic definition of item similarity (OJ, MS, NB), pp. 229–236.

MoDELS-2011-ElaasarL #case study #diagrams #uml

Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.

MoDELS-2011-ElaasarL #case study #diagrams #uml

Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.

OOPSLA-2011-KatsVV #development #testing

Integrated language definition testing: enabling test-driven language development (LCLK, RV, EV), pp. 139–154.

ESEC-FSE-2011-LumpeMG #logic #named #specification

PSPWizard: machine-assisted definition of temporal logical properties with specification patterns (ML, IM, LG), pp. 468–471.

LDTA-2011-JohnstoneSB #named

LDT: a language definition technique (AJ, ES, MvdB), p. 9.

QoSA-2010-Magee #architecture #evolution

Intrinsic Definition in Software Architecture Evolution (JNM), p. 1.

DRR-2010-ChazalonC #definite clause grammar #documentation #using

Using definite clause grammars to build a global system for analyzing collections of documents (JC, BC), pp. 1–10.

ESOP-2010-AdjeGG #invariant #policy #static analysis

Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.

WCRE-2010-Arnaoudova #quality #source code

Improving Source Code Quality through the Definition of Linguistic Antipatterns (VA), pp. 285–288.

AdaEurope-2010-PastorASA #approach #modelling #realtime #sequence #towards #using

Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach (JAP, DA, PS, BÁ), pp. 167–180.

CAiSE-2010-MatuleviciusHK #documentation #quality

Validity of the Documentation Availability Model: Experimental Definition of Quality Interpretation (RM, NH, FK), pp. 236–250.

ICPR-2010-CetinH #adaptation #algorithm #estimation #video

An Adaptive True Motion Estimation Algorithm for Frame Rate Conversion of High Definition Video (MC, IH), pp. 4109–4112.

ICPR-2010-TasdizenH #algorithm #estimation #recursion #video

Recursive Dynamically Variable Step Search Motion Estimation Algorithm for High Definition Video (OT, IH), pp. 2354–2357.

ICPR-2010-TsuchidaYT #development #image #multi

Development of a High-Definition and Multispectral Image Capturing System for Digital Archiving of Early Modern Tapestries of Kyoto Gion Festival (MT, KY, HTT), pp. 2828–2831.

KDD-2010-PrestonBKSF #clustering #constraints #using

Redefining class definitions using constraint-based clustering: an application to remote sensing of the earth’s surface (DP, CEB, RK, DSM, MAF), pp. 823–832.

SEKE-2010-WangPACC #analysis #automation #process

An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language (DW, JP, GSA, LAC, BC), pp. 765–770.

MoDELS-v1-2010-Pardillo #bibliography #uml

A Systematic Review on the Definition of UML Profiles (JP), pp. 407–422.

OOPSLA-2010-KatsVW #declarative #syntax

Pure and declarative syntax definition: paradise lost and regained (LCLK, EV, GW), pp. 918–932.

OOPSLA-2010-ShiPYLZCZ #concurrent #debugging #detection #invariant

Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs (YS, SP, ZY, SL, YZ, WC, WZ), pp. 160–174.

SAC-2010-SpinolaPT #approach #named #requirements

UbiCheck: an approach to support requirements definition in the ubicomp domain (ROS, FCRP, GHT), pp. 306–310.

SPLC-2010-HeuerBKLP #diagrams #process #semantics #syntax #variability

Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams (AH, CJB, SK, KL, KP), pp. 62–76.

HPDC-2010-ChapmanEMCG #architecture #on-demand

Software architecture definition for on-demand cloud provisioning (CC, WE, FGM, SC, AG), pp. 61–72.

CSL-2010-ForsbergS #induction

Inductive-Inductive Definitions (FNF, AS), pp. 454–468.

ICLP-2010-SaeedloeiG10 #definite clause grammar

Timed Definite Clause Ω-Grammars (NS, GG), pp. 212–221.

ICLP-J-2010-HouCD #fixpoint #logic #rule-based

FO(FD): Extending classical logic with rule-based fixpoint definitions (PH, BdC, MD), pp. 581–596.

WRLA-2008-Hills09 #logic #memory management #semantics

Memory Representations in Rewriting Logic Semantics Definitions (MH0), pp. 155–172.

ESOP-2009-LakinP #functional #higher-order #induction #programming

Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming (MRL, AMP), pp. 47–61.

FASE-2009-JurackLMTW #diagrams #process

Object Flow Definition for Refined Activity Diagrams (SJ, LL, KM, GT, GW), pp. 49–63.

SCAM-2009-Ward #slicing

Properties of Slicing Definitions (MPW), pp. 23–32.

DHM-2009-NiuLX #3d #clustering

Comparisons of 3D Shape Clustering with Different Face Area Definitions (JN, ZL, SX), pp. 55–63.

CAiSE-2009-Franch #metric #modelling

A Method for the Definition of Metrics over i* Models (XF), pp. 201–215.

ICEIS-DISI-2009-RomeuAC #integration #metric #using

Integration Method Among BSC, CMMI and Six Sigma using GQM to Support Measurement Definition (MIBCIS) (LR, JA, AC), pp. 171–176.

MoDELS-2009-CengarleGR #modelling #variability

Variability within Modeling Language Definitions (MVC, HG, BR), pp. 670–684.

MoDELS-2009-DhaussyPCRTB #validation

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.

MoDELS-2009-CengarleGR #modelling #variability

Variability within Modeling Language Definitions (MVC, HG, BR), pp. 670–684.

MoDELS-2009-DhaussyPCRTB #validation

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.

REFSQ-2009-TourweCBB #collaboration #quantifier #requirements

Demystifying Release Definition: From Requirements Prioritization to Collaborative Value Quantification (TT, WC, NB, VB), pp. 37–44.

DATE-2008-BonnotLEGRG #approach #architecture #implementation #multi

Definition and SIMD Implementation of a Multi-Processing Architecture Approach on FPGA (PB, FL, GE, GG, OR, PG), pp. 610–615.

DocEng-2008-Mlynkova #similarity #xml

Similarity of XML schema definitions (IM), pp. 187–190.

ITiCSE-2008-RomeroVP #elicitation #requirements #towards

Toward a definition of the competences for global requirements elicitation (MR, AV, MP), p. 364.

FASE-2008-LagardeETAG #domain model #modelling #uml

Leveraging Patterns on Domain Models to Improve UML Profile Definition (FL, HE, FT, CA, SG), pp. 116–130.

LATA-2008-Crespi-ReghizziP #set

Consensual Definition of Languages by Regular Sets (SCR, PSP), pp. 196–208.

CAiSE-2008-HaesenSLP #architecture #on the

On the Definition of Service Granularity and Its Architectural Impact (RH, MS, WL, SP), pp. 375–389.

ICPR-2008-Adkins-HillFZS #comparison #empirical #video

An empirical comparison of high definition video and regular video in optical flow computation (JPAH, JMF, YZ, JRS), pp. 1–4.

ICMT-2008-HettelLR

Model Synchronisation: Definitions for Round-Trip Engineering (TH, ML, KR), pp. 31–45.

MoDELS-2008-WeisemollerS #component #composition #metamodelling

Formal Definition of MOF 2.0 Metamodel Components and Composition (IW, AS), pp. 386–400.

MoDELS-2008-WeisemollerS #component #composition #metamodelling

Formal Definition of MOF 2.0 Metamodel Components and Composition (IW, AS), pp. 386–400.

SAC-2008-ReynosoCGP #diagrams #metric #ocl #statechart #uml #using

Formal definition of measures for UML statechart diagrams using OCL (LR, JACL, MG, MP), pp. 846–847.

SAC-2008-TapiaZ

Partnering structure definition for networked businesses (RST, NZ), pp. 588–589.

SPLC-2008-MagroGP #product line #validation

A Software Product Line Definition for Validation Environments (BM, JG, JP), pp. 45–54.

ICLP-2008-Lifschitz

Twelve Definitions of a Stable Model (VL), pp. 37–51.

LICS-2008-GacekMN #recursion

Combining Generic Judgments with Recursive Definitions (AG, DM, GN), pp. 33–44.

SAT-2008-MarienWDB #induction #logic #satisfiability

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions (MM, JW, MD, MB), pp. 211–224.

VMCAI-2008-Cousot #abstract interpretation #semantics

Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions (RC), pp. 1–3.

HT-2007-GuerreroCPMM #approach #automation #clustering #semantics

Clustering as an approach to support the automatic definition of semantic hyperlinks (JACG, AAC, MdGCP, EVM, AAM), pp. 81–84.

VLDB-2007-BexNV #xml

Inferring XML Schema Definitions from XML Data (GJB, FN, SV), pp. 998–1009.

WRLA-2006-HillsSR07 #framework #generative #performance

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (MH, TS, GR), pp. 215–231.

ILC-2007-Borden #classification #using

Classification using conditional probabilities and Shannon’s definition of information (AB), p. 15.

GT-VMT-2007-WorzbergerHH #graph #tool support #workflow

Evaluating Workflow Definition Language Revisions with Graph-Based Tools (RW, MH, FWH).

HCI-IDU-2007-HoferZJ #design #process

Alignment of Product Portfolio Definition and User Centered Design Activities (RH, DZ, MJ), pp. 98–107.

SIGIR-2007-KorC

Interesting nuggets and their impact on definitional question answering (KWK, TSC), pp. 335–342.

MoDELS-2007-KrahnRV #syntax

Integrated Definition of Abstract and Concrete Syntax for Textual Languages (HK, BR, SV), pp. 286–300.

MoDELS-2007-KrahnRV #syntax

Integrated Definition of Abstract and Concrete Syntax for Textual Languages (HK, BR, SV), pp. 286–300.

OOPSLA-2007-StrniaaSP #design #java #semantics

The java module system: core design and semantic definition (RS, PS, MJP), pp. 499–514.

ASE-2006-PaarT #data type #owl #programming language #xml

Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL (AP, WFT), pp. 281–284.

ICSM-2006-JansenB #deployment #process #validation

Definition and Validation of the Key process of Release, Delivery and Deployment for Product Software Vendors: turning the ugly duckling into a swan (SJ, SB), pp. 166–175.

SAS-2006-PueblaAH #abstract interpretation

Abstract Interpretation with Specialized Definitions (GP, EA, MVH), pp. 107–126.

ICALP-v2-2006-KahlerKW #protocol

A Dolev-Yao-Based Definition of Abuse-Free Protocols (DK, RK, TW), pp. 95–106.

EDOC-2006-MoragaCP #ontology

Ontology Driven Definition of a Portlet Functionality Model (MÁM, CC, MP), pp. 405–408.

ICEIS-AIDSS-2006-ProchazkaKK #fuzzy #information management #petri net #process #using

Various Process Wizard for Information Systems — Using Fuzzy Petri Nets for Process Definition (JP, JK, CK), pp. 235–242.

ICEIS-ISAS-2006-GervaisBFL #database #named #relational #transaction

EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions (FG, PB, MF, RL), pp. 44–51.

ICEIS-J-2006-CalegariC06a #editing #fuzzy #ontology #towards

Towards a Fuzzy Ontology Definition and a Fuzzy Extension of an Ontology Editor (SC, DC), pp. 147–158.

KDD-2006-TongF #performance #problem

Center-piece subgraphs: problem definition and fast solutions (HT, CF), pp. 404–413.

SIGIR-2006-HanSR #probability

Probabilistic model for definitional question answering (KSH, YIS, HCR), pp. 212–219.

ECMDA-FA-2006-PagelB #generative

Definition and Generation of Data Exchange Formats in AUTOSAR (MP, MB), pp. 52–65.

MoDELS-2006-BiermannEKKTW #eclipse #framework #modelling #visual notation

Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework (EB, KE, CK, GK, GT, EW), pp. 425–439.

MoDELS-2006-CostalGQRT #constraints #uml

Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.

MoDELS-2006-OKeefe #uml

Improving the Definition of UML (GO), pp. 42–56.

MoDELS-2006-BiermannEKKTW #eclipse #framework #modelling #visual notation

Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework (EB, KE, CK, GK, GT, EW), pp. 425–439.

MoDELS-2006-CostalGQRT #constraints #uml

Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.

MoDELS-2006-OKeefe #uml

Improving the Definition of UML (GO), pp. 42–56.

OOPSLA-2006-BravenboerTV #aspectj #declarative #syntax

Declarative, formal, and extensible syntax definition for aspectJ (MB, ÉT, EV), pp. 209–228.

RTA-2006-Obua #higher-order #logic

Checking Conservativity of Overloaded Definitions in Higher-Order Logic (SO), pp. 212–226.

TestCom-2006-GastonGRT #execution #symbolic computation

Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.

ICDAR-2005-SalmonWT #metric

Automatical Definition of Measures from the Combination of Shape Descriptors (JPS, LW, ST), pp. 986–990.

WRLA-2004-ArrighiD05

A Computational Definition of the Notion of Vectorial Space (PA, GD), pp. 249–261.

IFM-2005-GervaisFL #specification

Synthesizing B Specifications from EB3 Attribute Definitions (FG, MF, RL), pp. 207–226.

CAiSE-2005-LopesHBJ #framework #generative #specification #web #web service

Generating Transformation Definition from Mapping Specification: Application to Web Service Platform (DL, SH, JB, FJ), pp. 309–325.

ICEIS-v1-2005-BaroniCPA #database #metric

A Formal Definition for Object-Relational Database Metrics (ALB, CC, MP, FBeA), pp. 334–339.

ICEIS-v1-2005-RisheACVGHW #database #semantics #xml

XML-Based Semantic Database Definition Language (NR, MA, MC, DV, SG, DH, OW), pp. 197–202.

ICEIS-v5-2005-BadjioP #data mining #metric #mining #quality #tool support #visual notation

Visual Data Mining Tools: Quality Metrics Definition and Application (EPFB, FP), pp. 98–103.

SIGIR-2005-CuiKC #modelling

Generic soft pattern models for definitional question answering (HC, MYK, TSC), pp. 384–391.

RE-2005-Nesland #framework #implementation #lessons learnt #process #requirements

Initial Lessons Learned from the Definition and Implementation of a Platform Requirements Engineering Process at Intel Corporation (SN), pp. 429–433.

ICSE-2005-LavazzaB #automation #execution #metric

Automated support for process-aware definition and execution of measurement plans (LL, GB), pp. 234–243.

ICLP-2005-PelovT #induction #satisfiability

Reducing Inductive Definitions to Propositional Satisfiability (NP, ET), pp. 221–234.

SAT-2005-BelovS #logic #satisfiability

Substitutional Definition of Satisfiability in Classical Propositional Logic (AB, ZS), pp. 31–45.

FASE-2004-BardohlELT #aspect-oriented #graph transformation #metamodelling #performance #visual notation

Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation (RB, HE, JdL, GT), pp. 214–228.

FoSSaCS-2004-GianantonioM #category theory #recursion

Unifying Recursive and Co-recursive Definitions in Sheaf Categories (PDG, MM), pp. 136–150.

CSMR-2004-LuccaFTV #maintenance #towards #web

Towards the Definition of a Maintainability Model for Web Applications (GADL, ARF, PT, CAV), pp. 279–287.

FLOPS-2004-IranzoL

Analysing Definitional Trees: Looking for Determinism (PJI, CVL), pp. 55–69.

ICALP-2004-BlundoDS #bound #self

Definitions and Bounds for Self-Healing Key Distribution Schemes (CB, PD, ADS), pp. 234–245.

ICEIS-v1-2004-Loucopoulos #requirements

Engaging Stakeholders in the Definition of Strategic Requirements (PL), p. III.

SIGIR-2004-XuWL #approach #evaluation

Evaluation of an extraction-based approach to answering definitional questions (JX, RMW, AL), pp. 418–424.

UML-2004-FlakeM #ocl #semantics

An ASM Definition of the Dynamic OCL 2.0 Semantics (SF, WM), pp. 226–240.

RE-2004-FranchGQ #framework #metric #modelling

A Framework for the Definition of Metrics for Actor-Dependency Models (XF, GG, CQ), pp. 348–349.

TestCom-2004-Schulz #consistency #protocol #testing

Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols (SS), pp. 177–192.

ICALP-2003-BusiGZ #calculus #recursion #replication

Replication vs. Recursive Definitions in Channel Based Calculi (NB, MG, GZ), pp. 133–144.

ICALP-2003-EisnerFHMC

The Definition of a Temporal Clock Operator (CE, DF, JH, AM, DVC), pp. 857–870.

AGTIVE-2003-BardohlEW #modelling #named #visual notation

GenGED — A Visual Definition Tool for Visual Modeling Environments (RB, CE, IW), pp. 413–419.

ICEIS-v3-2003-GoeppK #evolution #information management #problem #towards

Towards a Definition of the Key-Problems in Information System Evolution — Formulating Problems to Better Address Information System Projects (VG, FK), pp. 586–589.

SIGIR-2003-Blair-GoldensohnMS #hybrid #named

DefScriber: a hybrid system for definitional QA (SBG, KM, AHS), p. 462.

SIGIR-2003-Roelleke #probability

A frequency-based and a poisson-based definition of the probability of being informative (TR), pp. 227–234.

UML-2003-Isoda #uml

A Critique of UML’s Definition of the Use-Case Class (SI), pp. 280–294.

GPCE-2003-TahaJ #staged

Staged Notational Definitions (WT, PJ), pp. 97–116.

PPDP-2003-Virseda #calculus

A demand-driven narrowing calculus with overlapping definitional trees (RdVV), pp. 253–263.

RE-2003-PaimC #approach #named #requirements

DWARF: AN Approach for Requirements Definition and Management of Data Warehouse Systems (FRSP, JC), p. 75–?.

LDTA-2003-CostagliolaDFG #analysis #development #visual notation

Exploiting XPG for Visual Languages: Definition, Analysis and Development (GC, VD, FF, CG), pp. 612–627.

FATES-2003-SenG #on the

On Checking Whether a Predicate Definitely Holds (AS, VKG), pp. 15–29.

ICLP-2003-ErdoganL #programming #set

Definitions in Answer Set Programming: (Extended Abstract) (STE, VL), pp. 483–484.

ICLP-2003-LangevineDD #implementation #performance #prolog

A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation (LL, MD, PD), pp. 269–283.

TLCA-2003-LazicN #independence #on the #semantics

On a Semantic Definition of Data Independence (RL, DN), pp. 226–240.

DATE-2002-Selic #realtime #standard #uml

The Real-Time UML Standard: Definition and Application (BS), pp. 770–772.

FLOPS-2002-CaballeroL

Dynamic-Cut with Definitional Trees (RC, FJLF), pp. 245–258.

VISSOFT-2002-Sajaniemi #comprehension #editing #independence #multi

View Definitions for Language-Independent Multiple-View Program Comprehension and Editing (JS), pp. 3–12.

ICML-2002-LanckrietCBGJ #kernel #learning #matrix #programming

Learning the Kernel Matrix with Semi-Definite Programming (GRGL, NC, PLB, LEG, MIJ), pp. 323–330.

TestCom-2002-EbnerYL

A Definition and Utilization of OMG IDL to TTCN-3 Mappings (ME, AY, ML), p. 443–?.

ASE-2001-BezivinG #framework #precise #towards

Towards a Precise Definition of the OMG/MDA Framework (JB, OG), pp. 273–280.

DATE-2001-PomeranzR01a #detection #effectiveness #fault #generative #testing

Definitions of the numbers of detections of target faults and their effectiveness in guiding test generation for high defect coverage (IP, SMR), pp. 504–508.

AdaEurope-2001-Tokar #ada #runtime

New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.

PPDP-2001-GiavittoM #approximate #data type #declarative

Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains (JLG, OM), pp. 150–161.

ICSE-2001-BertolinoIM #architecture #execution #testing

An Explorative Journey from Architectural Tests Definition downto Code Tests Execution (AB, PI, HM), pp. 211–220.

LDTA-2001-LammelW #asf+sdf #ide #syntax

Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment (RL, GW), pp. 9–33.

LICS-2001-Avigad #first-order #logic

Eliminating Definitions and Skolem Functions in First-Order Logic (JA), pp. 139–146.

LICS-2001-Blanqui #calculus

Definitions by Rewriting in the Calculus of Constructions (FB), pp. 9–18.

ESOP-2000-HoweK #analysis #implementation

Implementing Groundness Analysis with Definite Boolean Functions (JMH, AK), pp. 200–214.

FoSSaCS-2000-Damiani #rank #type system

Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (FD), pp. 82–97.

ICPR-v2-2000-Sato #classification #fault #learning

A Learning Method for Definite Canonicalization Based on Minimum Classification Error (AS), pp. 2199–2202.

TOOLS-PACIFIC-2000-JacobsenK #interface #modelling

Modeling Interface Definition Language Extensions (HAJ, BJK), pp. 242–252.

PPDP-2000-Giavitto #data type #framework #recursion

A framework for the recursive definition of data structures (JLG), pp. 45–55.

SAC-2000-OchKO #data flow #semistructured data #using

Integrating Heterogeneous Data Sources Using the COIL Mediator Definition Language (CO, RK, RO), pp. 991–1000.

SAC-2000-TrujilloPG #database #multi #object-oriented #specification

The GOLD Definition Language (GDL): An Object Oriented Formal Specification Language for Multidimensional Databases (JT, MP, JG), pp. 346–350.

ICSE-2000-CassLSMWO #interpreter #named #process

Little-JIL/Juliette: a process definition language and interpreter (AGC, BSL, SMSJ, EKM, AEW, LJO), pp. 754–757.

CADE-2000-Slind

Wellfounded Schematic Definitions (KS), pp. 45–63.

CL-2000-Denecker #induction #logic

Extending Classical Logic with Inductive Definitions (MD), pp. 703–717.

CSL-2000-Jaume #induction #logic programming

Logic Programming and Co-inductive Definitions (MJ), pp. 343–355.

ISSTA-2000-CobleighCO #process #verification

Verifying properties of process definitions (JMC, LAC, LJO), pp. 96–101.

FASE-1999-Nepomniaschy #data type #verification

Verification of Definite Iteration over Hierarchical Data Structures (VAN), pp. 176–187.

PLDI-1999-ChilimbiDL

Cache-Conscious Structure Definition (TMC, BD, JRL), pp. 13–24.

FLOPS-1999-BakewellR #automation

Automated Generalisation of Function Definitions (AB, CR), pp. 225–240.

FM-v1-1999-FocardiM #approach #security

A Uniform Approach for the Definition of Security Properties (RF, FM), pp. 794–813.

FM-v1-1999-Waeselynck #modelling

Test Criteria Definition for B Models (SB, HW), pp. 509–529.

AGTIVE-1999-BaresiP #analysis #graph grammar #programmable

A Formal Definition of Stuctured Analysis with Programmable Graph Grammars (LB, MP), pp. 193–208.

CAiSE-1999-Becker-KornstaedtHKRVWZ #approach #process

Support for the Process Engineer: The Spearmint Approach to Software Process Definition and Process Guidance (UBK, DH, RK, PR, MV, RW, JZ), pp. 119–133.

CAiSE-1999-MatthesWH #approach #component

A Process-Oriented Approach to Software Component Definition (FM, HW, PH), pp. 26–40.

PPDP-1999-RoychoudhuryKRR #framework #logic programming #source code

A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs (AR, KNK, CRR, IVR), pp. 396–413.

ESEC-FSE-1999-Bokowski #constraints #java #named

CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java (BB), pp. 355–374.

CADE-1999-AdamsGLM #named

VSDITLU: a verifiable symbolic definite integral table look-up (AAA, HG, SL, UM), pp. 112–126.

CAV-1999-NamjoshiK #analysis #performance

Efficient Analysis of Cyclic Definitions (KSN, RPK), pp. 394–405.

ICLP-1999-OrejasP #semantics #source code

Semantic Definitions for Normal Open Programs (FO, EP), pp. 200–214.

ICLP-1999-ProiettiP #induction

Transforming Inductive Definitions (MP, AP), pp. 486–499.

LICS-1999-KfouryP #recursion #type inference

Type Inference for Recursive Definitions (AJK, SMPG), pp. 119–128.

TLCA-1999-DybjerS #axiom #finite #recursion

A Finite Axiomatization of Inductive-Recursive Definitions (PD, AS), pp. 129–146.

STOC-1998-BlumKRV #problem

Semi-Definite Relaxations for Minimum Bandwidth and other Vertex-Ordering Problems (AB, GK, RR, SV), pp. 100–105.

ICALP-1998-Gimenez #recursion #type system

Structural Recursive Definitions in Type Theory (EG), pp. 397–408.

TAGT-1998-BardohlE #concept #editing #visual notation

Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages (RB, HE), pp. 252–266.

AdaEurope-1998-BliebergerB #ada #analysis #source code

Symbolic Reaching Definitions Analysis of Ada Programs (JB, BB), pp. 238–250.

ICML-1998-Lin #similarity

An Information-Theoretic Definition of Similarity (DL), pp. 296–304.

ICPR-1998-HatteryL #analysis #image #physics

Depth from physics: physics-based image analysis and feature definition (DH, MHL), pp. 711–713.

TOOLS-ASIA-1998-Poo #policy

Policy Definition in Application-Domain-Related Classes (DCCP), pp. 94–103.

TOOLS-USA-1998-Watkins #contract #interface #programming #using

Using Interface Definition Languages to Support Path Expressions and Programming by Contract (DW), p. 308–?.

ALP-PLILP-1998-BruynoogheVWD #detection #logic programming #query #source code

Detecting Unsolvable Queries for Definite Logic Programs (MB, HV, DAdW, MD), pp. 118–133.

POPL-1998-NipkowO #java #type safety

JavaNone is Type-Safe — Definitely (TN, DvO), pp. 161–170.

ICRE-1998-Linger #requirements

Issues in Requirements Definition for Survivable Systems (RCL), p. 198–?.

ICRE-1998-LingerML #network #requirements

Requirements Definition for Survivable Network Systems (RCL, NRM, HFL), pp. 14–23.

CADE-1998-BishopA

Selectively Instantiating Definitions (MB, PBA), pp. 365–380.

JICSLP-1998-DevienneTT #constraints #set

Co-definite Set Constraints with Membership Expressions (PD, JMT, ST), pp. 25–39.

RTA-1998-CharatonikP #constraints #set

Co-definite Set Constraints (WC, AP), pp. 211–225.

CSMR-1997-TonellaAFM #analysis #maintenance #precise

Variable Precision Reaching Definitions Analysis for Software Maintenance (PT, GA, RF, EM), pp. 60–67.

HCI-CC-1997-SavidisSE #design #incremental #interface #physics #polymorphism

Abstract Task Definition and Incremental Polymorphic Physical Instantiation: The Unified Interface Design Method (AS, CS, PLE), pp. 465–468.

CAiSE-1997-DiazP #calculus #modelling #policy #validation

Stimuli and Business Policies as Modelling Constructs: Their Definition and Validation Through the Event Calculus (OD, NWP), pp. 33–46.

UML-1997-SchurrW #concept #uml

Formal Definition of UML’s Package Concept (AS, AJW), pp. 144–159.

TOOLS-ASIA-1997-Exton #distributed #fault tolerance #interface #specification

Distributed Fault Tolerance Specification through the use of Interface Definitions (CE), pp. 254–259.

CADE-1997-Matthews #implementation #induction #using

A Practical Implementation of Simple Consequence Relations Using Inductive Definitions (SM), pp. 306–320.

ICFP-1996-HuIT #morphism #recursion

Deriving Structural Hylomorphisms From Recursive Definitions (ZH, HI, MT), pp. 73–82.

TRI-Ada-1996-KlinglerS #architecture #implementation #named #process

DAGAR: A Process for Domain Architecture Definition and Asset Implementation (CDK, JS), pp. 231–245.

ICPR-1996-VitulanoNVM #detection #using

Edge detection using a new definition of entropy (SV, MN, DV, CM), pp. 141–145.

SEKE-1996-GillerHT #behaviour #visual notation

Scriptless Behaviour Definition of Visual Objects (VG, GH, MT), pp. 499–505.

ICRE-1996-JonesB #elicitation #information management #interactive #multi #requirements

Early elicitation and definition of requirements for an interactive multimedia information system (SJ, CB), pp. 12–20.

SAC-1996-FerriRCP #object-oriented

An object-oriented information model for a patient definition and management system (FF, FLR, FC, DMP), pp. 50–57.

CADE-1996-BasinM #induction

Structuring Metatheory on Inductive Definitions (DAB, SM), pp. 171–185.

CADE-1996-EglyR #normalisation #on the

On the Practical Value of Different Definitional Translations to Normal Form (UE, TR), pp. 403–417.

CSL-1996-Setzer #decidability #induction

Inductive Definitions with Decidable Atomic Formulas (AS), pp. 414–430.

JICSLP-1996-Chau #definite clause grammar #specification

Specification of Complex Systems with Definite Clause Grammar (Poster Abstract) (HLC), p. 544.

RTA-1996-HanusP #higher-order

Higher-Order Narrowing with Definitional Trees (MH, CP), pp. 138–152.

PEPM-1995-Lu #analysis #logic programming #source code

Type Analysis of Logic Programs in the Presence of Type Definitions (LL), pp. 241–252.

FPCA-1995-LaunchburyS #recursion

Warm Fusion: Deriving Build-Cata’s from Recursive Definitions (JL, TS), pp. 314–323.

ASF+SDF-1995-Visser #product line #syntax

A Family of Syntax Definition Formalisms (EV), pp. 89–126.

SOSP-1995-FordHL #interface #using

Using Annotated Interface Definitions to Optimize RPC (BF, MH, JL), p. 232.

CAV-1995-CousotC #composition #constraints #equation #fixpoint #game studies #induction #rule-based #semantics

Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (PC, RC), pp. 293–308.

ILPS-1995-GallagherBS #logic programming #modelling #source code #static analysis

Practical Model-Based Static Analysis for Definite Logic Programs (JPG, DB, HS), pp. 351–365.

ESOP-1994-BohmPG #normalisation

λ-Definition of Function(al)s by Normal Forms (CB, AP, SG), pp. 135–149.

ESOP-1994-Buth #simulation #term rewriting

Simulation of SOS Definitions with Term Rewriting Systems (KHB), pp. 150–164.

FME-1994-Larsen #evaluation

Evaluation of Underdetermined Explicit Definitions (PGL), pp. 233–250.

TAGT-1994-Courcelle #composition #graph #higher-order #logic #monad

The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs (BC), pp. 487–501.

TRI-Ada-1994-Riley #approach #modelling #object-oriented #process

An Object-Oriented Approach to Software Process Modeling and Definition (JDR), pp. 16–22.

CAiSE-1994-MorenoRS #approach

A Generic Approach to Support a Way-of-Working Definition (MM, CR, CS), pp. 367–379.

LOPSTR-1994-CookG #analysis #source code #termination

A Transformation System for Definite Programs Based on Termination Analysis (JC, JPG), pp. 51–68.

PLILP-1994-Barklund #source code

Tabulation of Functions in Definite Clause Programs (JB), pp. 465–466.

PLILP-1994-GergatsoulisK #source code

Unfold/Fold Transformations For Definite Clause Programs (MG, MK), pp. 340–354.

ICRE-1994-DobsonS #requirements

Organisational requirements definition for information technology systems (JED, RS), pp. 158–165.

ICRE-1994-Ohnishi #requirements #visual notation

A visual software requirements definition method (AO), pp. 194–201.

CADE-1994-Eriksson #calculus #editing #induction #interactive #named

Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions (LHE), pp. 821–825.

CADE-1994-Paulson #approach #implementation #induction

A Fixedpoint Approach to Implementing (Co)Inductive Definitions (LCP), pp. 148–161.

ICLP-1994-Christiansen #performance

Efficient and Complete Demo Predicates for Definite Clause Languages (HC), pp. 735–736.

ILPS-1994-SwiftW #analysis #evaluation #source code

Analysis of SLG-WAM Evaluation of Definite Programs (TS, DSW), pp. 219–235.

ILPS-1994-SwiftW94a #automaton #source code

An Abstract Machine for SLG Resolution: Definite Programs (TS, DSW), pp. 633–652.

ICDAR-1993-Pflug #n-gram #recognition #set #using

Using n-grams for the definition of a training set for cursive handwriting recognition (VP), pp. 295–298.

CSM-1993-Drew #formal method #process

Developing Formal Software Process Definitions (DWD), pp. 12–20.

FME-1993-KalinichenkoNZ #composition #development #query #semantics #synthesis

Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics (LAK, NSN, VZ), pp. 428–441.

FPCA-1993-PurushothamanS #semantics

From Operational Definitions to Abstract Semantics (SP, JS), pp. 276–288.

TRI-Ada-1993-Klingler #case study #process

A Case Study in Process Definition (CDK), pp. 65–79.

SEKE-1993-Paterno #logic #user interface #using

Definition of Properties of User Interfaces Using Action-Based Temporal Logic (FP), pp. 314–318.

ECOOP-1993-LiskovW #type system

A New Definition of the Subtype Relation (BL, JMW), pp. 118–141.

LOPSTR-1993-BoeckC #logic #prolog

Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments (PDB, BLC), pp. 229–245.

RE-1993-OhnishiA #named #requirements

CARD: a software requirements definition environment (AO, KA), pp. 90–93.

RE-1993-SibleyWMTL #policy #requirements

The role of policy in requirements definition (EHS, RLW, JBM, MCT, DCL), pp. 277–280.

ICLP-1993-BosschereJ #implementation #multi #named #prolog #semantics

Multi-Prolog: Definition, Operational Semantics and Implementation (KDB, JMJ), pp. 299–313.

ILPS-1993-ChanS #prolog

A Prolog-Based Definition of an Entity Relationship Language (HCC, KS), p. 650.

ILPS-1993-Felty #definite clause grammar #higher-order #parsing #syntax

Definite Clause Grammars for Parsing Higher-Order Syntax (APF), p. 668.

TLCA-1993-Paulin-Mohring #coq #induction

Inductive Definitions in the system Coq — Rules and Properties (CPM), pp. 328–345.

ESOP-1992-DohS #action semantics #semantics #type system

Extraction of Strong Typing Laws from Action Semantics Definitions (KGD, DAS), pp. 151–166.

ICALP-1992-PeladeauP #on the

On Reverse and General Definite Tree Languages (Extended Abstract) (PP, AP), pp. 150–161.

ALP-1992-Antoy

Definitional Trees (SA), pp. 143–157.

POPL-1992-CousotC #abstract interpretation #induction #semantics

Inductive Definitions, Semantics and Abstract Interpretation (PC, RC), pp. 83–94.

CADE-1992-FegarasSS #combinator #traversal

Uniform Traversal Combinators: Definition, Use and Properties (LF, TS, DWS), pp. 148–162.

JICSLP-1992-HaasJ #definite clause grammar #interactive #synthesis

Interactive Synthesis of Definite-Clause Grammars (JH, BJ), pp. 541–555.

STOC-1991-KedemPRS #parallel #performance

Combining Tentative and Definite Executions for Very Fast Dependable Parallel Computing (Extended Abstract) (ZMK, KVP, AR, PGS), pp. 381–390.

ECOOP-1991-Crespi-ReghizziPG #component #concurrent #reuse

Definition of Reusable Concurrent Software Components (SCR, GGdP, SG), pp. 148–166.

PLILP-1991-ProiettiP #logic programming #named #order #source code

Unfolding — Definition — Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs (MP, AP), pp. 347–358.

DAC-1990-CaiW #algorithm #layout

A Channel/Switchbox Definition Algorithm for Building-Block Layout (YC, DFW), pp. 638–641.

ESOP-1990-NielsonN #exclamation #for free

Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations (HRN, FN), pp. 291–305.

VDME-1990-BednarczykBP #recursion #revisited

Recursive Definitions Revisited (MAB, AMB, WP), pp. 452–476.

VDME-1990-BednarczykBP90a #semantics #towards

Towards the Semantics of the Definitional Language of MetaSoft (MAB, AMB, WP), pp. 471–503.

CADE-1990-WakayamaP #abstraction #source code

Case-Free Programs: An Abstraction of Definite Horn Programs (TW, THP), pp. 87–101.

CLP-1990-PareschiM90 #definite clause grammar

Extending Definite Clause Grammars with Scoping Constructs (RP, DM), pp. 373–389.

NACLP-1990-KempR #abstract interpretation #algebra #framework #source code

An Algebraic Framework for Abstract Interpretation of Definite Programs (RSK, GAR), pp. 516–530.

NACLP-1990-Liu #null #source code

Null Values in Definite Programs (YL), pp. 273–288.

ML-1989-SimsB

Discovering Mathematical Operation Definitions (MHS, JLB), pp. 308–313.

CSL-1989-StepankovaS #logic programming #source code

Stratification of Definite Clause Programs and of General Logic Programs (OS, PS), pp. 396–408.

LICS-1989-Goerdt #complexity #recursion

Characterizing Complexity Classes By Higher Type Primitive Recursive Definitions (AG), pp. 364–374.

LICS-1989-Pfenning #logic #metaprogramming #named

Elf: A Language for Logic Definition and Verified Metaprogramming (FP), pp. 313–322.

NACLP-1989-Searls #definite clause grammar

Investigating the Linguistics of DNA with Definite Clause Grammars (DBS), pp. 189–208.

ESOP-1988-BahlkeS #formal method #interactive #programming

The PSG System: From Formal Language Definitions to Interactive Programming Environments (RB, GS), pp. 374–375.

VDME-1988-AndrewsGLP #interpreter

The Formal Definition of Modula-2 and Its Associated Interpreter (DJA, AG, SPAL, JRP), pp. 167–177.

VDME-1988-Ruggles #standard #towards

Towards a Formal Definition of GKS and other Graphic Standards (CR), pp. 64–73.

PLILP-1988-Dang #definite clause grammar #interactive #specification #using

Formal Specification of Interactive Languages Using Definite Clause Grammars (WD), pp. 283–291.

POPL-1988-Kamin #inheritance

Inheritance in Smalltalk-80: A Denotational Definition (SNK), pp. 80–87.

CSL-1988-Goerdt #complexity #recursion

Characterizing Complexity Classes by General Recursive Definitions in Higher Types (AG), pp. 99–117.

JICSCP-1988-Abramson88 #approach #aspect-oriented #definite clause grammar #metaprogramming

Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming (HA), pp. 233–248.

JICSCP-1988-CosciaFLST88 #compilation #logic programming

Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment (PC, PF, GL, GS, LT), pp. 359–373.

JICSCP-1988-KwokS88 #logic programming #source code

Implicit Definition of Logic Programs (CSK, MJS), pp. 374–385.

LICS-1988-Griffin #formal method

Notational definition — a formal account (TG), pp. 372–383.

POPL-1987-Saraswat #concurrent #logic programming #programming language #semantics

The Concurrent Logic Programming Language CP: Definition and Operational Semantics (VAS), pp. 49–62.

LICS-1987-Allen

A Non-Type-Theoretic Definition of Martin-Löf’s Types (SA), pp. 215–221.

SLP-1987-DeransartF87 #prolog

An Operational Formal Definition of PROLOG (PD, GF), pp. 162–172.

VLDB-1986-Keller

Choosing a View Update Translator by Dialog at View Definition Time (AMK), pp. 467–474.

CADE-1986-BuningL #first-order #satisfiability

Classes of First Order Formulas Under Various Satisfiability Definitions (HKB, TL), pp. 553–563.

ICLP-1986-GoebelFP86 #approach #constraints #reasoning #using

Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning (RG, KF, DP), pp. 211–222.

RTA-1985-Fribourg

Handling Function Definitions through Innermost Superposition and Rewriting (LF), pp. 325–344.

SIGIR-1984-LaenderS #database #interactive

An Interactive Database End-User Facility for the Definition and Manipulation of Forms (AHFL, PMS), pp. 41–54.

SLP-1984-Abramson84 #definite clause grammar

Definite Clause Translation Grammars (HA), pp. 233–240.

SIGMOD-1983-WilmsLS #distributed #execution #protocol #quote

“I wish I were over there”: Distributed Execution Protocols for Data Definition in R* (PFW, BGL, PGS), pp. 238–242.

Ada-1983-Uhl

A Formal Definition of Diana (JU), pp. 35–47.

RE-1983-Partsch #algebra #on the #requirements

On the Use of Algebraic Methods for Formal Requirements Definitions (HP), pp. 138–158.

VLDB-1982-BjornerL #database #formal method

Formalization of Database Systems — and a Formal Definition of IMS (Invited Paper) (DB, HHL), pp. 334–347.

VLDB-1982-LouisP #calculus #relational #semantics

A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus (GL, AP), pp. 348–356.

SCC-1982-PrattM #experience #semantics

Experience with the Normal Semantic Definition of HAL/S (TWP, GDM), pp. 327–333.

SIGMOD-1981-CurticeJ

Fundamentals of Data Element Definition (RMC, PEJJ), pp. 49–55.

PS-1981-Klaeren #algebra #recursion

Recursive Definitions of Operations in Universal Algebras (HK), pp. 268–281.

POPL-1981-HalpernM #axiom #programming language

Axiomatic Definitions of Programming Languages, II (JYH, ARM), pp. 139–148.

LISP-1980-Cartwright #axiom #data type

A Constructive Alternative to Axiomatic Data Type Definitions (RC), pp. 46–55.

TFDA-1980-Pedersen #ada #semantics

A Formal Semantics Definition of Sequential Ada (JSP), pp. 213–308.

POPL-1980-MeyerH #assessment #axiom #programming language

Axiomatic Definitions of Programming Languages: A Theoretical Assessment (ARM, JYH), pp. 203–212.

SDCG-1980-Donzeau-GougeKL #ada #on the

On the formal definition of ADA (VDG, GK, BL), pp. 475–489.

SDCG-1980-Tienari #attribute grammar #on the

On the definition of attribute grammar (MT), pp. 408–414.

SDCG-1980-Turchin #automation #compilation #semantics

Semantic definitions in REFAL and the automatic production of compilers (VFT), pp. 441–474.

VLDB-1979-Solvberg #modelling #requirements

Software Requirement Definition and Data Models (AS), pp. 111–118.

ICALP-1979-FichB

A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages (FEF, JAB), pp. 230–244.

ICALP-1979-Wegner #approach #decidability #two-level grammar

Bracketed Two-Level Grammars — A Decidable and Practical Approach to Language Definitions (LMW), pp. 668–682.

DAC-1978-Baer #maintenance

Maintaining integrity in complex shape definitions (AB), pp. 9–15.

VDM-1978-Bjorner78a #abstraction #operating system #pl-i #specification #tutorial

Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition (DB), pp. 337–374.

VDM-1978-HenhaplJ #algol

A Formal Definition of Algol 60 as Described in the 1975 Modified Report (WH, CBJ), pp. 305–336.

GG-1978-Pratt #graph #programming language #semantics #using

Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs (TWP), pp. 389–400.

GG-1978-Sowa #concept #graph

Definitional Mechanisms for Conceptual Graphs (JFS), pp. 426–439.

POPL-1978-Solomon #parametricity

Type Definitions with Parameters (MHS), pp. 31–38.

SIGMOD-1977-PaoliniP #database

Formal Definition of Mappings in a Data Base (PP, GP), pp. 40–46.

ICALP-1977-Alton #complexity #memory management #metric

“Natural” Complexity Measures and Time versus Memory: Some Definitional Proposals (DAA), pp. 16–29.

ICALP-1977-Courcelle #on the

On the Definition of Classes of Interpretations (BC), pp. 554–569.

SIGMOD-1976-Sharman #normalisation

A Constructive Definition of Third Normal Form (GCHS), pp. 91–99.

DIPL-1976-IchbiahF #compilation #implementation

Language definition and compilation in LIS and its implementation (JI, GF), pp. 288–297.

ICSE-1976-Claybrook #data type #design

The Design of a Template Structure for a Generalized Data Structure Definition Facility (BGC), pp. 408–413.

ICSE-1976-RossS #analysis #requirements

Structured Analysis for Requirements Definition (Abstract) (DTR, KESJ), p. 1.

DAC-1975-Sherman #testing #using

Program function test definition using a three-value simulator (WJS), pp. 189–194.

SIGMOD-1975-ShuHL #named

CONVERT: A High Level Translation Definition Language for Data Conversion (Abstract) (NCS, BCH, VYL), p. 111.

VLDB-1975-FernandezSL #data transformation #evaluation

Definition and Evaluation of Access Rules in Data Management Systems (EBF, RCS, TL), pp. 268–285.

VLDB-1975-Zloof #named

Query-by-Example: the Invocation and Definition of Tables and Forms (MMZ), pp. 1–24.

POPL-1975-Mikelsons

Computer Assisted Application Definition (MM), pp. 233–242.

SIGFIDET-1974-Claybrook

A File Definition Facility for File Structures (BGC), pp. 1–14.

SIGFIDET-1974-FryJ #towards

Towards a Formulation and Definition of Data Reorganization (JPF, DWJ), pp. 83–100.

DAC-1973-Gingerich

Computer Graphics Building Definition System (JZG), pp. 109–119.

POPL-1973-Beech #on the #pl-i #standard

On the Definitional Method of Standard PL/1 (DB), pp. 87–94.

SIGFIDET-1972-BachmanB #architecture #process

Architecture Definition Technique: Its Objectives Theory, Process, Facilities and Practice (CWB, JB), pp. 257–305.

SIGFIDET-1972-FryST #approach

An Approach to Stored Data Definition and Translation (JPF, DCPS, RWT), pp. 13–56.

SIGFIDET-1972-KochG #cobol #fortran #independence

An Independent Data Definition Facility for COBOL and FORTRAN (HSK, MHG), pp. 57–65.

SIGFIDET-1972-Smith #using

A Method for Data Translation Using the Stored Data Definition and Translation Task Group Languages (DCPS), pp. 107–124.

ICALP-1972-Wand #approach #recursion

A Concrete Approach to Abstract Recursion Definitions (MW), pp. 331–341.

SIGFIDET-1971-DateH #independence #logic

File Definition and Logical Data Independence (CJD, PH), pp. 117–138.

STOC-1971-Wagner #algebra #recursion

An Algebraic Theory of Recursive Definitions and Recursive Languages (EGW), pp. 12–23.

SIGFIDET-1970-Bleier #standard

Data Definition Standardization (REB), pp. 68–86.

SIGFIDET-1970-CODASYL #named

CODASYL: Task Group of Codasyl System Committee: Storage Structure Definition Language (SSDL), pp. 313–314.

SIGFIDET-1970-CODASYL70a #design #named

CODASYL: Storage Structure Definition Language Task Group: Design Objectives for a Storage Structure Definition Language (SSDL), pp. 329–337.

SIGFIDET-1970-DempseyM #hybrid #problem

Problems of Building a Hybrid Data Definition Facility (JWD, JKM), pp. 174–187.

SIGFIDET-1970-Fry

Introduction to Storage Structure Definition (JPF), pp. 315–328.

SIGFIDET-1970-Fry70a #summary

Storage Structure Definition Language (pre-discussion summary) (JPF), p. 279.

SIGFIDET-1970-McGee #development

Informal Definitions for the Development of a Storage Structure Definition Language (WCM), pp. 338–353.