Login / Signup
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation.
Murat Karaorman
Parker Abercrombie
Published in:
Formal Methods Syst. Des. (2005)
Keyphrases
</>
source code
building blocks
web services
user interface
case study
smart card
open source
java virtual machine
database
engineering design
design principles
database design
lightweight
programming language
control system
website
real time