Stem contract$ (all stems)

316 papers:

CBSE-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.

CBSE-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.

CBSE-2015-NandiMO #component #contract #probability #realtime #runtime

Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.

ICFP-2015-BahrBE #contract #multi

Certified symbolic management of financial multi-party contracts (PB, JB, ME), pp. 315–327.

ICFP-2015-KeilT #contract #higher-order

Blame assignment for higher-order contracts with intersection and union (MK, PT), pp. 375–386.

ICFP-2015-SwordsST #communication #contract #monitoring

Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.

GCM-2015-BottoniNP #constraints #contract #modelling #policy

Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling (PB, RN, FPP), pp. 18–33.

DUXU-UI-2015-Passera #contract #design #how

Beyond the Wall of Text: How Information Design Can Make Contracts User-Friendly (SP), pp. 341–352.

ICEIS-v1-2015-Giaglis #contract #named

Money-over-IP — From Bitcoin to Smart Contracts and M2M Money (GMG), p. V.

ICEIS-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.

ICEIS-v3-2015-LongoZB #composition #contract

Extending WSLA for Service and Contract Composition (AL, MZ, MAB), pp. 307–315.

ICEIS-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.

MoDELS-2015-NiemannHGW #contract

Extracting frame conditions from operation contracts (PN, FH, MG, RW), pp. 266–275.

MoDELS-2015-OakesTLW #atl #contract #declarative #verification

Fully verifying transformation contracts for declarative ATL (BJO, JT, LL, MW), pp. 256–265.

ECOOP-2015-KeilT #contract #higher-order #named

TreatJS: Higher-Order Contracts for JavaScripts (MK, PT), pp. 28–51.

GPCE-2015-KolesnichenkoPN #contract #gpu #programming

Contract-based general-purpose GPU programming (AK, CMP, SN, BM), pp. 75–84.

POPL-2015-Greenberg #contract

Space-Efficient Manifest Contracts (MG), pp. 181–194.

POPL-2015-Sangiorgi #equation

Equations, Contractions, and Unique Solutions (DS), pp. 421–432.

POPL-2015-SekiyamaNI #contract #data type

Manifest Contracts for Datatypes (TS, YN, AI), pp. 195–207.

SAC-2015-DieumegardGKTT #compilation #contract

Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.

SAC-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.

CBSE-2014-OzkayaK #architecture #component #reuse

Design-by-contract for reusable components and realizable architectures (MO, CK), pp. 129–138.

CASE-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.

DATE-2014-IannopolloNTS #contract #design #refinement #scalability

Library-based scalable refinement checking for contract-based design (AI, PN, ST, ALSV), pp. 1–6.

DATE-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.

FASE-2014-PeiFNM #automation #contract #program repair

Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.

WRLA-2014-BartolettiMSZ #maude #modelling #verification

Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.

ICSME-2014-LeYLTR #contract

Dynamic Inference of Change Contracts (TDBL, JY, DL, FT, AR), pp. 451–455.

ICSME-2014-YanMG #contract #evolution #mining

Mining Software Contracts for Software Evolution (YY, MM, WGG), pp. 471–475.

FM-2014-EstlerFNPM #contract

Contracts in Practice (HCE, CAF, MN, MP, BM), pp. 230–246.

ICFP-2014-Findler #behaviour #contract

Behavioral software contracts (RBF), pp. 137–138.

ICFP-2014-NguyenTH #contract #verification

Soft contract verification (PCN, STH, DVH), pp. 139–152.

GT-VMT-2014-AlshanqitiH #contract #java #reverse engineering #towards #visual notation

Towards Dynamic Reverse Engineering Visual Contracts from Java (AMA, RH).

ICML-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.

KMIS-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.

MoDELS-2014-WestmanN #contract #cyber-physical #design

Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.

MoDELS-2014-WestmanN #contract #cyber-physical #design

Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.

ICSE-2014-SchillerDCE #case study #contract #specification #tool support

Case studies and tools for contract specifications (TWS, KD, FC, MDE), pp. 596–607.

ASE-2013-CimattiDT #contract #named #refinement

OCRA: A tool for checking the refinement of temporal contracts (AC, MD, ST), pp. 702–705.

ITiCSE-2013-ClarkeL #aspect-oriented #contract

Commercial aspects of contract cheating (RC, TL), pp. 219–224.

ESOP-2013-TakikawaST #contract

Constraining Delimited Control with Contracts (AT, TSS, STH), pp. 229–248.

ICALP-v1-2013-BauerCRW

Search-Space Size in Contraction Hierarchies (RB, TC, IR, DW), pp. 93–104.

ICALP-v2-2013-ImNP #data type #parametricity #recursion

Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types (HI, KN, SP), pp. 299–311.

IFM-2013-LaneveP #algebra #contract #web #web service

An Algebraic Theory for Web Service Contracts (CL, LP), pp. 301–315.

GT-VMT-2013-RungeKH #contract #generative #testing #using #visual notation

Test Case Generation Using Visual Contracts (OR, TAK, RH).

HILT-2013-Logozzo #contract #specification #verification

