Applying 'design by contract'

meyer, 1989, TOOLS 2 (Technology of Object-Oriented Languages and Systems), 13

dijkstra, 1976, A Discipline of Programming

10.1145/359605.359618

meyer, 1993, Eiffel The Libraries

meyer, 1991, Advances in Object-Oriented Software Engineering, 1

meyer, 1991, Eiffel The Language

meyer, 1990, TOOLS 2 (Technology of Object-Oriented Languages and Systems), 17

10.1109/MS.1985.230345

cristian, 1985, On Exceptions, Failures, and Errors, Technology and Science of Informatics, 4

10.1109/TSE.1975.6312842

meyer, 1986, M A System Description Method

abrial, 1980, On the Construction of Programs

10.1007/978-1-4612-5983-1

dijkstra, 1976, A Discipline of Programming

10.1007/BF00289507

mills, 1987, Principles of Computer Programming A Mathematical Approach

10.1145/363235.363259

10.1145/954666.971189

jones, 1986, Systematic Software Development Using VDM

goguen, 1978, Current Trends in Programming Methodology, 4, 80

meyer, 1976, Bulletin de la Direction des Eiudes etRecherches d 'Eleclricit� de France

10.1145/363235.363259

10.1007/978-1-4612-5979-4

floyd, 1967, Assigning Meanings to Programs, Proc Symp Appl Mathematics Amer Math Soc, 19, 19, 10.1090/psapm/019/0235771

meyer, 1988, Object-Oriented Software Construction

potter, 1991, TOOLS 2 (Technology of Object-Oriented Languages and Systems), 183