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.