Practical specification and verification with code contracts (FL), pp. 7–8.

HILT-2013-Logozzo13a #contract

Technology for inferring contracts from code (FL), pp. 13–14.

EDOC-2013-GallegeGHR #contract #monitoring #trust #using

Trustworthy Service Selection Using Long-Term Monitoring of Trust Contracts (LSG, DG, JHH, RRR), pp. 195–200.

CIKM-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.

ECMFA-2013-SunCDF #using

Using Model Types to Support Contract-Aware Model Substitutability (WS, BC, SD, RBF), pp. 118–133.

MoDELS-2013-SunFR #modelling #slicing #uml

Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.

MoDELS-2013-SunFR #modelling #slicing #uml

Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.

OOPSLA-2013-DimoulasFF #contract

Option contracts (CD, RBF, MF), pp. 475–494.

ICST-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.

ISSTA-2013-Thum #contract #feature model #product line #verification

Product-line verification with feature-oriented contracts (TT), pp. 374–377.

ISSTA-2013-YiQTR #contract

Expressing and checking intended changes via software change contracts (JY, DQ, SHT, AR), pp. 1–11.

ESOP-2012-DimoulasTF #behaviour #contract #monitoring

Complete Monitors for Behavioral Contracts (CD, STH, MF), pp. 214–233.

FASE-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.

FASE-2012-ThumSKAS #contract #design #feature model #programming

Applying Design by Contract to Feature-Oriented Programming (TT, IS, MK, SA, GS), pp. 255–269.

SCAM-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.

PEPM-2012-DegenTW #contract #interactive #lazy evaluation

The interaction of contracts and laziness (MD, PT, SW), pp. 97–106.

PEPM-2012-Xu #contract #hybrid

Hybrid contract checking via symbolic simplification (DNX), pp. 107–116.

STOC-2012-CebrianCVV #contract #robust

Finding red balloons with split contracts: robustness to individuals’ selfishness (MC, LC, AV, PV), pp. 775–788.

ICFP-2012-Chitil #contract #lazy evaluation

Practical typed lazy contracts (OC), pp. 67–76.

GT-VMT-2012-KhanRH #contract #testing #visual notation

Visual Contracts as Test Oracle in AGG 2.0 (TAK, OR, RH).

ICGT-2012-KhanRH #contract #modelling #testing #visual notation

Testing against Visual Contracts: Model-Based Coverage (TAK, OR, RH), pp. 279–293.

HILT-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.

ICML-2012-RifaiDVB #generative #process

A Generative Process for Contractive Auto-Encoders (SR, YD, PV, YB), p. 235.

KMIS-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.

KR-2012-AdarichevaSST #complexity

Horn Belief Contraction: Remainders, Envelopes and Complexity (KVA, RHS, BS, GT).

KR-2012-ZhuangP #modelling

Model Based Horn Contraction (ZQZ, MP).

SEKE-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.

TOOLS-EUROPE-J-2011-HeideggerT12 #javascript #named #testing

JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript (PH, PT), pp. 1–29.

OOPSLA-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.

OOPSLA-2012-Tobin-HochstadtH #contract #execution #higher-order #symbolic computation

Higher-order symbolic execution via contracts (STH, DVH), pp. 537–554.

PADL-2012-AntoyH #contract #functional #logic programming #specification

Contracts and Specifications for Functional Logic Programming (SA, MH), pp. 33–47.

POPL-2012-HeideggerBT #contract #scripting language

Access permission contracts for scripting languages (PH, AB, PT), pp. 111–122.

RE-2012-SongH #categorisation #contract #integration #requirements

Categorizing requirements for a contract-based system integration project (XS, BH), pp. 279–284.

SAC-2012-BernardiH #contract #modelling #using

Modelling session types using contracts (GB, MH), pp. 1941–1946.

FSE-2012-QiYR #contract

Software change contracts (DQ, JY, AR), p. 22.

VMCAI-2012-ChatterjeeR #contract #protocol

Synthesizing Protocols for Digital Contract Signing (KC, VR), pp. 152–168.

QoSA-ISARCS-2011-PeakeS #contract #modelling #trade-off

Systematic simplicity-accuracy tradeoffs in parameterised contract models (IDP, HWS), pp. 95–104.

ASE-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.

DAC-2011-PatilBC #architecture #contract #synthesis

Enforcing architectural contracts in high-level synthesis (NAP, AB, DC), pp. 824–829.

DATE-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.

SIGMOD-2011-DamaggioDZ #behaviour #contract #database #query

Querying contract databases based on temporal behavior (ED, AD, DZ), pp. 397–408.

ESOP-2011-BeloGIP #contract #polymorphism

Polymorphic Contracts (JFB, MG, AI, BCP), pp. 18–37.

FASE-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.

STOC-2011-DemaineHK #algorithm #composition #graph

Contraction decomposition in h-minor-free graphs and algorithmic applications (EDD, MH, KiK), pp. 441–450.

FM-2011-BarringerH #analysis #domain-specific language #named #scala

