Specifying and Analyzing Distributed Object-Oriented Systems


The ability to check whether the modeled system satisfies certain properties is a very important aspect in the software development process. Many object-oriented methods do not pay enough attention to the behavioral descriptions. Indeed, they mostly do not provide formally founded descriptions that can be checked automatically. This paper presents an… (More)
DOI: 10.1109/PDSE.1999.779737


10 Figures and Tables