Abstract: A constructive approach to software development is proposed in which correctness reasoning forms an integral part of the analysis, design and implementation phases. A computational model adapted from UNITY for an object-oriented paradigm simplifies the correctness reasoning process. A small example demonstrates the method's emphasis on correctness properties and the role played by these properties. The object-oriented nature of the method promotes reusability, extensibility and encapsulation. A primary objective is to offer ordinary software practitioners a more rigorous approach towards software development without requiring an in-depth understanding of the underlying mathematics. The specification notation will map to a wide range of OO languages. Here the focus is on Java. Suitable for developing concurrent or distributed systems, the method enables the user to abstract away from the target architectural details until the implementation phase. Key words: Lightweight formal methods, UNITY, distributed / concurrent software. 1
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.