TraceContract: A Scala DSL for Trace Analysis (HB, KH), pp. 57–72.

ICFP-2011-DisneyFM #contract #higher-order

Temporal higher-order contracts (TD, CF, JM), pp. 176–188.

GT-VMT-2011-HeckelKM #contract #test coverage #towards #visual notation

Towards Test Coverage Criteria for Visual Contracts (RH, TAK, RM).

SIGAda-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.

EDOC-2011-Halle #contract #logic #message passing

Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit” (SH), pp. 171–180.

ICEIS-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.

ICEIS-v2-2011-RenW #perspective

Declare Value Transportation — An Incomplete Contracting View (YR, QW), pp. 373–377.

ICML-2011-RifaiVMGB #feature model

Contractive Auto-Encoders: Explicit Invariance During Feature Extraction (SR, PV, XM, XG, YB), pp. 833–840.

SEKE-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.

ECMFA-2011-CariouBFB #contract #execution #verification

Contracts for Model Execution Verification (EC, CB, AF, FB), pp. 3–18.

POPL-2011-DimoulasFFF #contract

Correct blame for contracts: no more scapegoating (CD, RBF, CF, MF), pp. 215–226.

ICSE-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.

ICSE-2011-WeiFKM #contract

Inferring better contracts (YW, CAF, NK, BM), pp. 191–200.

ICSE-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.

CC-2011-MaKA #memory management #multi

Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies (WM, SK, GA), pp. 266–285.

PPoPP-2011-KarmaniMM #concurrent #contract #parallel #thread

Thread contracts for safe parallelism (RKK, PM, BMM), pp. 125–134.

ICTSS-2011-EnderlinDGO #contract #named #php #specification #testing

Praspel: A Specification Language for Contract-Based Testing in PHP (IE, FD, AG, ABO), pp. 64–79.

VMCAI-2011-CousotCL #contract

Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (PC, RC, FL), pp. 150–168.

VMCAI-2011-Logozzo #abstract interpretation #verification

Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation — (Invited Talk) (FL), pp. 19–22.

CBSE-2010-DietrichS #case study #component #contract #eclipse

Component Contracts in Eclipse — A Case Study (JD, LS), pp. 150–165.

QoSA-2010-ChauvelSCHM #adaptation #architecture #self #using

Using QoS-Contracts to Drive Architecture-Centric Self-adaptation (FC, HS, XC, GH, HM), pp. 102–118.

CASE-2010-GeK #contract

Integrating advance demand information in supply chain contracts (DG, AK), pp. 380–385.

ESOP-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.

ESOP-2010-TovP #contract

Stateful Contracts for Affine Types (JAT, RP), pp. 550–569.

FASE-2010-NaeemHOH #composition #contract #incremental #visual notation

Incremental Service Composition Based on Partial Matching of Visual Contracts (MN, RH, FO, FH), pp. 123–138.

ICPC-2010-AreiasCP #contract #reuse #safety #slicing

Contract-Based Slicing Helps on Safety Reuse (SA, DCdC, JSP), pp. 62–63.

SAS-2010-Fahndrich #contract #verification

Static Verification for Code Contracts (MF), pp. 2–5.

SEFM-2010-GallerWW #contract #design

Synthesize It: From Design by Contract to Meaningful Test Input Data (SJG, MW, FW), pp. 286–295.

EDOC-2010-Halle #contract #interface #ltl #monitoring #runtime

Cooperative Runtime Monitoring of LTL Interface Contracts (SH), pp. 227–236.

ICEIS-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.

ICEIS-SAIC-2010-SilvaGFTG #approach #monitoring #named

Aspect-Monitor — An Aspect-based Approach to WS-contract Monitoring (MFdS, IMdSG, MF, MBFdT, AFG), pp. 5–12.

CIKM-2010-BharadwajMSSVXY #contract #online

Pricing guaranteed contracts in online display advertising (VB, WM, MS, JS, EV, JX, JY), pp. 399–408.

KR-2010-DelgrandeW #horn clause #set

Horn Clause Contraction Functions: Belief Set and Belief Base Approaches (JPD, RW).

ECOOP-2010-ZaeemK #alloy #contract #data type #using

Contract-Based Data Structure Repair Using Alloy (RNZ, SK), pp. 577–598.

TOOLS-EUROPE-2010-HeideggerT #javascript #testing

Contract-Driven Testing of JavaScript Code (PH, PT), pp. 154–172.

TOOLS-EUROPE-2010-NelsonPN #comprehension #contract #design

Understanding the Impact of Collection Contracts on Design (SN, DJP, JN), pp. 61–78.

GPCE-2010-KriegerKW #automation #contract #performance #simulation

Automatic and efficient simulation of operation contracts (MPK, AK, BW), pp. 53–62.

POPL-2010-GreenbergPW #contract

Contracts made manifest (MG, BCP, SW), pp. 353–364.

SAC-2010-FahndrichBL #contract #embedded

Embedded contract languages (MF, MB, FL), pp. 2103–2110.

SAC-2010-HirschfeldPSA #contract

