jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
From MaRDI portal
Publication:812054
DOI10.1007/s10703-005-3400-1zbMath1086.68534MaRDI QIDQ812054
Murat Karaorman, Parker Abercrombie
Publication date: 23 January 2006
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-005-3400-1
68N99: Theory of software
Related Items
jContractor, Formal design and implementation of constraints in software components, Matching in security-by-contract for mobile code
Uses Software
Cites Work