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:
base (49)
design (45)
model (32)
use (27)
compon (27)

Stem contract$ (all stems)

316 papers:

CBSECBSE-2015-KramerLMSB #architecture #component #consistency #contract #modelling
Change-Driven Consistency for Component Code, Architectural Models, and Contracts (MEK, ML, DM, SS, EB), pp. 21–26.
CBSECBSE-2015-MouelhiACM #behaviour #component #contract #design #object-oriented #using
Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems (SM, KA, SC, HM), pp. 49–58.
CBSECBSE-2015-NandiMO #component #contract #probability #realtime #runtime
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.
ICFPICFP-2015-BahrBE #contract #multi
Certified symbolic management of financial multi-party contracts (PB, JB, ME), pp. 315–327.
ICFPICFP-2015-KeilT #contract #higher-order
Blame assignment for higher-order contracts with intersection and union (MK, PT), pp. 375–386.
ICFPICFP-2015-SwordsST #communication #contract #monitoring
Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.
GCMGCM-2015-BottoniNP #constraints #contract #modelling #policy
Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling (PB, RN, FPP), pp. 18–33.
HCIDUXU-UI-2015-Passera #contract #design #how
Beyond the Wall of Text: How Information Design Can Make Contracts User-Friendly (SP), pp. 341–352.
ICEISICEIS-v1-2015-Giaglis #contract #named
Money-over-IP — From Bitcoin to Smart Contracts and M2M Money (GMG), p. V.
ICEISICEIS-v2-2015-Avila-SantosHKB #multi
Building Coalitions of Competitors in the Negotiation of Multiparty e-Contracts through Consultations (APAS, JH, DSK, EB), pp. 618–625.
ICEISICEIS-v3-2015-LongoZB #composition #contract
Extending WSLA for Service and Contract Composition (AL, MZ, MAB), pp. 307–315.
ICEISICEIS-v3-2015-NetoH #architecture #composition #lifecycle #web #web service
e-Business Architecture for Web Service Composition based on e-Contract Lifecycle (JBN, CH), pp. 276–283.
MoDELSMoDELS-2015-NiemannHGW #contract
Extracting frame conditions from operation contracts (PN, FH, MG, RW), pp. 266–275.
MoDELSMoDELS-2015-OakesTLW #atl #contract #declarative #verification
Fully verifying transformation contracts for declarative ATL (BJO, JT, LL, MW), pp. 256–265.
ECOOPECOOP-2015-KeilT #contract #higher-order #named
TreatJS: Higher-Order Contracts for JavaScripts (MK, PT), pp. 28–51.
GPCEGPCE-2015-KolesnichenkoPN #contract #gpu #programming
Contract-based general-purpose GPU programming (AK, CMP, SN, BM), pp. 75–84.
POPLPOPL-2015-Greenberg #contract
Space-Efficient Manifest Contracts (MG), pp. 181–194.
POPLPOPL-2015-Sangiorgi #equation
Equations, Contractions, and Unique Solutions (DS), pp. 421–432.
POPLPOPL-2015-SekiyamaNI #contract #data type
Manifest Contracts for Datatypes (TS, YN, AI), pp. 195–207.
SACSAC-2015-DieumegardGKTT #compilation #contract
Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.
SACSAC-2015-ZappatoreLB #composition #contract #network #representation
SLA composition in service networks: a tool for representing relationships between SLAs and contracts (MZ, AL, MAB), pp. 1219–1224.
CBSECBSE-2014-OzkayaK #architecture #component #reuse
Design-by-contract for reusable components and realizable architectures (MO, CK), pp. 129–138.
CASECASE-2014-ChuLSO #analysis #contract #flexibility #linear #parametricity #programming #using
Flexibility analysis on a supply chain contract using a parametric Linear Programming model (CC, EEL, XS, DO), pp. 704–709.
DATEDATE-2014-IannopolloNTS #contract #design #refinement #scalability
Library-based scalable refinement checking for contract-based design (AI, PN, ST, ALSV), pp. 1–6.
DATEDATE-2014-NuzzoFIS #contract #cyber-physical #design #protocol #safety
Contract-based design of control protocols for safety-critical cyber-physical systems (PN, JBF, AI, ALSV), pp. 1–4.
FASEFASE-2014-PeiFNM #automation #contract #program repair
Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.
WRLAWRLA-2014-BartolettiMSZ #maude #modelling #verification
Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.
ICSMEICSME-2014-LeYLTR #contract
Dynamic Inference of Change Contracts (TDBL, JY, DL, FT, AR), pp. 451–455.
ICSMEICSME-2014-YanMG #contract #evolution #mining
Mining Software Contracts for Software Evolution (YY, MM, WGG), pp. 471–475.
FMFM-2014-EstlerFNPM #contract
Contracts in Practice (HCE, CAF, MN, MP, BM), pp. 230–246.
ICFPICFP-2014-Findler #behaviour #contract
Behavioral software contracts (RBF), pp. 137–138.
ICFPICFP-2014-NguyenTH #contract #verification
Soft contract verification (PCN, STH, DVH), pp. 139–152.
GT-VMTGT-VMT-2014-AlshanqitiH #contract #java #reverse engineering #towards #visual notation
Towards Dynamic Reverse Engineering Visual Contracts from Java (AMA, RH).
ICMLICML-c1-2014-TangMNMZ #analysis #comprehension #modelling #topic
Understanding the Limiting Factors of Topic Modeling via Posterior Contraction Analysis (JT, ZM, XN, QM, MZ), pp. 190–198.
KMISKMIS-2014-KimK #case study #contract #information management
A Study on the Improvement of Contract Information Management in Korea’s Public Construction Technology Service (NK, SJK), pp. 387–392.
MODELSMoDELS-2014-WestmanN #contract #cyber-physical #design
Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.
MODELSMoDELS-2014-WestmanN #contract #cyber-physical #design
Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.
ICSEICSE-2014-SchillerDCE #case study #contract #specification #tool support
Case studies and tools for contract specifications (TWS, KD, FC, MDE), pp. 596–607.
ASEASE-2013-CimattiDT #contract #named #refinement
OCRA: A tool for checking the refinement of temporal contracts (AC, MD, ST), pp. 702–705.
ITiCSEITiCSE-2013-ClarkeL #aspect-oriented #contract
Commercial aspects of contract cheating (RC, TL), pp. 219–224.
ESOPESOP-2013-TakikawaST #contract
Constraining Delimited Control with Contracts (AT, TSS, STH), pp. 229–248.
ICALPICALP-v1-2013-BauerCRW
Search-Space Size in Contraction Hierarchies (RB, TC, IR, DW), pp. 93–104.
ICALPICALP-v2-2013-ImNP #data type #parametricity #recursion
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types (HI, KN, SP), pp. 299–311.
IFMIFM-2013-LaneveP #algebra #contract #web #web service
An Algebraic Theory for Web Service Contracts (CL, LP), pp. 301–315.
GT-VMTGT-VMT-2013-RungeKH #contract #generative #testing #using #visual notation
Test Case Generation Using Visual Contracts (OR, TAK, RH).
HILTHILT-2013-Logozzo #contract #specification #verification
Practical specification and verification with code contracts (FL), pp. 7–8.
HILTHILT-2013-Logozzo13a #contract
Technology for inferring contracts from code (FL), pp. 13–14.
EDOCEDOC-2013-GallegeGHR #contract #monitoring #trust #using
Trustworthy Service Selection Using Long-Term Monitoring of Trust Contracts (LSG, DG, JHH, RRR), pp. 195–200.
CIKMCIKM-2013-AkibaIY #linear #network #random #scalability
Linear-time enumeration of maximal K-edge-connected subgraphs in large networks by random contraction (TA, YI, YY), pp. 909–918.
ECMFAECMFA-2013-SunCDF #using
Using Model Types to Support Contract-Aware Model Substitutability (WS, BC, SD, RBF), pp. 118–133.
MODELSMoDELS-2013-SunFR #modelling #slicing #uml
Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.
MODELSMoDELS-2013-SunFR #modelling #slicing #uml
Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.
OOPSLAOOPSLA-2013-DimoulasFF #contract
Option contracts (CD, RBF, MF), pp. 475–494.
ICSTICST-2013-AbadABCFGMMRV #bound #contract #generative #incremental #satisfiability #testing
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.
ISSTAISSTA-2013-Thum #contract #feature model #product line #verification
Product-line verification with feature-oriented contracts (TT), pp. 374–377.
ISSTAISSTA-2013-YiQTR #contract
Expressing and checking intended changes via software change contracts (JY, DQ, SHT, AR), pp. 1–11.
ESOPESOP-2012-DimoulasTF #behaviour #contract #monitoring
Complete Monitors for Behavioral Contracts (CD, STH, MF), pp. 214–233.
FASEFASE-2012-BauerDHLLNW #component #contract #design #specification
Moving from Specifications to Contracts in Component-Based Design (SSB, AD, RH, KGL, AL, UN, AW), pp. 43–58.
FASEFASE-2012-ThumSKAS #contract #design #feature model #programming
Applying Design by Contract to Feature-Oriented Programming (TT, IS, MK, SA, GS), pp. 255–269.
SCAMSCAM-2012-ThiagarajanHBR #contract #data flow #developer
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK (HT, JH, JB, R), pp. 132–137.
PEPMPEPM-2012-DegenTW #contract #interactive #lazy evaluation
The interaction of contracts and laziness (MD, PT, SW), pp. 97–106.
PEPMPEPM-2012-Xu #contract #hybrid
Hybrid contract checking via symbolic simplification (DNX), pp. 107–116.
STOCSTOC-2012-CebrianCVV #contract #robust
Finding red balloons with split contracts: robustness to individuals’ selfishness (MC, LC, AV, PV), pp. 775–788.
ICFPICFP-2012-Chitil #contract #lazy evaluation
Practical typed lazy contracts (OC), pp. 67–76.
GT-VMTGT-VMT-2012-KhanRH #contract #testing #visual notation
Visual Contracts as Test Oracle in AGG 2.0 (TAK, OR, RH).
ICGTICGT-2012-KhanRH #contract #modelling #testing #visual notation
Testing against Visual Contracts: Model-Based Coverage (TAK, OR, RH), pp. 279–293.
HILTHILT-2012-BeltCHR #ada #automation #contract #using #verification
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan (JB, PC, JH, R), pp. 3–4.
ICMLICML-2012-RifaiDVB #generative #process
A Generative Process for Contractive Auto-Encoders (SR, YD, PV, YB), p. 235.
KMISKMIS-2012-ThonssenL #approach #contract #semantics
Semantically Enriched Obligation Management — An Approach for Improving the Handling of Obligations Represented in Contracts (BT, JL), pp. 40–48.
KRKR-2012-AdarichevaSST #complexity
Horn Belief Contraction: Remainders, Envelopes and Complexity (KVA, RHS, BS, GT).
KRKR-2012-ZhuangP #modelling
Model Based Horn Contraction (ZQZ, MP).
SEKESEKE-2012-RebeloLMOR #aspect-oriented #contract #source code
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (HR, RMFL, AM, CALO, MR), pp. 148–153.
TOOLSTOOLS-EUROPE-J-2011-HeideggerT12 #javascript #named #testing
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript (PH, PT), pp. 1–29.
OOPSLAOOPSLA-2012-CousotCLB #abstract interpretation #contract #framework #refactoring
An abstract interpretation framework for refactoring with application to extract methods with contracts (PC, RC, FL, MB), pp. 213–232.
OOPSLAOOPSLA-2012-Tobin-HochstadtH #contract #execution #higher-order #symbolic computation
Higher-order symbolic execution via contracts (STH, DVH), pp. 537–554.
PADLPADL-2012-AntoyH #contract #functional #logic programming #specification
Contracts and Specifications for Functional Logic Programming (SA, MH), pp. 33–47.
POPLPOPL-2012-HeideggerBT #contract #scripting language
Access permission contracts for scripting languages (PH, AB, PT), pp. 111–122.
RERE-2012-SongH #categorisation #contract #integration #requirements
Categorizing requirements for a contract-based system integration project (XS, BH), pp. 279–284.
SACSAC-2012-BernardiH #contract #modelling #using
Modelling session types using contracts (GB, MH), pp. 1941–1946.
FSEFSE-2012-QiYR #contract
Software change contracts (DQ, JY, AR), p. 22.
VMCAIVMCAI-2012-ChatterjeeR #contract #protocol
Synthesizing Protocols for Digital Contract Signing (KC, VR), pp. 152–168.
QoSAQoSA-ISARCS-2011-PeakeS #contract #modelling #trade-off
Systematic simplicity-accuracy tradeoffs in parameterised contract models (IDP, HWS), pp. 95–104.
ASEASE-2011-WeiRFPHSNM #contract #fault #testing
Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.
DACDAC-2011-PatilBC #architecture #contract #synthesis
Enforcing architectural contracts in high-level synthesis (NAP, AB, DC), pp. 824–829.
DATEDATE-2011-DammHJPS #architecture #component #contract #design #integration #specification #testing #using
Using contract-based component specifications for virtual integration testing and architecture design (WD, HH, BJ, TP, IS), pp. 1023–1028.
SIGMODSIGMOD-2011-DamaggioDZ #behaviour #contract #database #query
Querying contract databases based on temporal behavior (ED, AD, DZ), pp. 397–408.
ESOPESOP-2011-BeloGIP #contract #polymorphism
Polymorphic Contracts (JFB, MG, AI, BCP), pp. 18–37.
FASEFASE-2011-KhanH #analysis #contract #dependence #modelling #on the #testing #using #visual notation
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts (TAK, RH), pp. 341–355.
STOCSTOC-2011-DemaineHK #algorithm #composition #graph
Contraction decomposition in h-minor-free graphs and algorithmic applications (EDD, MH, KiK), pp. 441–450.
FMFM-2011-BarringerH #analysis #domain-specific language #named #scala
TraceContract: A Scala DSL for Trace Analysis (HB, KH), pp. 57–72.
ICFPICFP-2011-DisneyFM #contract #higher-order
Temporal higher-order contracts (TD, CF, JM), pp. 176–188.
GT-VMTGT-VMT-2011-HeckelKM #contract #test coverage #towards #visual notation
Towards Test Coverage Criteria for Visual Contracts (RH, TAK, RM).
AdaSIGAda-2011-BeltHRCHD #contract #execution #symbolic computation #using
Enhancing spark’s contract checking facilities using symbolic execution (JB, JH, R, PC, DH, XD), pp. 47–60.
EDOCEDOC-2011-Halle #contract #logic #message passing
Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit” (SH), pp. 171–180.
ICEISICEIS-v2-2011-Feng #case study #contract #research
The Study on Member Incentive of Scientific Research Group in University based on Psychological Contracts (HF), pp. 423–431.
ICEISICEIS-v2-2011-RenW #perspective
Declare Value Transportation — An Incomplete Contracting View (YR, QW), pp. 373–377.
ICMLICML-2011-RifaiVMGB #feature model
Contractive Auto-Encoders: Explicit Invariance During Feature Extraction (SR, PV, XM, XG, YB), pp. 833–840.
SEKESEKE-2011-RebeloLKSCMRO #aspect-oriented #contract #design #impact analysis
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study (HR, RMFL, UK, CS, RC, AM, MR, CALO), pp. 450–455.
ECMFAECMFA-2011-CariouBFB #contract #execution #verification
Contracts for Model Execution Verification (EC, CB, AF, FB), pp. 3–18.
POPLPOPL-2011-DimoulasFFF #contract
Correct blame for contracts: no more scapegoating (CD, RBF, CF, MF), pp. 215–226.
ICSEICSE-2011-AraujoBL #concurrent #contract #java #modelling #runtime
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language (WA, LCB, YL), pp. 786–795.
ICSEICSE-2011-WeiFKM #contract
Inferring better contracts (YW, CAF, NK, BM), pp. 191–200.
ICSEICSE-2011-WilliamsW #contract #re-engineering #research
The American law institute’s principles on software contracts and their ramifications for software engineering research (JBW, JHWJ), pp. 972–975.
CCCC-2011-MaKA #memory management #multi
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies (WM, SK, GA), pp. 266–285.
PPoPPPPoPP-2011-KarmaniMM #concurrent #contract #parallel #thread
Thread contracts for safe parallelism (RKK, PM, BMM), pp. 125–134.
ICTSSICTSS-2011-EnderlinDGO #contract #named #php #specification #testing
Praspel: A Specification Language for Contract-Based Testing in PHP (IE, FD, AG, ABO), pp. 64–79.
VMCAIVMCAI-2011-CousotCL #contract
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (PC, RC, FL), pp. 150–168.
VMCAIVMCAI-2011-Logozzo #abstract interpretation #verification
Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation — (Invited Talk) (FL), pp. 19–22.
CBSECBSE-2010-DietrichS #case study #component #contract #eclipse
Component Contracts in Eclipse — A Case Study (JD, LS), pp. 150–165.
QoSAQoSA-2010-ChauvelSCHM #adaptation #architecture #self #using
Using QoS-Contracts to Drive Architecture-Centric Self-adaptation (FC, HS, XC, GH, HM), pp. 102–118.
CASECASE-2010-GeK #contract
Integrating advance demand information in supply chain contracts (DG, AK), pp. 380–385.
ESOPESOP-2010-AmtoftHR #array #automation #certification #contract #data flow #precise #reasoning #source code #verification
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (TA, JH, ER), pp. 43–63.
ESOPESOP-2010-TovP #contract
Stateful Contracts for Affine Types (JAT, RP), pp. 550–569.
FASEFASE-2010-NaeemHOH #composition #contract #incremental #visual notation
Incremental Service Composition Based on Partial Matching of Visual Contracts (MN, RH, FO, FH), pp. 123–138.
ICPCICPC-2010-AreiasCP #contract #reuse #safety #slicing
Contract-Based Slicing Helps on Safety Reuse (SA, DCdC, JSP), pp. 62–63.
SASSAS-2010-Fahndrich #contract #verification
Static Verification for Code Contracts (MF), pp. 2–5.
SEFMSEFM-2010-GallerWW #contract #design
Synthesize It: From Design by Contract to Meaningful Test Input Data (SJG, MW, FW), pp. 286–295.
EDOCEDOC-2010-Halle #contract #interface #ltl #monitoring #runtime
Cooperative Runtime Monitoring of LTL Interface Contracts (SH), pp. 227–236.
ICEISICEIS-ISAS-2010-CouturierHT #automation #case study #contract #information management
Engineering Agent-based Information Systems — A Case Study of Automatic Contract Net Systems (VC, MPH, DT), pp. 242–248.
ICEISICEIS-SAIC-2010-SilvaGFTG #approach #monitoring #named
Aspect-Monitor — An Aspect-based Approach to WS-contract Monitoring (MFdS, IMdSG, MF, MBFdT, AFG), pp. 5–12.
CIKMCIKM-2010-BharadwajMSSVXY #contract #online
Pricing guaranteed contracts in online display advertising (VB, WM, MS, JS, EV, JX, JY), pp. 399–408.
KRKR-2010-DelgrandeW #horn clause #set
Horn Clause Contraction Functions: Belief Set and Belief Base Approaches (JPD, RW).
ECOOPECOOP-2010-ZaeemK #alloy #contract #data type #using
Contract-Based Data Structure Repair Using Alloy (RNZ, SK), pp. 577–598.
TOOLSTOOLS-EUROPE-2010-HeideggerT #javascript #testing
Contract-Driven Testing of JavaScript Code (PH, PT), pp. 154–172.
TOOLSTOOLS-EUROPE-2010-NelsonPN #comprehension #contract #design
Understanding the Impact of Collection Contracts on Design (SN, DJP, JN), pp. 61–78.
GPCEGPCE-2010-KriegerKW #automation #contract #performance #simulation
Automatic and efficient simulation of operation contracts (MPK, AK, BW), pp. 53–62.
POPLPOPL-2010-GreenbergPW #contract
Contracts made manifest (MG, BCP, SW), pp. 353–364.
SACSAC-2010-FahndrichBL #contract #embedded
Embedded contract languages (MF, MB, FL), pp. 2103–2110.
SACSAC-2010-HirschfeldPSA #contract
Dynamic contract layers (RH, MP, CS, MA), pp. 2169–2175.
SACSAC-2010-HurnausP #automation #composition #contract #programming #verification
Programming assistance based on contracts and modular verification in the automation domain (DH, HP), pp. 2544–2551.
SACSAC-2010-KerfootM #aspect-oriented #concurrent #contract
Checking concurrent contracts with aspects (EK, SM), pp. 2523–2530.
ICSEICSE-2010-UbayashiNT #architecture #contract #design #named
Archface: a contract place where architectural design and code meet together (NU, JN, TT), pp. 75–84.
LCTESLCTES-2010-DelavalMR #composition #contract #synthesis
Contracts for modular discrete controller synthesis (GD, HM, ÉR), pp. 57–66.
ICLPICLP-2010-Maher10 #approximate #constraints
Contractibility and Contractible Approximations of Soft Global Constraints (MJM), pp. 114–123.
ICSTICST-2010-PorresR #contract #nondeterminism #protocol #uml
From Nondeterministic UML Protocol Statemachines to Class Contracts (IP, IR), pp. 107–116.
ISSTAISSTA-2010-WeiPFSBMZ #automation #contract #source code
Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.
LICSLICS-2010-BartolettiZ #calculus #process
A Calculus of Contracting Processes (MB, RZ), pp. 332–341.
DACDAC-2009-SunNWS #composition #contract
Contract-based system-level composition of analog circuits (XS, PN, CCW, ALSV), pp. 605–610.
SIGMODSIGMOD-2009-Chaudhuri #contract #query #question
Query optimizers: time to rethink the contract? (SC), pp. 961–968.
ESOPESOP-2009-Eber #contract #design #programming language #question #specification #tool support #what
The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design? (JME), pp. 205–206.
IFMIFM-2009-CabotCR #contract #ocl #uml #verification
Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.
IFMIFM-2009-PaceS #challenge #contract #specification
Challenges in the Specification of Full Contracts (GJP, GS), pp. 292–306.
SEFMSEFM-2009-GoesslerR #component #contract #design
Modal Contracts for Component-Based Design (GG, JBR), pp. 295–303.
SFMSFM-2009-BravettiZ #composition #contract #web #web service
Contract-Based Discovery and Composition of Web Services (MB, GZ), pp. 261–295.
SFMSFM-2009-Padovani #adaptation #contract #web #web service
Contract-Based Discovery and Adaptation of Web Services (LP), pp. 213–260.
GT-VMTGT-VMT-2009-MazanekM09a #diagrams #parsing #using
Contraction of Unconnected Diagrams using Least Cost Parsing (SM, MM), pp. 189–201.
ICEISICEIS-AIDSS-2009-CardosoO #contract #monitoring
Monitoring Cooperative Business Contracts in an Institutional Environment (HLC, ECO), pp. 206–211.
ICEISICEIS-J-2009-BacarinMM #contract #multi
Assembling and Managing Virtual Organizations out of Multi-party Contracts (EB, ERMM, CBM), pp. 758–769.
MODELSMoDELS-2009-OldevikMK #composition #contract
Model Composition Contracts (JO, MM, IK), pp. 531–545.
MODELSMoDELS-2009-OldevikMK #composition #contract
Model Composition Contracts (JO, MM, IK), pp. 531–545.
PPDPPPDP-2009-DimoulasPF #contract
Future contracts (CD, RP, MF), pp. 195–206.
POPLPOPL-2009-XuJC #contract #haskell
Static contract checking for Haskell (DNX, SLPJ, KC), pp. 41–52.
ICSEICSE-2009-CasoBGU #abstraction #contract #finite #using #validation
Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.
CAVCAV-2009-HalleV #contract #interface #web
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep (SH, RV), pp. 648–653.
ISSTAISSTA-2009-PolikarpovaCM #automation #case study #comparative #contract
A comparative study of programmer-written and automatically inferred contracts (NP, IC, BM), pp. 93–104.
ISSTAISSTA-2009-StengelB #contract
Analyzing singularity channel contracts (ZS, TB), pp. 13–24.
MBTMBT-2009-KrennA #contract #generative #specification #testing
Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.
ICSTSAT-2009-SchaafsmaHM #simulation #symmetry
Dynamic Symmetry Breaking by Simulating Zykov Contraction (BS, MH, HvM), pp. 223–236.
TAPTAP-2009-Gladisch #contract #invariant #question
Could We Have Chosen a Better Loop Invariant or Method Contract? (CG), pp. 74–89.
FMFM-2008-AmtoftHRRHG #contract #data flow #specification
Specification and Checking of Software Contracts for Conditional Information Flow (TA, JH, ER, R, JH, DG), pp. 229–245.
SEFMSEFM-2008-QuintonG #component #contract #verification
Contract-Based Verification of Hierarchical Systems of Components (SQ, SG), pp. 377–381.
CAiSECAiSE-2008-CostalGQT #concept #contract
Drawing Preconditions of Operation Contracts from Conceptual Schemas (DC, CG, AQ, ET), pp. 266–280.
CAiSECAiSE-2008-WangGV #reliability #transaction
Ensuring Transactional Reliability by E-Contracting (TW, PWPJG, JV), pp. 262–265.
KRKR-2008-Delgrande #horn clause
Horn Clause Belief Change: Contraction Functions (JPD), pp. 156–165.
SEKESEKE-2008-SandersZ #contract #design #execution #java
Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts (SMS, CZ), pp. 824–829.
ICMTICMT-2008-VignagaPB #contract #interactive #model transformation #using
Extracting Object Interactions Out of Software Contracts Using Model Transformations (AV, DP, MCB), pp. 245–259.
POPLPOPL-2008-CastagnaGP #contract #formal method #web #web service
A theory of contracts for web services (GC, NG, LP), pp. 261–272.
SACSAC-2008-ChenXZN #approach #novel #reduction #testing
A novel approach for test suite reduction based on requirement relation contraction (ZC, BX, XZ, CN), pp. 390–394.
SACSAC-2008-LandD #enterprise #ontology
Enterprise ontology based splitting and contracting of organizations (MOL, JLGD), pp. 524–531.
SACSAC-2008-RebeloSLFC #aspectj #contract #implementation #java #modelling
Implementing Java modeling language contracts with AspectJ (HR, SS, RMFL, LF, MC), pp. 228–233.
ICSTICST-2008-UbayashiPST #aspect-oriented #contract #refactoring #verification
Contract-Based Verification for Aspect-Oriented Refactoring (NU, JP, SS, TT), pp. 180–189.
CBSECBSE-2007-BaiWDTC #collaboration #contract #framework #validation #verification #web #web service
A Framework for Contract-Based Collaborative Verification and Validation of Web Services (XB, YW, GD, WTT, YC), pp. 258–273.
CBSECBSE-2007-Dahlgren #component #contract #interface
Performance-Driven Interface Contract Enforcement for Scientific Components (TD), pp. 157–172.
CBSECBSE-2007-MulugetaS #approach #component #contract #distributed
An Approach for QoS Contract Negotiation in Distributed Component-Based Software (MM, AS), pp. 90–106.
FASEFASE-2007-Meyer #development
Contract-Driven Development (BM), p. 11.
ICSMEICSM-2007-HouZXMS #component #interface #testing
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software (SSH, LZ, TX, HM, JS), pp. 174–183.
IFLIFL-2007-FindlerGR #contract #data type #lazy evaluation
Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.
IFLIFL-2007-HerhutSBGT #contract #dependent type #partial evaluation #proving #towards
From Contracts Towards Dependent Types: Proofs by Partial Evaluation (SH, SBS, RB, CG, KT), pp. 254–273.
AGTIVEAGTIVE-2007-EngelsGSW #consistency #contract #modelling #process #using #visual notation #web #web service
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts (GE, BG, CS, HW), pp. 17–31.
EDOCEDOC-2007-TilakR #component #contract #distributed #interactive
Temporal Interaction Contracts for Components in a Distributed System (OJT, RRR), pp. 339–352.
MODELSMoDELS-2007-CabotG #contract #diagrams #uml
Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
MODELSMoDELS-2007-CabotG #contract #diagrams #uml
Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
ESEC-FSEESEC-FSE-2007-LeitnerCOMF #contract #development #testing
Contract driven development = test driven development — writing test cases (AL, IC, MO, BM, AF), pp. 425–434.
LCTESLCTES-2007-AliasBD #array #implementation #text-to-text
Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose (CA, FB, AD), pp. 73–82.
LICSLICS-2007-MontanariP
A Contraction Method to Decide MSO Theories of Deterministic Trees (AM, GP), pp. 141–150.
TAPTAP-2007-LiuMS #automation #contract #generative #quality #query #testing #using
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation (L(L, BM, BS), pp. 114–130.
CBSECBSE-2006-LauU #component #contract #deployment
Defining and Checking Deployment Contracts for Software Components (KKL, VU), pp. 1–16.
ASEASE-2006-LohmannES #contract #generative #modelling #monitoring #visual notation
Model-driven Monitoring: Generating Assertions from Visual Contracts (ML, GE, SS), pp. 355–356.
ESOPESOP-2006-CarpinetiL #contract #web #web service
A Basic Contract Language for Web Services (SC, CL), pp. 197–213.
FLOPSFLOPS-2006-FindlerB #contract
Contracts as Pairs of Projections (RBF, MB), pp. 226–241.
FLOPSFLOPS-2006-HinzeJL #contract #functional #programming
Typed Contracts for Functional Programming (RH, JJ, AL), pp. 208–225.
SEFMSEFM-2006-FeldmanBT #aspect-oriented #contract #design #named
Jose: Aspects for Design by Contract80-89 (YAF, OB, SST), pp. 80–89.
SEFMSEFM-2006-FeldmanG #automation #contract #named #towards
Discern: Towards the Automatic Discovery of Software Contracts (YAF, LG), pp. 90–99.
ICGTICGT-2006-EngelsLSH #contract #design #graph transformation #modelling #monitoring
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract (GE, ML, SS, RH), pp. 336–350.
EDOCEDOC-2006-GorpAJ #2d #consistency #contract #framework #nondeterminism #towards #traceability #visual notation
Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated Inconsistencies (PVG, FA, DJ), pp. 185–198.
EDOCEDOC-2006-GovernatoriMS #contract #process
Compliance checking between business processes and business contracts (GG, ZM, SWS), pp. 221–232.
EDOCEDOC-2006-MilosevicSO #contract #process
Translating business contract into compliant business processes (ZM, SWS, MEO), pp. 211–220.
EDOCEDOC-2006-YanZY #contract #modelling #ontology #owl #semantics #using
Ontology Modeling for Contract: Using OWL to Express Semantic Relations (YY, JZ, MY), pp. 409–412.
ICEISICEIS-ISAS-2006-CruzLW #contract #specification #visual notation
Visual Contracts — A Way to Reason about States and Cardinalities in IT System Specifications (JDDlC, LSL, AW), pp. 298–303.
SEKESEKE-2006-HallstromDS #contract #design pattern #monitoring #parallel
Parallel Monitoring of Design Pattern Contracts (JOH, ARD, NS), pp. 236–241.
GPCEGPCE-2006-PerryJW #contract #linear #logic
Expressing heap-shape contracts in linear logic (FP, LJ, DW), pp. 101–110.
POPLPOPL-2006-MeunierFF #analysis #composition #contract
Modular set-based analysis from contracts (PM, RBF, MF), pp. 218–231.
SACSAC-2006-ColletOR #behaviour #component #on the
On contracting different behavioral properties in component-based systems (PC, AO, NR), pp. 1798–1799.
SACSAC-2006-TylerHS #automation #contract #generative #monitoring
Automated generation of monitors for pattern contracts (BT, JOH, NS), pp. 1779–1784.
ICSEICSE-2006-BriandLS #automation #component #contract #testing
Automated, contract-based user testing of commercial-off-the-shelf components (LCB, YL, MMS), pp. 92–101.
HPDCHPDC-2006-AuYoungRWW #contract
Service contracts and aggregate utility functions (AA, LR, SW, JW), pp. 119–131.
CBSECBSE-2005-ColletRCR #component
A Contracting System for Hierarchical Components (PC, RR, TC, NR), pp. 187–202.
DATEDATE-2005-KruseTEVS #contract #design #distributed #embedded #flexibility #process
Introducing Flexible Quantity Contracts into Distributed SoC and Embedded System Design Processes (JK, CT, RE, TV, TS), pp. 938–943.
CSEETCSEET-2005-McKimE #contract #design
Course Module: Design By Contract (JCM, HJCE), pp. 239–241.
FASEFASE-2005-ReussnerHH #component #contract #graph grammar #modelling #parametricity
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars (RHR, JH, AH), pp. 80–95.
ICSMEICSM-2005-BriandDL #aspect-oriented #contract #debugging #programming
Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging (LCB, WJD, YL), pp. 687–690.
ICSMEICSM-2005-JiangHSZX #component #contract #testing
Contract-Based Mutation for Testing Components (YJ, SSH, JS, LZ, BX), pp. 483–492.
ICSMEICSM-2005-SusaniD #contract #maintenance #specification #using
Cross-Organizational Service Maintenance Using Temporal Availability Specification and Contracts (OvS, PD), pp. 230–239.
CIAACIAA-2005-BaillyCS #behaviour #communication #component #composition #contract
Component Composition Preserving Behavioural Contracts Based on Communication Traces (AB, MC, ISR), pp. 54–65.
EDOCEDOC-2005-GovernatoriM #contract #domain-specific language
Dealing with contract violations: formalism and domain specific language (GG, ZM), pp. 46–57.
EDOCEDOC-2005-Molina-JimenezSW #contract #interactive #specification
A Method for Specifying Contract Mediated Interactions (CMJ, SKS, JPW), pp. 106–118.
ECMFAECMDA-FA-2005-ChanP #approach #contract #design #metamodelling
Designing a Domain-Specific Contract Language: A Metamodelling Approach (ZEC, RFP), pp. 175–189.
OOPSLAOOPSLA-2005-GrayFF #contract #fine-grained
Fine-grained interoperability through mirrors and contracts (KEG, RBF, MF), pp. 231–245.
PPoPPPPoPP-2005-GaoSLRLBS #modelling #optimisation #parallel #performance
Performance modeling and optimization of parallel out-of-core tensor contractions (XG, SKS, CCL, JR, QL, GB, PS), pp. 266–276.
CBSECBSE-2004-DefourJP #component #contract
Extra-Functional Contract Support in Components (OD, JMJ, NP), pp. 217–232.
DATEDATE-v1-2004-BrunelNFGL #development #named #process
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract (JYB, MDN, AF, PG, LL), pp. 358–363.
ICFPICFP-2004-BlumeM #contract
A sound (and complete) model of contracts (MB, DAM), pp. 189–200.
ICEISICEIS-v2-2004-GateauKDB #multi
Multi-Agent Organisational Model for E-Contracting (BG, DK, ED, OB), pp. 489–492.
ICEISICEIS-v4-2004-AndradeN #contract
Intelligent Electronic Inter-Systemic Contracting — Issues on Consent and Contract Formation (FA, JN), pp. 403–410.
ICEISICEIS-v4-2004-OliveiraLNA #contract
Formation and Fulfillment of Electronic Contracts in the ICS (NRSO, SL, EN, CRBA), pp. 24–30.
TOOLSTOOLS-USA-2003-EnselmeFL04 #analysis #component #contract #dependence #design
Design by Contract: analysis of hidden dependencies in component based application (DE, GF, FLA), pp. 23–45.
TOOLSTOOLS-USA-2003-Madsen04 #contract #design #equivalence
Enhancing Design by Contract with Knowledge about Equivalence Partitions (PM), pp. 5–21.
ECOOPECOOP-2004-FindlerFF #contract #semantics #type system
Semantic Casts: Contracts and Structural Subtyping in a Nominal World (RBF, MF, MF), pp. 364–388.
SACSAC-2004-IwaiharaJK #implementation #workflow
An integrated model of workflows, e-contracts and solution implementation (MI, HJ, YK), pp. 1390–1395.
SACSAC-2004-XueguangH #contract #protocol
Further extensions of FIPA Contract Net Protocol: threshold plus DoA (XC, HS), pp. 45–51.
ITiCSEITiCSE-2003-Gegg-HarrisonBGOW #contract #correctness
Studying program correctness by constructing contracts (TSGH, GRB, RDG, CMO, JDW), pp. 129–133.
CAiSECAiSE-2003-HeuvelW #contract #coordination #transaction
Coordinating Web-Service Enabled Business Transactions with Contracts (WJvdH, HW), pp. 568–583.
CAiSECAiSE-2003-MoreiraFA #contract #coordination #evolution #requirements
Evolving Requirements through Coordination Contracts (AMDM, JLF, LFA), pp. 633–646.
CAiSECAiSE-2003-XuJ #contract #monitoring
Pro-active Monitoring of Electronic Contracts (LX, MAJ), pp. 584–600.
EDOCEDOC-2003-DimitrakosDMJP #assessment #contract #performance
Contract Performance Assessment for Secure and Dynamic Virtual Collaborations (TD, ID, ZM, AJ, CIP), pp. 62–75.
EDOCEDOC-2003-HansonM #contract #protocol
Conversation-oriented Protocols for Contract Negotiations (JEH, ZM), pp. 40–49.
EDOCEDOC-2003-NealCLMGK #contract #identification #monitoring #requirements
Identifying requirements for Business Contract Language: a Monitoring Perspectiv (SWN, JBC, PFL, ZM, SG, SK), pp. 50–61.
ICEISICEIS-v2-2003-SmirnovPLC #constraints #contract #protocol
Constraint-Based Contract Net Protocol (AVS, MP, TL, NC), pp. 549–556.
UMLUML-2003-Nunes #contract #ocl
An OCL Extension for Low-Coupling Preserving Contracts (IN), pp. 310–324.
ICSEICSE-2003-Ross #concept #contract #education #programming
Teaching Contract Programming Concepts to Future Software Engineers (DFR), p. 647.
CBSECBSE-2002-SchmidtR #adaptation #contract #synthesis
Parameterised Contracts and Adapter Synthesis (HWS, RR), p. 6.
ICALPICALP-2002-Radzik #bound #network
Improving Time Bounds on Maximum Generalised Flow Computations by Contracting the Network (TR), pp. 611–622.
ICFPICFP-2002-FindlerF #contract #higher-order
Contracts for higher-order functions (RBF, MF), pp. 48–59.
AdaEuropeAdaEurope-2002-Lamm #ada #contract #design
Adding Design by Contract to the Ada Language (EL), pp. 205–218.
EDOCEDOC-2002-MilosevicD #behaviour #contract #monitoring #on the
On Expressing and Monitoring Behaviour in Contracts (ZM, RGD), pp. 3–14.
EDOCEDOC-2002-MilosevicJDP #contract
Discretionary Enforcement of Electronic Contracts (ZM, AJ, TD, MAP), pp. 39–50.
KRKR-2002-Booth #social
Social Contraction and Belief Negotiation (RB), pp. 375–386.
TOOLSTOOLS-USA-2002-LacknerKP #contract #design #java
Supporting Design by Contract in Java (ML, AK, FP), pp. 57–76.
TOOLSTOOLS-USA-2002-Nunes #contract #design #using
Design by Contract Using Meta-Assertions (IN), pp. 37–56.
TOOLSTOOLS-USA-2002-Rausch #component #contract #design #quote
“Design by Contract” + “Componentware” = “Design by Signed Contract” (AR), pp. 19–36.
SACSAC-2002-BuckerR #interface #performance
Efficient derivative computations in neutron scattering via interface contraction (HMB, AR), pp. 184–188.
ICSEICSE-2002-GouveiaKWAF #contract #coordination #java
Coordination contracts for Java applications (JG, GK, MW, LFA, JLF), p. 714.
ISSTAISSTA-2002-BriandLS #analysis #contract #fault #object-oriented
Investigating the use of analysis contracts to support fault isolation in object oriented code (LCB, YL, HS), pp. 70–80.
ICALPICALP-2001-Baum-Waidner #contract #multi
Optimistic Asynchronous Multi-party Contract Signing with Reduced Number of Rounds (BBW), pp. 898–911.
FMFME-2001-Jones #contract
Composing Contracts: An Adventure in Financial Engineering (SLPJ), p. 435.
FMFME-2001-Pahl #component #contract #modelling #uml
Components, Contracts, and Connectors for the Unified Modelling Language UML (CP), pp. 259–277.
EDOCEDOC-2001-MarjanovicM #formal method #modelling #towards
Towards Formal Modeling of e-Contracts (OM, ZM), pp. 59–68.
ICEISICEIS-v2-2001-ToffolonD #contract #information management
A Contract-Based Theory of Information Systems (CT, SD), pp. 645–650.
UMLUML-2001-WeisBGP #component #contract #metamodelling #uml
A UML Meta-model for Contract Aware Components (TW, CB, KG, NP), pp. 442–456.
OOPSLAOOPSLA-2001-FindlerF #contract #object-oriented
Contract Soundness for Object-Oriented Languages (RBF, MF), pp. 1–15.
TOOLSTOOLS-EUROPE-2001-FiadeiroA #contract
Interconnecting Objects via Contracts (JLF, LFA), pp. 182–183.
TOOLSTOOLS-EUROPE-2001-Meyer01b #contract #design
At the Edge of Design by Contract (BM), p. 3.
TOOLSTOOLS-USA-2001-ArnoutS #contract #design #dot-net #eiffel
The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel (KA, RS), pp. 14–23.
TOOLSTOOLS-USA-2001-Guerreiro #c++ #contract #design
Simple Support for Design by Contract in C++ (PG), pp. 24–34.
TOOLSTOOLS-USA-2001-MitchellM #contract #design
Design by Contract, By Example (RM, JCM), pp. 430–431.
FSEESEC-FSE-2001-FindlerLF #behaviour #contract #type system
Behavioral contracts and behavioral subtyping (RBF, ML, MF), pp. 229–236.
PPoPPPPoPP-2001-LimLL #array #clustering #using
Blocking and array contraction across arbitrarily nested loops using affine partitioning (AWL, SWL, MSL), pp. 103–112.
ICALPICALP-2000-Baum-WaidnerW #contract #multi
Round-Optimal and Abuse Free Optimistic Multi-party Contract Signing (BBW, MW), pp. 524–535.
ICFPICFP-2000-JonesES #contract #functional
Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.
TOOLSTOOLS-EUROPE-2000-Daniels #component #contract
Component Contracts (JD), p. 6.
TOOLSTOOLS-USA-2000-Meyer00c #component #contract #design
Design By Contract and the Component Revolution (BM), pp. 515–518.
GPCEGCSE-2000-JongeV #contract
Grammars as Contracts (MdJ, JV), pp. 85–99.
GPCEGCSE-2000-KlaerenPRS #composition #contract #design #principle
Aspect Composition Applying the Design by Contract Principle (HK, EP, AR, AS), pp. 57–69.
ICSEICSE-2000-Rausch #component #contract #evolution #requirements #using
Software evolution in componentware using requirements/assurances contracts (AR), pp. 147–156.
AGTIVEAGTIVE-1999-EnglertK #graph #image
Image Structure from Monotonic Dual Graph Contraction (RE, WGK), pp. 297–308.
UMLUML-1999-AndradeF #contract
Interconnecting Objects Via Contracts (LFA, JLF), pp. 566–583.
UMLUML-1999-PetreBP #case study #contract #uml
Analysing UML Use Cases as Contracts (LP, RJB, IP), pp. 518–533.
OOPSLAOOPSLA-1999-EvansD #approach #contract #evolution
Zones, Contracts and Absorbing Changes: An Approach to Software Evolution (HE, PD), pp. 415–434.
TOOLSTOOLS-EUROPE-1999-MaleyS #c++ #contract #design
Emulating Design by Contract in C++ (DM, ITAS), pp. 66–75.
TOOLSTOOLS-EUROPE-1999-McKim #contract #programming
Advanced Programming by Contract (JCM), p. 402.
TOOLSTOOLS-EUROPE-1999-Mitchell99a #analysis #contract #exclamation #uml
Analysis by Contract: UML with Attitude! (RM), p. 407.
TOOLSTOOLS-PACIFIC-1999-MitchellM #contract
Extending a Method of Devising Software Contracts (RM, JM), p. 234–?.
TOOLSTOOLS-USA-1999-Firesmith99a #comparison #contract #design #development
A Comparison of Defensive Development and Design by Contract (DF), pp. 258–267.
TOOLSTOOLS-USA-1999-Meyer99a #contract
Managing By Contract (BM), p. 412.
TOOLSTOOLS-USA-1999-Mitchell #analysis #contract #uml
Analysis by Contract or UML with Attitude (RM), p. 465–?.
TOOLSTOOLS-USA-1999-PloschP #analysis #c++ #contract #implementation #named
Contracts: From Analysis to C++ Implementation (RP, JP), pp. 248–257.
PLDIPLDI-1998-LewisLS #array #evaluation #implementation
The Implementation and Evaluation of Fusion and Contraction in Array Languages (ECL, CL, LS), pp. 50–59.
FLOPSFLOPS-1998-Nedjah #equation #source code
Postponing Redex Contractions in Equational Programs (NN), pp. 40–60.
EDOCEDOC-1998-GriffelBWLM #contract #internet
Electronic contracting with COSMOS-how to establish, negotiate and execute electronic contracts on the Internet (FG, MB, HW, WL, MM), pp. 46–55.
EDOCEDOC-1998-HoffnerS #contract
Co-operation, contracts, contractual match-making and binding (YH, AS), pp. 75–86.
TOOLSTOOLS-ASIA-1998-Newmarch #contract #java
Adding Contracts to Java (JN), pp. 2–7.
TOOLSTOOLS-USA-1998-Kramer #contract #design #java #named
iContract — The Java(tm) Design by Contract(tm) Tool (RK), pp. 295–307.
TOOLSTOOLS-USA-1998-Meyer98a #contract #design #eiffel
Design by Contract: The Eiffel Method (BM), p. 446.
TOOLSTOOLS-USA-1998-Mitchell #analysis #constraints #contract #ocl #uml
Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.
TOOLSTOOLS-USA-1998-Plosch #contract #design #tool support
Tool Support for Design by Contract (RP), pp. 282–294.
TOOLSTOOLS-USA-1998-PlouzeauLJ #contract #distributed #framework #quality
A Framework Managing Quality of Service Contracts in Distributed Applications (NP, SL, JMJ), p. 125–?.
TOOLSTOOLS-USA-1998-Walden #analysis #contract #design #named
BON: Seamless, Reversible, Contract-Based Analysis and Design (KW), p. 445.
TOOLSTOOLS-USA-1998-Watkins #contract #interface #programming #using
Using Interface Definition Languages to Support Path Expressions and Programming by Contract (DW), p. 308–?.
ICSEICSE-1998-KontioPS #contract #development #specification #towards
Towards Better Software Projects and Contracts: Commitment Specifications in Software Development Projects (JK, OP, RS), pp. 486–489.
CSMRCSMR-1997-LucasSM #contract #evolution #reuse
Managing Software Evolution through Reuse Contracts (CL, PS, KM), pp. 165–170.
HCIHCI-SEC-1997-GiannettiMT #case study #contract #experience #lifecycle #scalability #usability
Developing Usability in the Software Life-Cycle: Experiences from a Large European Government Software Contract (AG, RM, GT), pp. 581–584.
EDOCEDOC-1997-GriffelTMMLS #contract #mobile
Electronic contract negotiation as an application niche for mobile agents (FG, MTT, MM, MM, WL, MMdS), p. 354–?.
TOOLSTOOLS-ASIA-1997-Mitchell97a #analysis #contract
Analysis by Contract (RM), p. 421.
TOOLSTOOLS-ASIA-1997-MitchellHH #specification
Contract-Oriented Specifications (RM, JH, AH), pp. 131–140.
TOOLSTOOLS-PACIFIC-1997-Meyer #contract #design #object-oriented #source code
Design by Contract: Making Object-Oriented Programs that Work (BM), p. 360.
TOOLSTOOLS-USA-1997-Mitchell #analysis #contract
Analysis by Contract (RM), p. 372.
OOPSLAOOPSLA-1996-SteyaertLMD #contract #evolution #reuse
Reuse Contracts: Managing the Evolution of Reusable Assets (PS, CL, KM, TD), pp. 268–285.
OOPSLAOOPSLA-1994-LortzS #contract #programming
Combining Contracts and Exemplar-Based Programming for Class Hiding and Customization (VBL, KGS), pp. 453–467.
KRKR-1992-Lownie #logic
A Contraction Operator For Classical Propositional Logic (TML), pp. 720–731.
ECOOPECOOP-1992-Holland #component #contract #reuse #specification #using
Specifying Reusable Components Using Contracts (IMH), pp. 287–308.
ISMMIWMM-1992-Delacour #contract #implementation
Allocation Regions & Implementation Contracts (VD), pp. 426–439.
OOPSLAOOPSLA-ECOOP-1990-HelmHG #behaviour #composition #contract #named #object-oriented #specification
Contracts: Specifying Behavioural Compositions in Object-Oriented Systems (RH, IMH, DG), pp. 169–180.
ICALPICALP-1988-KokR #concurrent #semantics
Contractions in Comparing Concurrent Semantics (JNK, JJMMR), pp. 317–332.
ICALPICALP-1985-Ben-OrGMR #contract #protocol
A Fair Protocol for Signing Contracts (Extended Abstract) (MBO, OG, SM, RLR), pp. 43–52.
STOCSTOC-1982-AsanoH #problem
Edge-Deletion and Edge-Contraction Problems (TA, TH), pp. 245–254.
ICSEICSE-1978-Parnas #design
Designing Software for Ease of Extension and Contraction (DLP), pp. 264–277.

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.