Dynamic contract layers (RH, MP, CS, MA), pp. 2169–2175.

SAC-2010-HurnausP #automation #composition #contract #programming #verification

Programming assistance based on contracts and modular verification in the automation domain (DH, HP), pp. 2544–2551.

SAC-2010-KerfootM #aspect-oriented #concurrent #contract

Checking concurrent contracts with aspects (EK, SM), pp. 2523–2530.

ICSE-2010-UbayashiNT #architecture #contract #design #named

Archface: a contract place where architectural design and code meet together (NU, JN, TT), pp. 75–84.

LCTES-2010-DelavalMR #composition #contract #synthesis

Contracts for modular discrete controller synthesis (GD, HM, ÉR), pp. 57–66.

ICLP-2010-Maher10 #approximate #constraints

Contractibility and Contractible Approximations of Soft Global Constraints (MJM), pp. 114–123.

ICST-2010-PorresR #contract #nondeterminism #protocol #uml

From Nondeterministic UML Protocol Statemachines to Class Contracts (IP, IR), pp. 107–116.

ISSTA-2010-WeiPFSBMZ #automation #contract #source code

Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.

LICS-2010-BartolettiZ #calculus #process

A Calculus of Contracting Processes (MB, RZ), pp. 332–341.

DAC-2009-SunNWS #composition #contract

Contract-based system-level composition of analog circuits (XS, PN, CCW, ALSV), pp. 605–610.

SIGMOD-2009-Chaudhuri #contract #query #question

Query optimizers: time to rethink the contract? (SC), pp. 961–968.

ESOP-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.

IFM-2009-CabotCR #contract #ocl #uml #verification

Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.

IFM-2009-PaceS #challenge #contract #specification

Challenges in the Specification of Full Contracts (GJP, GS), pp. 292–306.

SEFM-2009-GoesslerR #component #contract #design

Modal Contracts for Component-Based Design (GG, JBR), pp. 295–303.

SFM-2009-BravettiZ #composition #contract #web #web service

Contract-Based Discovery and Composition of Web Services (MB, GZ), pp. 261–295.

SFM-2009-Padovani #adaptation #contract #web #web service

Contract-Based Discovery and Adaptation of Web Services (LP), pp. 213–260.

GT-VMT-2009-MazanekM09a #diagrams #parsing #using

Contraction of Unconnected Diagrams using Least Cost Parsing (SM, MM), pp. 189–201.

ICEIS-AIDSS-2009-CardosoO #contract #monitoring

Monitoring Cooperative Business Contracts in an Institutional Environment (HLC, ECO), pp. 206–211.

ICEIS-J-2009-BacarinMM #contract #multi

Assembling and Managing Virtual Organizations out of Multi-party Contracts (EB, ERMM, CBM), pp. 758–769.

MoDELS-2009-OldevikMK #composition #contract

Model Composition Contracts (JO, MM, IK), pp. 531–545.

MoDELS-2009-OldevikMK #composition #contract

Model Composition Contracts (JO, MM, IK), pp. 531–545.

PPDP-2009-DimoulasPF #contract

Future contracts (CD, RP, MF), pp. 195–206.

POPL-2009-XuJC #contract #haskell

Static contract checking for Haskell (DNX, SLPJ, KC), pp. 41–52.

ICSE-2009-CasoBGU #abstraction #contract #finite #using #validation

Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.

CAV-2009-HalleV #contract #interface #web

Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep (SH, RV), pp. 648–653.

ISSTA-2009-PolikarpovaCM #automation #case study #comparative #contract

A comparative study of programmer-written and automatically inferred contracts (NP, IC, BM), pp. 93–104.

ISSTA-2009-StengelB #contract

Analyzing singularity channel contracts (ZS, TB), pp. 13–24.

MBT-2009-KrennA #contract #generative #specification #testing

Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.

SAT-2009-SchaafsmaHM #simulation #symmetry

Dynamic Symmetry Breaking by Simulating Zykov Contraction (BS, MH, HvM), pp. 223–236.

TAP-2009-Gladisch #contract #invariant #question

Could We Have Chosen a Better Loop Invariant or Method Contract? (CG), pp. 74–89.

FM-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.

SEFM-2008-QuintonG #component #contract #verification

Contract-Based Verification of Hierarchical Systems of Components (SQ, SG), pp. 377–381.

CAiSE-2008-CostalGQT #concept #contract

Drawing Preconditions of Operation Contracts from Conceptual Schemas (DC, CG, AQ, ET), pp. 266–280.

CAiSE-2008-WangGV #reliability #transaction

Ensuring Transactional Reliability by E-Contracting (TW, PWPJG, JV), pp. 262–265.

KR-2008-Delgrande #horn clause

Horn Clause Belief Change: Contraction Functions (JPD), pp. 156–165.

SEKE-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.

ICMT-2008-VignagaPB #contract #interactive #model transformation #using

Extracting Object Interactions Out of Software Contracts Using Model Transformations (AV, DP, MCB), pp. 245–259.

POPL-2008-CastagnaGP #contract #formal method #web #web service

