Tags

"Virtual Prototyping"
"Design by Contract"
"Eiffel"
"Emergence"