jContractor

swMATH1488MaRDI QIDQ14222FDOQ14222

Author name not available (Why is that?)

Described by source

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

Cited In (8)

• Formal design and implementation of constraints in software components
• Title not available (Why is that?)
• Title not available (Why is that?)
• Contracts, Scenarios and Prototypes
• Access permission contracts for scripting languages
• How the design of JML accommodates both runtime assertion checking and formal verification
• Title not available (Why is that?)
• Matching in security-by-contract for mobile code

This page was built for software: jContractor