A theory of contracts for web services (GC, NG, LP), pp. 261–272.

SAC-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.

SAC-2008-LandD #enterprise #ontology

Enterprise ontology based splitting and contracting of organizations (MOL, JLGD), pp. 524–531.

SAC-2008-RebeloSLFC #aspectj #contract #implementation #java #modelling

Implementing Java modeling language contracts with AspectJ (HR, SS, RMFL, LF, MC), pp. 228–233.

ICST-2008-UbayashiPST #aspect-oriented #contract #refactoring #verification

Contract-Based Verification for Aspect-Oriented Refactoring (NU, JP, SS, TT), pp. 180–189.

CBSE-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.

CBSE-2007-Dahlgren #component #contract #interface

Performance-Driven Interface Contract Enforcement for Scientific Components (TD), pp. 157–172.

CBSE-2007-MulugetaS #approach #component #contract #distributed

An Approach for QoS Contract Negotiation in Distributed Component-Based Software (MM, AS), pp. 90–106.

FASE-2007-Meyer #development

Contract-Driven Development (BM), p. 11.

ICSM-2007-HouZXMS #component #interface #testing

Applying Interface-Contract Mutation in Regression Testing of Component-Based Software (SSH, LZ, TX, HM, JS), pp. 174–183.

IFL-2007-FindlerGR #contract #data type #lazy evaluation

Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.

IFL-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.

AGTIVE-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.

EDOC-2007-TilakR #component #contract #distributed #interactive

Temporal Interaction Contracts for Components in a Distributed System (OJT, RRR), pp. 339–352.

MoDELS-2007-CabotG #contract #diagrams #uml

Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.

MoDELS-2007-CabotG #contract #diagrams #uml

Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.

ESEC-FSE-2007-LeitnerCOMF #contract #development #testing

Contract driven development = test driven development — writing test cases (AL, IC, MO, BM, AF), pp. 425–434.

LCTES-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.

LICS-2007-MontanariP

A Contraction Method to Decide MSO Theories of Deterministic Trees (AM, GP), pp. 141–150.

TAP-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.

CBSE-2006-LauU #component #contract #deployment

Defining and Checking Deployment Contracts for Software Components (KKL, VU), pp. 1–16.

ASE-2006-LohmannES #contract #generative #modelling #monitoring #visual notation

Model-driven Monitoring: Generating Assertions from Visual Contracts (ML, GE, SS), pp. 355–356.

ESOP-2006-CarpinetiL #contract #web #web service

A Basic Contract Language for Web Services (SC, CL), pp. 197–213.

FLOPS-2006-FindlerB #contract

Contracts as Pairs of Projections (RBF, MB), pp. 226–241.

FLOPS-2006-HinzeJL #contract #functional #programming

Typed Contracts for Functional Programming (RH, JJ, AL), pp. 208–225.

SEFM-2006-FeldmanBT #aspect-oriented #contract #design #named

Jose: Aspects for Design by Contract80-89 (YAF, OB, SST), pp. 80–89.

SEFM-2006-FeldmanG #automation #contract #named #towards

Discern: Towards the Automatic Discovery of Software Contracts (YAF, LG), pp. 90–99.

ICGT-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.

EDOC-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.

EDOC-2006-GovernatoriMS #contract #process

Compliance checking between business processes and business contracts (GG, ZM, SWS), pp. 221–232.

EDOC-2006-MilosevicSO #contract #process

Translating business contract into compliant business processes (ZM, SWS, MEO), pp. 211–220.

EDOC-2006-YanZY #contract #modelling #ontology #owl #semantics #using

Ontology Modeling for Contract: Using OWL to Express Semantic Relations (YY, JZ, MY), pp. 409–412.

ICEIS-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.

SEKE-2006-HallstromDS #contract #design pattern #monitoring #parallel

Parallel Monitoring of Design Pattern Contracts (JOH, ARD, NS), pp. 236–241.

GPCE-2006-PerryJW #contract #linear #logic

Expressing heap-shape contracts in linear logic (FP, LJ, DW), pp. 101–110.

POPL-2006-MeunierFF #analysis #composition #contract

Modular set-based analysis from contracts (PM, RBF, MF), pp. 218–231.

SAC-2006-ColletOR #behaviour #component #on the

On contracting different behavioral properties in component-based systems (PC, AO, NR), pp. 1798–1799.

SAC-2006-TylerHS #automation #contract #generative #monitoring

Automated generation of monitors for pattern contracts (BT, JOH, NS), pp. 1779–1784.

ICSE-2006-BriandLS #automation #component #contract #testing

Automated, contract-based user testing of commercial-off-the-shelf components (LCB, YL, MMS), pp. 92–101.

HPDC-2006-AuYoungRWW #contract

Service contracts and aggregate utility functions (AA, LR, SW, JW), pp. 119–131.

CBSE-2005-ColletRCR #component

A Contracting System for Hierarchical Components (PC, RR, TC, NR), pp. 187–202.

DATE-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.

CSEET-2005-McKimE #contract #design

Course Module: Design By Contract (JCM, HJCE), pp. 239–241.

