jContractor

MaRDI QIDQ14222swMATHFDO

Official website http://jcontractor.sourceforge.net/

Described by source

• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation

Cited in

(10)

• ConSpec
• How the design of JML accommodates both runtime assertion checking and formal verification
• Matching in security-by-contract for mobile code
• Access permission contracts for scripting languages
• scientific article; zbMATH DE number 2088931 (Why is no real title available?)
• scientific article; zbMATH DE number 2089386 (Why is no real title available?)
• Jass
• scientific article; zbMATH DE number 1952057 (Why is no real title available?)
• Contracts, Scenarios and Prototypes
• Formal design and implementation of constraints in software components

This page was built for software: jContractor