BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
contract
Google contract

Tag #contract

314 papers:

ICPCICPC-2019-0002KJCZ #recommendation
Recommending differentiated code to support smart contract update (YH0, QK, NJ, XC, ZZ), pp. 260–270.
ICPCICPC-2019-LiuYJZS #clone detection #detection
Enabling clone detection for ethereum via smart contract birthmarks (HL0, ZY, YJ0, WZ, JS), pp. 105–115.
ICSMEICSME-2019-GaoJJ00G #debugging #detection #named
SmartEmbed: A Tool for Clone and Bug Detection in Smart Contracts through Structural Code Embedding (ZG, VJ, LJ, XX0, DL0, JCG), pp. 394–397.
SANERSANER-2019-WangWSZ #effectiveness #generative #testing #towards
Towards Generating Cost-Effective Test-Suite for Ethereum Smart Contract (XW, HW, WS, YZ), pp. 549–553.
SEFMSEFM-2019-BravettiZ #behaviour
Relating Session Types and Behavioural Contracts: The Asynchronous Case (MB, GZ), pp. 29–47.
SEFMSEFM-2019-KamburjanDHJ #scheduling
Asynchronous Cooperative Contracts for Cooperative Scheduling (EK, CCD, RH, EBJ), pp. 48–66.
MoDELSMoDELS-2019-SantosSSN #design #named #synthesis
CONDEnSe: Contract Based Design Synthesis (CARdS, AHS, TS, MN), pp. 250–260.
OOPSLAOOPSLA-2019-SergeyNJ0TH #programming
Safer smart contract programming with Scilla (IS, VN, JJ, AK0, AT, KCGH), p. 30.
OOPSLAOOPSLA-2019-WangZS #debugging #detection #nondeterminism
Detecting nondeterministic payment bugs in Ethereum smart contracts (SW, CZ, ZS), p. 29.
PLDIPLDI-2019-NguyenGTH #higher-order #source code #termination
Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs (PCN, TG, STH, DVH), pp. 845–859.
PPDPPPDP-2019-LippmeierRM
Smart Contracts as Authorized Production Rules (BL, AR, AM), p. 14.
ASEASE-2019-LiWXWZ0 #mutation testing #named #testing
MuSC: A Tool for Mutation Testing of Ethereum Smart Contract (ZL, HW, JX, XW, LZ, ZC0), pp. 1198–1201.
ASEASE-2019-MossbergMHGGFBD #execution #framework #named #symbolic computation
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts (MM, FM, EH, AG, GG, JF, TB, AD), pp. 1186–1189.
ASEASE-2019-SadiqLLAL #java #named #source code
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs (AS, LL, YFL, IA, SL), pp. 1098–1101.
ESEC-FSEESEC-FSE-2019-AtzeiBLYZ
Developing secure bitcoin contracts with BitML (NA, MB, SL, NY, RZ), pp. 1124–1128.
ESEC-FSEESEC-FSE-2019-Vandenbogaerde #design #framework #graph
A graph-based framework for analysing the design of smart contracts (BV), pp. 1220–1222.
ICSE-2019-GrechBSS #declarative #decompiler #named
Gigahorse: thorough, declarative decompilation of smart contracts (NG, LB, BS, YS), pp. 1176–1186.
MoDELSMoDELS-2018-SelwayGSOD #development #integration #model transformation #visual notation
Integration of Visual Contracts and Model Transformation for Enhanced MDE Development (MS, GG, MS, KRO, RMD), pp. 415–425.
OOPSLAOOPSLA-2018-EzudheenND0M #invariant #learning
Horn-ICE learning for synthesizing invariants and contracts (PE, DN, DD, PG0, PM), p. 25.
OOPSLAOOPSLA-2018-FelteyGSFS #type system
Collapsible contracts: fixing a pathology of gradual typing (DF, BG, CS, RBF, VSA), p. 27.
OOPSLAOOPSLA-2018-GrechKJBSS #named
MadMax: surviving out-of-gas conditions in Ethereum smart contracts (NG, MK, AJ, LB, BS, YS), p. 27.
OOPSLAOOPSLA-2018-WilliamsMW #using
The root cause of blame: contracts for intersection and union types (JW, JGM, PW), p. 29.
AdaEuropeAdaEurope-2018-JaradatP #design #runtime #safety #using #verification
Using Safety Contracts to Verify Design Assumptions During Runtime (OJ, SP), pp. 3–18.
POPLPOPL-2018-GrossmanAGMRSZ #detection #effectiveness #online
Online detection of effectively callback free objects with applications to smart contracts (SG, IA, GGG, YM, NR, MS, YZ), p. 28.
POPLPOPL-2018-NguyenGTH #higher-order #source code #verification
Soft contract verification for higher-order stateful programs (PCN, TG, STH, DVH), p. 30.
PPDPPPDP-2018-AnnenkovE #compilation
Certified Compilation of Financial Contracts (DA, ME), p. 13.
PPDPPPDP-2018-NishidaI #nondeterminism
Nondeterministic Manifest Contracts (YN0, AI), p. 13.
ASEASE-2018-JiangLC #detection #fuzzing #named
ContractFuzzer: fuzzing smart contracts for vulnerability detection (BJ, YL, WKC), pp. 259–269.
ASEASE-2018-LiuLZJS #named #security #semantics #towards
S-gram: towards semantic-aware security auditing for Ethereum smart contracts (HL, CL, WZ, YJ0, JS), pp. 814–819.
ESOPESOP-2018-ChatterjeeGV #analysis
Quantitative Analysis of Smart Contracts (KC, AKG, YV), pp. 739–767.
ESOPESOP-2018-GommerstadtJP #concurrent
Session-Typed Concurrent Contracts (HG, LJ, FP), pp. 771–798.
CAVCAV-2018-GrishchenkoMS #static analysis #tool support
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts (IG, MM, CS), pp. 51–78.
ICTSSICTSS-2018-BordingHJW #automation #java #named #testing
JMCTest: Automatically Testing Inter-Method Contracts in Java (PB, JH, MCJ, HW), pp. 39–55.
CSEETCSEET-2017-HeymSBSPHKS #case study #component #education #experience #multi #reasoning
Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions (WDH, PAGS, PB, MS, KP, JEH, JK, NS), pp. 202–211.
SANERSANER-2017-ChenLLZ
Under-optimized smart contracts devour your money (TC0, XL, XL, XZ), pp. 442–446.
IFM-2017-OweRF #hoare #multi #reasoning
Hoare-Style Reasoning from Multiple Contracts (OO, TR, EF), pp. 263–278.
ICFP-2017-MelgrattiP #higher-order
Chaperone contracts for higher-order sessions (HCM, LP), p. 29.
ICFP-2017-WayeCD #higher-order #named
Whip: higher-order contracts for modern services (LW, SC, CD), p. 28.
ECOOPECOOP-2017-DietrichPJBD #case study #java #source code
Contracts in the Wild: A Study of Java Programs (JD0, DJP, KJ, PB), p. 29.
LOPSTRLOPSTR-2017-Hanus
Combining Static and Dynamic Contract Checking for Curry (MH), pp. 323–340.
POPLPOPL-2017-MadhavanKK #higher-order #verification
Contract-based resource verification for higher-order functions with memoization (RM, SK, VK), pp. 330–343.
POPLPOPL-2017-SekiyamaI
Stateful manifest contracts (TS, AI), pp. 530–544.
ASEASE-2017-Chen0F #program repair
Contract-based program repair without the contracts (LC, YP0, CAF), pp. 637–647.
FASEFASE-2017-0002MRSP #component #hybrid #verification
Change and Delay Contracts for Hybrid System Component Verification (AM0, SM, WR, WS, AP), pp. 134–151.
ICSTICST-2017-DiasFFLSSV #concurrent #source code #using #verification
Verifying Concurrent Programs Using Contracts (RJD, CF0, JF, JML, AS, DGS, TV), pp. 196–206.
SEFMSEFM-2016-ChampionGKT #named
CoCoSpec: A Mode-Aware Contract Language for Reactive Systems (AC, AG, TK, CT), pp. 347–366.
SEFMSEFM-2016-CimattiDT #refinement
Tightening a Contract Refinement (AC, RD, ST), pp. 386–402.
ICFP-2016-DimoulasNFF #functional
Oh Lord, please don't let contracts be misunderstood (functional pearl) (CD, MSN, RBF, MF), pp. 117–131.
MoDELSMoDELS-2016-Kosiuczenko #on the #protocol #state machine #synthesis
On the synthesis of protocol state machines from contracts (PK), pp. 76–85.
OOPSLAOOPSLA-2016-MooreDFFC #data access
Extensible access control with authorization contracts (SM, CD, RBF, MF, SC), pp. 214–233.
LOPSTRLOPSTR-2016-Alpuente0V #framework #synthesis
Symbolic Abstract Contract Synthesis in a Rewriting Framework (MA, DP0, AV), pp. 187–202.
ASEASE-2016-AlshanqitiHK #dynamic analysis #reverse engineering #using #visual notation
Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis (AMA, RH, TK), pp. 816–821.
CBSECBSE-2015-KramerLMSB #architecture #component #consistency #modelling
Change-Driven Consistency for Component Code, Architectural Models, and Contracts (MEK, ML, DM, SS, EB), pp. 21–26.
CBSECBSE-2015-MouelhiACM #behaviour #component #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 #probability #realtime #runtime
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.
ICFPICFP-2015-BahrBE #multi
Certified symbolic management of financial multi-party contracts (PB, JB, ME), pp. 315–327.
ICFPICFP-2015-KeilT #higher-order
Blame assignment for higher-order contracts with intersection and union (MK, PT), pp. 375–386.
ICFPICFP-2015-SwordsST #communication #monitoring
Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.
CoGCIG-2015-Brown #game studies #towards
Towards better personas in gaming : Contract based expert systems (JAB), pp. 540–541.
GCMGCM-2015-BottoniNP #constraints #modelling #policy #using
Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling (PB, RN, FPP), pp. 18–33.
HCIDUXU-UI-2015-Passera #design #how
Beyond the Wall of Text: How Information Design Can Make Contracts User-Friendly (SP), pp. 341–352.
ICEISICEIS-v1-2015-Giaglis #named
Money-over-IP — From Bitcoin to Smart Contracts and M2M Money (GMG), p. V.
ICEISICEIS-v3-2015-LongoZB #composition
Extending WSLA for Service and Contract Composition (AL, MZ, MAB), pp. 307–315.
MoDELSMoDELS-2015-NiemannHGW
Extracting frame conditions from operation contracts (PN, FH, MG, RW), pp. 266–275.
MoDELSMoDELS-2015-OakesTLW #atl #declarative #verification
Fully verifying transformation contracts for declarative ATL (BJO, JT, LL, MW), pp. 256–265.
ECOOPECOOP-2015-KeilT #higher-order #named
TreatJS: Higher-Order Contracts for JavaScripts (MK, PT), pp. 28–51.
POPLPOPL-2015-Greenberg
Space-Efficient Manifest Contracts (MG), pp. 181–194.
POPLPOPL-2015-SekiyamaNI #data type
Manifest Contracts for Datatypes (TS, YN, AI), pp. 195–207.
ASEASE-2015-AlshanqitiH #java #source code #visual notation
Extracting Visual Contracts from Java Programs (T) (AMA, RH), pp. 104–114.
SACSAC-2015-DieumegardGKTT #compilation
Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.
SACSAC-2015-ZappatoreLB #composition #network #representation
SLA composition in service networks: a tool for representing relationships between SLAs and contracts (MZ, AL, MAB), pp. 1219–1224.
GPCEGPCE-2015-KolesnichenkoPN #gpu #programming
Contract-based general-purpose GPU programming (AK, CMP, SN, BM), pp. 75–84.
ICTSSICTSS-2015-BoudhibaGGP #modelling #testing
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts (IB, CG, PLG, VP), pp. 35–51.
ICSMEICSME-2014-LeYLTR
Dynamic Inference of Change Contracts (TDBL, JY, DL, FT, AR), pp. 451–455.
ICSMEICSME-2014-YanMG #evolution #mining
Mining Software Contracts for Software Evolution (YY, MM, WGG), pp. 471–475.
FMFM-2014-EstlerFNPM
Contracts in Practice (HCE, CAF, MN, MP, BM), pp. 230–246.
ICFPICFP-2014-Findler #behaviour
Behavioral software contracts (RBF), pp. 137–138.
ICFPICFP-2014-NguyenTH #verification
Soft contract verification (PCN, STH, DVH), pp. 139–152.
GT-VMTGT-VMT-2014-AlshanqitiH #java #reverse engineering #towards #visual notation
Towards Dynamic Reverse Engineering Visual Contracts from Java (AMA, RH).
KMISKMIS-2014-KimK #case study #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 #cyber-physical #design
Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.
ICSEICSE-2014-SchillerDCE #case study #specification #tool support
Case studies and tools for contract specifications (TWS, KD, FC, MDE), pp. 596–607.
CASECASE-2014-ChuLSO #analysis #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 #design #refinement #scalability
Library-based scalable refinement checking for contract-based design (AI, PN, ST, ALSV), pp. 1–6.
DATEDATE-2014-NuzzoFIS #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 #program repair
Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.
ITiCSEITiCSE-2013-ClarkeL #aspect-oriented
Commercial aspects of contract cheating (RC, TL), pp. 219–224.
IFMIFM-2013-LaneveP #algebra #web #web service
An Algebraic Theory for Web Service Contracts (CL, LP), pp. 301–315.
GT-VMTGT-VMT-2013-RungeKH #generative #testing #using #visual notation
Test Case Generation Using Visual Contracts (OR, TAK, RH).
EDOCEDOC-2013-GallegeGHR #monitoring #trust #using
Trustworthy Service Selection Using Long-Term Monitoring of Trust Contracts (LSG, DG, JHH, RRR), pp. 195–200.
OOPSLAOOPSLA-2013-DimoulasFF
Option contracts (CD, RBF, MF), pp. 475–494.
HILTHILT-2013-Logozzo #specification #verification
Practical specification and verification with code contracts (FL), pp. 7–8.
HILTHILT-2013-Logozzo13a
Technology for inferring contracts from code (FL), pp. 13–14.
ASEASE-2013-CimattiDT #named #refinement
OCRA: A tool for checking the refinement of temporal contracts (AC, MD, ST), pp. 702–705.
ESOPESOP-2013-TakikawaST
Constraining Delimited Control with Contracts (AT, TSS, STH), pp. 229–248.
ICSTICST-2013-AbadABCFGMMRV #bound #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 #feature model #product line #verification
Product-line verification with feature-oriented contracts (TT), pp. 374–377.
ISSTAISSTA-2013-YiQTR
Expressing and checking intended changes via software change contracts (JY, DQ, SHT, AR), pp. 1–11.
SCAMSCAM-2012-ThiagarajanHBR #data flow #developer
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK (HT, JH, JB, R), pp. 132–137.
ICFPICFP-2012-Chitil #lazy evaluation
Practical typed lazy contracts (OC), pp. 67–76.
GT-VMTGT-VMT-2012-KhanRH #testing #visual notation
Visual Contracts as Test Oracle in AGG 2.0 (TAK, OR, RH).
ICGTICGT-2012-KhanRH #modelling #testing #visual notation
Testing against Visual Contracts: Model-Based Coverage (TAK, OR, RH), pp. 279–293.
KMISKMIS-2012-ThonssenL #approach #semantics
Semantically Enriched Obligation Management — An Approach for Improving the Handling of Obligations Represented in Contracts (BT, JL), pp. 40–48.
SEKESEKE-2012-RebeloLMOR #aspect-oriented #source code
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (HR, RMFL, AM, CALO, MR), pp. 148–153.
OOPSLAOOPSLA-2012-CousotCLB #abstract interpretation #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 #execution #higher-order #symbolic computation
Higher-order symbolic execution via contracts (STH, DVH), pp. 537–554.
HILTHILT-2012-BeltCHR #ada #automation #using #verification
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan (JB, PC, JH, R), pp. 3–4.
PADLPADL-2012-AntoyH #functional #logic programming #specification
Contracts and Specifications for Functional Logic Programming (SA, MH), pp. 33–47.
PEPMPEPM-2012-DegenTW #interactive #lazy evaluation
The interaction of contracts and laziness (MD, PT, SW), pp. 97–106.
PEPMPEPM-2012-Xu #hybrid
Hybrid contract checking via symbolic simplification (DNX), pp. 107–116.
POPLPOPL-2012-HeideggerBT #scripting language
Access permission contracts for scripting languages (PH, AB, PT), pp. 111–122.
RERE-2012-SongH #categorisation #integration #requirements
Categorizing requirements for a contract-based system integration project (XS, BH), pp. 279–284.
FSEFSE-2012-QiYR
Software change contracts (DQ, JY, AR), p. 22.
SACSAC-2012-BernardiH #modelling #using
Modelling session types using contracts (GB, MH), pp. 1941–1946.
ESOPESOP-2012-DimoulasTF #behaviour #monitoring
Complete Monitors for Behavioral Contracts (CD, STH, MF), pp. 214–233.
FASEFASE-2012-BauerDHLLNW #component #design #specification
Moving from Specifications to Contracts in Component-Based Design (SSB, AD, RH, KGL, AL, UN, AW), pp. 43–58.
FASEFASE-2012-ThumSKAS #design #feature model #programming
Applying Design by Contract to Feature-Oriented Programming (TT, IS, MK, SA, GS), pp. 255–269.
STOCSTOC-2012-CebrianCVV #robust
Finding red balloons with split contracts: robustness to individuals’ selfishness (MC, LC, AV, PV), pp. 775–788.
VMCAIVMCAI-2012-ChatterjeeR #protocol
Synthesizing Protocols for Digital Contract Signing (KC, VR), pp. 152–168.
QoSAQoSA-ISARCS-2011-PeakeS #modelling #trade-off
Systematic simplicity-accuracy tradeoffs in parameterised contract models (IDP, HWS), pp. 95–104.
SIGMODSIGMOD-2011-DamaggioDZ #behaviour #database #query
Querying contract databases based on temporal behavior (ED, AD, DZ), pp. 397–408.
ICFPICFP-2011-DisneyFM #higher-order
Temporal higher-order contracts (TD, CF, JM), pp. 176–188.
GT-VMTGT-VMT-2011-HeckelKM #test coverage #towards #visual notation
Towards Test Coverage Criteria for Visual Contracts (RH, TAK, RM).
EDOCEDOC-2011-Halle #logic #message passing
Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit” (SH), pp. 171–180.
ICEISICEIS-v2-2011-Feng #case study #research
The Study on Member Incentive of Scientific Research Group in University based on Psychological Contracts (HF), pp. 423–431.
SEKESEKE-2011-RebeloLKSCMRO #aspect-oriented #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 #execution #verification
Contracts for Model Execution Verification (EC, CB, AF, FB), pp. 3–18.
POPLPOPL-2011-DimoulasFFF
Correct blame for contracts: no more scapegoating (CD, RBF, CF, MF), pp. 215–226.
AdaSIGAda-2011-BeltHRCHD #execution #symbolic computation #using
Enhancing spark’s contract checking facilities using symbolic execution (JB, JH, R, PC, DH, XD), pp. 47–60.
ASEASE-2011-WeiRFPHSNM #fault #testing
Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.
ICSEICSE-2011-AraujoBL #concurrent #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
Inferring better contracts (YW, CAF, NK, BM), pp. 191–200.
ICSEICSE-2011-WilliamsW #re-engineering #research
The American law institute’s principles on software contracts and their ramifications for software engineering research (JBW, JHWJ), pp. 972–975.
DACDAC-2011-PatilBC #architecture #synthesis
Enforcing architectural contracts in high-level synthesis (NAP, AB, DC), pp. 824–829.
DATEDATE-2011-DammHJPS #architecture #component #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.
PPoPPPPoPP-2011-KarmaniMM #concurrent #parallel #thread
Thread contracts for safe parallelism (RKK, PM, BMM), pp. 125–134.
ESOPESOP-2011-BeloGIP #polymorphism
Polymorphic Contracts (JFB, MG, AI, BCP), pp. 18–37.
FASEFASE-2011-KhanH #analysis #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.
ICTSSICTSS-2011-EnderlinDGO #named #php #specification #testing
Praspel: A Specification Language for Contract-Based Testing in PHP (IE, FD, AG, ABO), pp. 64–79.
VMCAIVMCAI-2011-CousotCL
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (PC, RC, FL), pp. 150–168.
CBSECBSE-2010-DietrichS #case study #component #eclipse
Component Contracts in Eclipse — A Case Study (JD, LS), pp. 150–165.
ICPCICPC-2010-AreiasCP #reuse #safety #slicing
Contract-Based Slicing Helps on Safety Reuse (SA, DCdC, JSP), pp. 62–63.
SEFMSEFM-2010-GallerWW #design
Synthesize It: From Design by Contract to Meaningful Test Input Data (SJG, MW, FW), pp. 286–295.
EDOCEDOC-2010-Halle #interface #ltl #monitoring #runtime
Cooperative Runtime Monitoring of LTL Interface Contracts (SH), pp. 227–236.
ICEISICEIS-ISAS-2010-CouturierHT #automation #case study #information management
Engineering Agent-based Information Systems — A Case Study of Automatic Contract Net Systems (VC, MPH, DT), pp. 242–248.
CIKMCIKM-2010-BharadwajMSSVXY #online
Pricing guaranteed contracts in online display advertising (VB, WM, MS, JS, EV, JX, JY), pp. 399–408.
ECOOPECOOP-2010-ZaeemK #alloy #data type #using
Contract-Based Data Structure Repair Using Alloy (RNZ, SK), pp. 577–598.
TOOLSTOOLS-EUROPE-2010-NelsonPN #comprehension #design
Understanding the Impact of Collection Contracts on Design (SN, DJP, JN), pp. 61–78.
POPLPOPL-2010-GreenbergPW
Contracts made manifest (MG, BCP, SW), pp. 353–364.
SASSAS-2010-Fahndrich #verification
Static Verification for Code Contracts (MF), pp. 2–5.
ICSEICSE-2010-UbayashiNT #architecture #design #named
Archface: a contract place where architectural design and code meet together (NU, JN, TT), pp. 75–84.
SACSAC-2010-FahndrichBL #embedded
Embedded contract languages (MF, MB, FL), pp. 2103–2110.
SACSAC-2010-HirschfeldPSA
Dynamic contract layers (RH, MP, CS, MA), pp. 2169–2175.
SACSAC-2010-HurnausP #automation #composition #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
Checking concurrent contracts with aspects (EK, SM), pp. 2523–2530.
GPCEGPCE-2010-KriegerKW #automation #performance #simulation
Automatic and efficient simulation of operation contracts (MPK, AK, BW), pp. 53–62.
CASECASE-2010-GeK
Integrating advance demand information in supply chain contracts (DG, AK), pp. 380–385.
LCTESLCTES-2010-DelavalMR #composition #synthesis
Contracts for modular discrete controller synthesis (GD, HM, ÉR), pp. 57–66.
ESOPESOP-2010-AmtoftHR #array #automation #certification #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
Stateful Contracts for Affine Types (JAT, RP), pp. 550–569.
FASEFASE-2010-NaeemHOH #composition #incremental #visual notation
Incremental Service Composition Based on Partial Matching of Visual Contracts (MN, RH, FO, FH), pp. 123–138.
ICSTICST-2010-PorresR #nondeterminism #protocol #uml
From Nondeterministic UML Protocol Statemachines to Class Contracts (IP, IR), pp. 107–116.
ISSTAISSTA-2010-WeiPFSBMZ #automation #source code
Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.
SIGMODSIGMOD-2009-Chaudhuri #query #question
Query optimizers: time to rethink the contract? (SC), pp. 961–968.
IFMIFM-2009-CabotCR #ocl #uml #verification
Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.
IFMIFM-2009-PaceS #challenge #specification
Challenges in the Specification of Full Contracts (GJP, GS), pp. 292–306.
SEFMSEFM-2009-GoesslerR #component #design
Modal Contracts for Component-Based Design (GG, JBR), pp. 295–303.
SFMSFM-2009-BravettiZ #composition #web #web service
Contract-Based Discovery and Composition of Web Services (MB, GZ), pp. 261–295.
SFMSFM-2009-Padovani #adaptation #web #web service
Contract-Based Discovery and Adaptation of Web Services (LP), pp. 213–260.
ICEISICEIS-AIDSS-2009-CardosoO #monitoring
Monitoring Cooperative Business Contracts in an Institutional Environment (HLC, ECO), pp. 206–211.
ICEISICEIS-J-2009-BacarinMM #multi
Assembling and Managing Virtual Organizations out of Multi-party Contracts (EB, ERMM, CBM), pp. 758–769.
MODELSMoDELS-2009-OldevikMK #composition
Model Composition Contracts (JO, MM, IK), pp. 531–545.
MODELSMoDELS-2009-OldevikMK #composition
Model Composition Contracts (JO, MM, IK), pp. 531–545.
POPLPOPL-2009-XuJC #haskell
Static contract checking for Haskell (DNX, SLPJ, KC), pp. 41–52.
PPDPPPDP-2009-DimoulasPF
Future contracts (CD, RP, MF), pp. 195–206.
ICSEICSE-2009-CasoBGU #abstraction #finite #using #validation
Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.
DACDAC-2009-SunNWS #composition
Contract-based system-level composition of analog circuits (XS, PN, CCW, ALSV), pp. 605–610.
ESOPESOP-2009-Eber #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.
CAVCAV-2009-HalleV #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
A comparative study of programmer-written and automatically inferred contracts (NP, IC, BM), pp. 93–104.
ISSTAISSTA-2009-StengelB
Analyzing singularity channel contracts (ZS, TB), pp. 13–24.
MBTMBT-2009-KrennA #generative #specification #testing
Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.
TAPTAP-2009-Gladisch #invariant #question
Could We Have Chosen a Better Loop Invariant or Method Contract? (CG), pp. 74–89.
FMFM-2008-AmtoftHRRHG #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 #verification
Contract-Based Verification of Hierarchical Systems of Components (SQ, SG), pp. 377–381.
CAiSECAiSE-2008-CostalGQT #concept
Drawing Preconditions of Operation Contracts from Conceptual Schemas (DC, CG, AQ, ET), pp. 266–280.
SEKESEKE-2008-SandersZ #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 #interactive #model transformation #using
Extracting Object Interactions Out of Software Contracts Using Model Transformations (AV, DP, MCB), pp. 245–259.
POPLPOPL-2008-CastagnaGP #formal method #web #web service
A theory of contracts for web services (GC, NG, LP), pp. 261–272.
SACSAC-2008-RebeloSLFC #aspectj #implementation #java #modelling
Implementing Java modeling language contracts with AspectJ (HR, SS, RMFL, LF, MC), pp. 228–233.
PDPPDP-2008-GoswamiG #using
Resource Selection in Grids Using Contract Net (KG, AG), pp. 105–109.
ICSTICST-2008-UbayashiPST #aspect-oriented #refactoring #verification
Contract-Based Verification for Aspect-Oriented Refactoring (NU, JP, SS, TT), pp. 180–189.
CBSECBSE-2007-BaiWDTC #collaboration #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 #interface
Performance-Driven Interface Contract Enforcement for Scientific Components (TD), pp. 157–172.
CBSECBSE-2007-MulugetaS #approach #component #distributed
An Approach for QoS Contract Negotiation in Distributed Component-Based Software (MM, AS), pp. 90–106.
IFLIFL-2007-FindlerGR #data type #lazy evaluation
Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.
IFLIFL-2007-HerhutSBGT #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 #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 #distributed #interactive
Temporal Interaction Contracts for Components in a Distributed System (OJT, RRR), pp. 339–352.
MODELSMoDELS-2007-CabotG #diagrams #uml
Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
MODELSMoDELS-2007-CabotG #diagrams #uml
Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
ESEC-FSEESEC-FSE-2007-LeitnerCOMF #development #testing
Contract driven development = test driven development — writing test cases (AL, IC, MO, BM, AF), pp. 425–434.
TAPTAP-2007-LiuMS #automation #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 #deployment
Defining and Checking Deployment Contracts for Software Components (KKL, VU), pp. 1–16.
SEFMSEFM-2006-FeldmanBT #aspect-oriented #design #named
Jose: Aspects for Design by Contract80-89 (YAF, OB, SST), pp. 80–89.
SEFMSEFM-2006-FeldmanG #automation #named #towards
Discern: Towards the Automatic Discovery of Software Contracts (YAF, LG), pp. 90–99.
FLOPSFLOPS-2006-FindlerB
Contracts as Pairs of Projections (RBF, MB), pp. 226–241.
FLOPSFLOPS-2006-HinzeJL #functional #programming
Typed Contracts for Functional Programming (RH, JJ, AL), pp. 208–225.
ICGTICGT-2006-EngelsLSH #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 #framework #nondeterminism #platform #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 #process
Compliance checking between business processes and business contracts (GG, ZM, SWS), pp. 221–232.
EDOCEDOC-2006-MilosevicSO #process
Translating business contract into compliant business processes (ZM, SWS, MEO), pp. 211–220.
EDOCEDOC-2006-YanZY #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 #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 #design pattern #monitoring #parallel
Parallel Monitoring of Design Pattern Contracts (JOH, ARD, NS), pp. 236–241.
POPLPOPL-2006-MeunierFF #analysis #composition
Modular set-based analysis from contracts (PM, RBF, MF), pp. 218–231.
ASEASE-2006-LohmannES #generative #modelling #monitoring #visual notation
Model-driven Monitoring: Generating Assertions from Visual Contracts (ML, GE, SS), pp. 355–356.
ICSEICSE-2006-BriandLS #automation #component #testing
Automated, contract-based user testing of commercial-off-the-shelf components (LCB, YL, MMS), pp. 92–101.
SACSAC-2006-TylerHS #automation #generative #monitoring
Automated generation of monitors for pattern contracts (BT, JOH, NS), pp. 1779–1784.
GPCEGPCE-2006-PerryJW #linear #logic
Expressing heap-shape contracts in linear logic (FP, LJ, DW), pp. 101–110.
HPDCHPDC-2006-AuYoungRWW
Service contracts and aggregate utility functions (AA, LR, SW, JW), pp. 119–131.
ESOPESOP-2006-CarpinetiL #web #web service
A Basic Contract Language for Web Services (SC, CL), pp. 197–213.
CSEETCSEET-2005-McKimE #design
Course Module: Design By Contract (JCM, HJCE), pp. 239–241.
ICSMEICSM-2005-BriandDL #aspect-oriented #debugging #programming
Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging (LCB, WJD, YL), pp. 687–690.
ICSMEICSM-2005-JiangHSZX #component #testing
Contract-Based Mutation for Testing Components (YJ, SSH, JS, LZ, BX), pp. 483–492.
ICSMEICSM-2005-SusaniD #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
Component Composition Preserving Behavioural Contracts Based on Communication Traces (AB, MC, ISR), pp. 54–65.
EDOCEDOC-2005-GovernatoriM #domain-specific language
Dealing with contract violations: formalism and domain specific language (GG, ZM), pp. 46–57.
EDOCEDOC-2005-Molina-JimenezSW #interactive #specification
A Method for Specifying Contract Mediated Interactions (CMJ, SKS, JPW), pp. 106–118.
ECMFAECMDA-FA-2005-ChanP #approach #design #metamodelling
Designing a Domain-Specific Contract Language: A Metamodelling Approach (ZEC, RFP), pp. 175–189.
OOPSLAOOPSLA-2005-GrayFF #fine-grained
Fine-grained interoperability through mirrors and contracts (KEG, RBF, MF), pp. 231–245.
DATEDATE-2005-KruseTEVS #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.
FASEFASE-2005-ReussnerHH #component #graph grammar #modelling #parametricity
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars (RHR, JH, AH), pp. 80–95.
CBSECBSE-2004-DefourJP #component
Extra-Functional Contract Support in Components (OD, JMJ, NP), pp. 217–232.
ICFPICFP-2004-BlumeM
A sound (and complete) model of contracts (MB, DAM), pp. 189–200.
ICEISICEIS-v4-2004-AndradeN
Intelligent Electronic Inter-Systemic Contracting — Issues on Consent and Contract Formation (FA, JN), pp. 403–410.
ICEISICEIS-v4-2004-OliveiraLNA
Formation and Fulfillment of Electronic Contracts in the ICS (NRSO, SL, EN, CRBA), pp. 24–30.
TOOLSTOOLS-USA-2003-EnselmeFL04 #analysis #component #dependence #design
Design by Contract: analysis of hidden dependencies in component based application (DE, GF, FLA), pp. 23–45.
TOOLSTOOLS-USA-2003-Madsen04 #design #equivalence
Enhancing Design by Contract with Knowledge about Equivalence Partitions (PM), pp. 5–21.
ECOOPECOOP-2004-FindlerFF #semantics #type system
Semantic Casts: Contracts and Structural Subtyping in a Nominal World (RBF, MF, MF), pp. 364–388.
SACSAC-2004-XueguangH #protocol
Further extensions of FIPA Contract Net Protocol: threshold plus DoA (XC, HS), pp. 45–51.
ITiCSEITiCSE-2003-Gegg-HarrisonBGOW #correctness
Studying program correctness by constructing contracts (TSGH, GRB, RDG, CMO, JDW), pp. 129–133.
CAiSECAiSE-2003-HeuvelW #coordination #transaction
Coordinating Web-Service Enabled Business Transactions with Contracts (WJvdH, HW), pp. 568–583.
CAiSECAiSE-2003-MoreiraFA #coordination #evolution #requirements
Evolving Requirements through Coordination Contracts (AMDM, JLF, LFA), pp. 633–646.
CAiSECAiSE-2003-XuJ #monitoring
Pro-active Monitoring of Electronic Contracts (LX, MAJ), pp. 584–600.
EDOCEDOC-2003-DimitrakosDMJP #assessment #performance
Contract Performance Assessment for Secure and Dynamic Virtual Collaborations (TD, ID, ZM, AJ, CIP), pp. 62–75.
EDOCEDOC-2003-HansonM #protocol
Conversation-oriented Protocols for Contract Negotiations (JEH, ZM), pp. 40–49.
EDOCEDOC-2003-NealCLMGK #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 #protocol
Constraint-Based Contract Net Protocol (AVS, MP, TL, NC), pp. 549–556.
UMLUML-2003-Nunes #ocl
An OCL Extension for Low-Coupling Preserving Contracts (IN), pp. 310–324.
ICSEICSE-2003-Ross #concept #education #programming
Teaching Contract Programming Concepts to Future Software Engineers (DFR), p. 647.
CBSECBSE-2002-SchmidtR #adaptation #synthesis
Parameterised Contracts and Adapter Synthesis (HWS, RR), p. 6.
ICFPICFP-2002-FindlerF #higher-order
Contracts for higher-order functions (RBF, MF), pp. 48–59.
EDOCEDOC-2002-MilosevicD #behaviour #monitoring #on the
On Expressing and Monitoring Behaviour in Contracts (ZM, RGD), pp. 3–14.
EDOCEDOC-2002-MilosevicJDP
Discretionary Enforcement of Electronic Contracts (ZM, AJ, TD, MAP), pp. 39–50.
TOOLSTOOLS-USA-2002-LacknerKP #design #java
Supporting Design by Contract in Java (ML, AK, FP), pp. 57–76.
TOOLSTOOLS-USA-2002-Nunes #design #using
Design by Contract Using Meta-Assertions (IN), pp. 37–56.
TOOLSTOOLS-USA-2002-Rausch #component #design #quote
“Design by Contract” + “Componentware” = “Design by Signed Contract” (AR), pp. 19–36.
AdaEuropeAdaEurope-2002-Lamm #ada #design
Adding Design by Contract to the Ada Language (EL), pp. 205–218.
ICSEICSE-2002-GouveiaKWAF #coordination #java
Coordination contracts for Java applications (JG, GK, MW, LFA, JLF), p. 714.
ISSTAISSTA-2002-BriandLS #analysis #fault #object-oriented #using
Investigating the use of analysis contracts to support fault isolation in object oriented code (LCB, YL, HS), pp. 70–80.
ICALPICALP-2001-Baum-Waidner #multi
Optimistic Asynchronous Multi-party Contract Signing with Reduced Number of Rounds (BBW), pp. 898–911.
FMFME-2001-Jones
Composing Contracts: An Adventure in Financial Engineering (SLPJ), p. 435.
FMFME-2001-Pahl #component #modelling #uml
Components, Contracts, and Connectors for the Unified Modelling Language UML (CP), pp. 259–277.
ICEISICEIS-v2-2001-ToffolonD #information management
A Contract-Based Theory of Information Systems (CT, SD), pp. 645–650.
UMLUML-2001-WeisBGP #component #metamodelling #uml
A UML Meta-model for Contract Aware Components (TW, CB, KG, NP), pp. 442–456.
OOPSLAOOPSLA-2001-FindlerF #object-oriented
Contract Soundness for Object-Oriented Languages (RBF, MF), pp. 1–15.
TOOLSTOOLS-EUROPE-2001-FiadeiroA
Interconnecting Objects via Contracts (JLF, LFA), pp. 182–183.
TOOLSTOOLS-EUROPE-2001-Meyer01b #design
At the Edge of Design by Contract (BM), p. 3.
TOOLSTOOLS-USA-2001-ArnoutS #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++ #design
Simple Support for Design by Contract in C++ (PG), pp. 24–34.
TOOLSTOOLS-USA-2001-MitchellM #design
Design by Contract, By Example (RM, JCM), pp. 430–431.
FSEESEC-FSE-2001-FindlerLF #behaviour #type system
Behavioral contracts and behavioral subtyping (RBF, ML, MF), pp. 229–236.
ICALPICALP-2000-Baum-WaidnerW #multi
Round-Optimal and Abuse Free Optimistic Multi-party Contract Signing (BBW, MW), pp. 524–535.
ICFPICFP-2000-JonesES #functional
Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.
TOOLSTOOLS-EUROPE-2000-Daniels #component
Component Contracts (JD), p. 6.
TOOLSTOOLS-USA-2000-Meyer00c #component #design
Design By Contract and the Component Revolution (BM), pp. 515–518.
GPCEGCSE-2000-JongeV
Grammars as Contracts (MdJ, JV), pp. 85–99.
GPCEGCSE-2000-KlaerenPRS #composition #design #principle
Aspect Composition Applying the Design by Contract Principle (HK, EP, AR, AS), pp. 57–69.
ICSEICSE-2000-Rausch #component #evolution #requirements #using
Software evolution in componentware using requirements/assurances contracts (AR), pp. 147–156.
UMLUML-1999-AndradeF
Interconnecting Objects Via Contracts (LFA, JLF), pp. 566–583.
UMLUML-1999-PetreBP #case study #uml
Analysing UML Use Cases as Contracts (LP, RJB, IP), pp. 518–533.
OOPSLAOOPSLA-1999-EvansD #approach #evolution
Zones, Contracts and Absorbing Changes: An Approach to Software Evolution (HE, PD), pp. 415–434.
TOOLSTOOLS-EUROPE-1999-MaleyS #c++ #design
Emulating Design by Contract in C++ (DM, ITAS), pp. 66–75.
TOOLSTOOLS-EUROPE-1999-McKim #programming
Advanced Programming by Contract (JCM), p. 402.
TOOLSTOOLS-EUROPE-1999-Mitchell99a #analysis #exclamation #uml
Analysis by Contract: UML with Attitude! (RM), p. 407.
TOOLSTOOLS-PACIFIC-1999-MitchellM
Extending a Method of Devising Software Contracts (RM, JM), p. 234–?.
TOOLSTOOLS-USA-1999-Firesmith99a #comparison #design #development
A Comparison of Defensive Development and Design by Contract (DF), pp. 258–267.
TOOLSTOOLS-USA-1999-Meyer99a
Managing By Contract (BM), p. 412.
TOOLSTOOLS-USA-1999-Mitchell #analysis #uml
Analysis by Contract or UML with Attitude (RM), p. 465–?.
TOOLSTOOLS-USA-1999-PloschP #analysis #c++ #implementation #named
Contracts: From Analysis to C++ Implementation (RP, JP), pp. 248–257.
EDOCEDOC-1998-GriffelBWLM #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
Co-operation, contracts, contractual match-making and binding (YH, AS), pp. 75–86.
TOOLSTOOLS-ASIA-1998-Newmarch #java
Adding Contracts to Java (JN), pp. 2–7.
TOOLSTOOLS-USA-1998-Kramer #design #java #named
iContract — The Java(tm) Design by Contract(tm) Tool (RK), pp. 295–307.
TOOLSTOOLS-USA-1998-Meyer98a #design #eiffel
Design by Contract: The Eiffel Method (BM), p. 446.
TOOLSTOOLS-USA-1998-Mitchell #analysis #constraints #ocl #uml
Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.
TOOLSTOOLS-USA-1998-Plosch #design #tool support
Tool Support for Design by Contract (RP), pp. 282–294.
TOOLSTOOLS-USA-1998-PlouzeauLJ #distributed #framework #quality
A Framework Managing Quality of Service Contracts in Distributed Applications (NP, SL, JMJ), p. 125–?.
TOOLSTOOLS-USA-1998-Walden #analysis #design #named
BON: Seamless, Reversible, Contract-Based Analysis and Design (KW), p. 445.
TOOLSTOOLS-USA-1998-Watkins #interface #programming #using
Using Interface Definition Languages to Support Path Expressions and Programming by Contract (DW), p. 308–?.
ICSEICSE-1998-KontioPS #development #specification #towards
Towards Better Software Projects and Contracts: Commitment Specifications in Software Development Projects (JK, OP, RS), pp. 486–489.
CSMRCSMR-1997-LucasSM #evolution #reuse
Managing Software Evolution through Reuse Contracts (CL, PS, KM), pp. 165–170.
HCIHCI-SEC-1997-GiannettiMT #case study #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 #mobile
Electronic contract negotiation as an application niche for mobile agents (FG, MTT, MM, MM, WL, MMdS), p. 354–?.
TOOLSTOOLS-ASIA-1997-Mitchell97a #analysis
Analysis by Contract (RM), p. 421.
TOOLSTOOLS-PACIFIC-1997-Meyer #design #object-oriented #source code
Design by Contract: Making Object-Oriented Programs that Work (BM), p. 360.
TOOLSTOOLS-USA-1997-Mitchell #analysis
Analysis by Contract (RM), p. 372.
OOPSLAOOPSLA-1996-SteyaertLMD #evolution #reuse
Reuse Contracts: Managing the Evolution of Reusable Assets (PS, CL, KM, TD), pp. 268–285.
OOPSLAOOPSLA-1994-LortzS #programming
Combining Contracts and Exemplar-Based Programming for Class Hiding and Customization (VBL, KGS), pp. 453–467.
ECOOPECOOP-1992-Holland #component #reuse #specification #using
Specifying Reusable Components Using Contracts (IMH), pp. 287–308.
ISMMIWMM-1992-Delacour #implementation
Allocation Regions & Implementation Contracts (VD), pp. 426–439.
OOPSLAOOPSLA-ECOOP-1990-HelmHG #behaviour #composition #named #object-oriented #specification
Contracts: Specifying Behavioural Compositions in Object-Oriented Systems (RH, IMH, DG), pp. 169–180.
ICALPICALP-1985-Ben-OrGMR #protocol
A Fair Protocol for Signing Contracts (MBO, OG, SM, RLR), pp. 43–52.

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.