FASE-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.

ICSM-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.

ICSM-2005-JiangHSZX #component #contract #testing

Contract-Based Mutation for Testing Components (YJ, SSH, JS, LZ, BX), pp. 483–492.

ICSM-2005-SusaniD #contract #maintenance #specification #using

Cross-Organizational Service Maintenance Using Temporal Availability Specification and Contracts (OvS, PD), pp. 230–239.

CIAA-2005-BaillyCS #behaviour #communication #component #composition #contract

Component Composition Preserving Behavioural Contracts Based on Communication Traces (AB, MC, ISR), pp. 54–65.

EDOC-2005-GovernatoriM #contract #domain-specific language

Dealing with contract violations: formalism and domain specific language (GG, ZM), pp. 46–57.

EDOC-2005-Molina-JimenezSW #contract #interactive #specification

A Method for Specifying Contract Mediated Interactions (CMJ, SKS, JPW), pp. 106–118.

ECMDA-FA-2005-ChanP #approach #contract #design #metamodelling

Designing a Domain-Specific Contract Language: A Metamodelling Approach (ZEC, RFP), pp. 175–189.

OOPSLA-2005-GrayFF #contract #fine-grained

Fine-grained interoperability through mirrors and contracts (KEG, RBF, MF), pp. 231–245.

PPoPP-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.

CBSE-2004-DefourJP #component #contract

Extra-Functional Contract Support in Components (OD, JMJ, NP), pp. 217–232.

DATE-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.

ICFP-2004-BlumeM #contract

A sound (and complete) model of contracts (MB, DAM), pp. 189–200.

ICEIS-v2-2004-GateauKDB #multi

Multi-Agent Organisational Model for E-Contracting (BG, DK, ED, OB), pp. 489–492.

ICEIS-v4-2004-AndradeN #contract

Intelligent Electronic Inter-Systemic Contracting — Issues on Consent and Contract Formation (FA, JN), pp. 403–410.

ICEIS-v4-2004-OliveiraLNA #contract

Formation and Fulfillment of Electronic Contracts in the ICS (NRSO, SL, EN, CRBA), pp. 24–30.

TOOLS-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.

TOOLS-USA-2003-Madsen04 #contract #design #equivalence

Enhancing Design by Contract with Knowledge about Equivalence Partitions (PM), pp. 5–21.

ECOOP-2004-FindlerFF #contract #semantics #type system

Semantic Casts: Contracts and Structural Subtyping in a Nominal World (RBF, MF, MF), pp. 364–388.

SAC-2004-IwaiharaJK #implementation #workflow

An integrated model of workflows, e-contracts and solution implementation (MI, HJ, YK), pp. 1390–1395.

SAC-2004-XueguangH #contract #protocol

Further extensions of FIPA Contract Net Protocol: threshold plus DoA (XC, HS), pp. 45–51.

ITiCSE-2003-Gegg-HarrisonBGOW #contract #correctness

Studying program correctness by constructing contracts (TSGH, GRB, RDG, CMO, JDW), pp. 129–133.

CAiSE-2003-HeuvelW #contract #coordination #transaction

Coordinating Web-Service Enabled Business Transactions with Contracts (WJvdH, HW), pp. 568–583.

CAiSE-2003-MoreiraFA #contract #coordination #evolution #requirements

Evolving Requirements through Coordination Contracts (AMDM, JLF, LFA), pp. 633–646.

CAiSE-2003-XuJ #contract #monitoring

Pro-active Monitoring of Electronic Contracts (LX, MAJ), pp. 584–600.

EDOC-2003-DimitrakosDMJP #assessment #contract #performance

Contract Performance Assessment for Secure and Dynamic Virtual Collaborations (TD, ID, ZM, AJ, CIP), pp. 62–75.

EDOC-2003-HansonM #contract #protocol

Conversation-oriented Protocols for Contract Negotiations (JEH, ZM), pp. 40–49.

EDOC-2003-NealCLMGK #contract #identification #monitoring #requirements

Identifying requirements for Business Contract Language: a Monitoring Perspectiv (SWN, JBC, PFL, ZM, SG, SK), pp. 50–61.

ICEIS-v2-2003-SmirnovPLC #constraints #contract #protocol

Constraint-Based Contract Net Protocol (AVS, MP, TL, NC), pp. 549–556.

UML-2003-Nunes #contract #ocl

An OCL Extension for Low-Coupling Preserving Contracts (IN), pp. 310–324.

ICSE-2003-Ross #concept #contract #education #programming

Teaching Contract Programming Concepts to Future Software Engineers (DFR), p. 647.

CBSE-2002-SchmidtR #adaptation #contract #synthesis

Parameterised Contracts and Adapter Synthesis (HWS, RR), p. 6.

ICALP-2002-Radzik #bound #network

Improving Time Bounds on Maximum Generalised Flow Computations by Contracting the Network (TR), pp. 611–622.

ICFP-2002-FindlerF #contract #higher-order

Contracts for higher-order functions (RBF, MF), pp. 48–59.

