Title :
Bon: Seamless, Reversible, Contract-based Analysis And Design
Keywords :
Automata; Books; Computer industry; Contracts; Impedance; Natural languages; Object oriented modeling; Programming; Scalability; Software architecture;
Conference_Titel :
Technology of Object-Oriented Languages, 1998. TOOLS 26. Proceedings
Print_ISBN :
0-8186-8482-8
DOI :
10.1109/TOOLS.1998.711042