AdaEurope-2002-Lamm #ada #contract #design

Adding Design by Contract to the Ada Language (EL), pp. 205–218.

EDOC-2002-MilosevicD #behaviour #contract #monitoring #on the

On Expressing and Monitoring Behaviour in Contracts (ZM, RGD), pp. 3–14.

EDOC-2002-MilosevicJDP #contract

Discretionary Enforcement of Electronic Contracts (ZM, AJ, TD, MAP), pp. 39–50.

KR-2002-Booth #social

Social Contraction and Belief Negotiation (RB), pp. 375–386.

TOOLS-USA-2002-LacknerKP #contract #design #java

Supporting Design by Contract in Java (ML, AK, FP), pp. 57–76.

TOOLS-USA-2002-Nunes #contract #design #using

Design by Contract Using Meta-Assertions (IN), pp. 37–56.

TOOLS-USA-2002-Rausch #component #contract #design #quote

“Design by Contract” + “Componentware” = “Design by Signed Contract” (AR), pp. 19–36.

SAC-2002-BuckerR #interface #performance

Efficient derivative computations in neutron scattering via interface contraction (HMB, AR), pp. 184–188.

ICSE-2002-GouveiaKWAF #contract #coordination #java

Coordination contracts for Java applications (JG, GK, MW, LFA, JLF), p. 714.

ISSTA-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.

ICALP-2001-Baum-Waidner #contract #multi

Optimistic Asynchronous Multi-party Contract Signing with Reduced Number of Rounds (BBW), pp. 898–911.

FME-2001-Jones #contract

Composing Contracts: An Adventure in Financial Engineering (SLPJ), p. 435.

FME-2001-Pahl #component #contract #modelling #uml

Components, Contracts, and Connectors for the Unified Modelling Language UML (CP), pp. 259–277.

EDOC-2001-MarjanovicM #formal method #modelling #towards

Towards Formal Modeling of e-Contracts (OM, ZM), pp. 59–68.

ICEIS-v2-2001-ToffolonD #contract #information management

A Contract-Based Theory of Information Systems (CT, SD), pp. 645–650.

UML-2001-WeisBGP #component #contract #metamodelling #uml

A UML Meta-model for Contract Aware Components (TW, CB, KG, NP), pp. 442–456.

OOPSLA-2001-FindlerF #contract #object-oriented

Contract Soundness for Object-Oriented Languages (RBF, MF), pp. 1–15.

TOOLS-EUROPE-2001-FiadeiroA #contract

Interconnecting Objects via Contracts (JLF, LFA), pp. 182–183.

TOOLS-EUROPE-2001-Meyer01b #contract #design

At the Edge of Design by Contract (BM), p. 3.

TOOLS-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.

TOOLS-USA-2001-Guerreiro #c++ #contract #design

Simple Support for Design by Contract in C++ (PG), pp. 24–34.

TOOLS-USA-2001-MitchellM #contract #design

Design by Contract, By Example (RM, JCM), pp. 430–431.

ESEC-FSE-2001-FindlerLF #behaviour #contract #type system

Behavioral contracts and behavioral subtyping (RBF, ML, MF), pp. 229–236.

PPoPP-2001-LimLL #array #clustering #using

Blocking and array contraction across arbitrarily nested loops using affine partitioning (AWL, SWL, MSL), pp. 103–112.

ICALP-2000-Baum-WaidnerW #contract #multi

Round-Optimal and Abuse Free Optimistic Multi-party Contract Signing (BBW, MW), pp. 524–535.

ICFP-2000-JonesES #contract #functional

Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.

TOOLS-EUROPE-2000-Daniels #component #contract

Component Contracts (JD), p. 6.

TOOLS-USA-2000-Meyer00c #component #contract #design

Design By Contract and the Component Revolution (BM), pp. 515–518.

GCSE-2000-JongeV #contract

Grammars as Contracts (MdJ, JV), pp. 85–99.

GCSE-2000-KlaerenPRS #composition #contract #design #principle

Aspect Composition Applying the Design by Contract Principle (HK, EP, AR, AS), pp. 57–69.

ICSE-2000-Rausch #component #contract #evolution #requirements #using

Software evolution in componentware using requirements/assurances contracts (AR), pp. 147–156.

AGTIVE-1999-EnglertK #graph #image

Image Structure from Monotonic Dual Graph Contraction (RE, WGK), pp. 297–308.

UML-1999-AndradeF #contract

Interconnecting Objects Via Contracts (LFA, JLF), pp. 566–583.

UML-1999-PetreBP #case study #contract #uml

Analysing UML Use Cases as Contracts (LP, RJB, IP), pp. 518–533.

OOPSLA-1999-EvansD #approach #contract #evolution

Zones, Contracts and Absorbing Changes: An Approach to Software Evolution (HE, PD), pp. 415–434.

TOOLS-EUROPE-1999-MaleyS #c++ #contract #design

Emulating Design by Contract in C++ (DM, ITAS), pp. 66–75.

TOOLS-EUROPE-1999-McKim #contract #programming

Advanced Programming by Contract (JCM), p. 402.

TOOLS-EUROPE-1999-Mitchell99a #analysis #contract #exclamation #uml

Analysis by Contract: UML with Attitude! (RM), p. 407.

TOOLS-PACIFIC-1999-MitchellM #contract

Extending a Method of Devising Software Contracts (RM, JM), p. 234–?.

TOOLS-USA-1999-Firesmith99a #comparison #contract #design #development

A Comparison of Defensive Development and Design by Contract (DF), pp. 258–267.

TOOLS-USA-1999-Meyer99a #contract

Managing By Contract (BM), p. 412.

TOOLS-USA-1999-Mitchell #analysis #contract #uml

Analysis by Contract or UML with Attitude (RM), p. 465–?.

TOOLS-USA-1999-PloschP #analysis #c++ #contract #implementation #named

Contracts: From Analysis to C++ Implementation (RP, JP), pp. 248–257.

PLDI-1998-LewisLS #array #evaluation #implementation

The Implementation and Evaluation of Fusion and Contraction in Array Languages (ECL, CL, LS), pp. 50–59.

FLOPS-1998-Nedjah #equation #source code

Postponing Redex Contractions in Equational Programs (NN), pp. 40–60.

EDOC-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.

EDOC-1998-HoffnerS #contract

Co-operation, contracts, contractual match-making and binding (YH, AS), pp. 75–86.

TOOLS-ASIA-1998-Newmarch #contract #java

Adding Contracts to Java (JN), pp. 2–7.

TOOLS-USA-1998-Kramer #contract #design #java #named

iContract — The Java(tm) Design by Contract(tm) Tool (RK), pp. 295–307.

TOOLS-USA-1998-Meyer98a #contract #design #eiffel

Design by Contract: The Eiffel Method (BM), p. 446.

TOOLS-USA-1998-Mitchell #analysis #constraints #contract #ocl #uml

Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.

TOOLS-USA-1998-Plosch #contract #design #tool support

Tool Support for Design by Contract (RP), pp. 282–294.

TOOLS-USA-1998-PlouzeauLJ #contract #distributed #framework #quality

A Framework Managing Quality of Service Contracts in Distributed Applications (NP, SL, JMJ), p. 125–?.

TOOLS-USA-1998-Walden #analysis #contract #design #named

BON: Seamless, Reversible, Contract-Based Analysis and Design (KW), p. 445.

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

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

ICSE-1998-KontioPS #contract #development #specification #towards

Towards Better Software Projects and Contracts: Commitment Specifications in Software Development Projects (JK, OP, RS), pp. 486–489.

CSMR-1997-LucasSM #contract #evolution #reuse

Managing Software Evolution through Reuse Contracts (CL, PS, KM), pp. 165–170.

HCI-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.

EDOC-1997-GriffelTMMLS #contract #mobile

Electronic contract negotiation as an application niche for mobile agents (FG, MTT, MM, MM, WL, MMdS), p. 354–?.

TOOLS-ASIA-1997-Mitchell97a #analysis #contract

Analysis by Contract (RM), p. 421.

TOOLS-ASIA-1997-MitchellHH #specification

Contract-Oriented Specifications (RM, JH, AH), pp. 131–140.

TOOLS-PACIFIC-1997-Meyer #contract #design #object-oriented #source code

Design by Contract: Making Object-Oriented Programs that Work (BM), p. 360.

TOOLS-USA-1997-Mitchell #analysis #contract

Analysis by Contract (RM), p. 372.

OOPSLA-1996-SteyaertLMD #contract #evolution #reuse

Reuse Contracts: Managing the Evolution of Reusable Assets (PS, CL, KM, TD), pp. 268–285.

OOPSLA-1994-LortzS #contract #programming

Combining Contracts and Exemplar-Based Programming for Class Hiding and Customization (VBL, KGS), pp. 453–467.

KR-1992-Lownie #logic

A Contraction Operator For Classical Propositional Logic (TML), pp. 720–731.

ECOOP-1992-Holland #component #contract #reuse #specification #using

Specifying Reusable Components Using Contracts (IMH), pp. 287–308.

IWMM-1992-Delacour #contract #implementation

Allocation Regions & Implementation Contracts (VD), pp. 426–439.

OOPSLA-ECOOP-1990-HelmHG #behaviour #composition #contract #named #object-oriented #specification

Contracts: Specifying Behavioural Compositions in Object-Oriented Systems (RH, IMH, DG), pp. 169–180.

ICALP-1988-KokR #concurrent #semantics

Contractions in Comparing Concurrent Semantics (JNK, JJMMR), pp. 317–332.

ICALP-1985-Ben-OrGMR #contract #protocol

A Fair Protocol for Signing Contracts (Extended Abstract) (MBO, OG, SM, RLR), pp. 43–52.

STOC-1982-AsanoH #problem

Edge-Deletion and Edge-Contraction Problems (TA, TH), pp. 245–254.

ICSE-1978-Parnas #design

Designing Software for Ease of Extension and Contraction (DLP), pp. 264–277.