00000cab a22000003a 4500 UP-99796217608835925 Buklod 20231007234832.0 m |o d | ta 090525s xx d | ||r ||||| || DENGII eng Findler, Robert Bruce Behavioral contracts and behavioral subtyping. pp. 229-236 Component-based software manufacturing has the potential to bring division-of-labor benefits to the world of software engineering. In order to make a market of software components viable, however, producers and consumers must agree on enforceable software contracts. In this paper, we show how to enforce contracts if components are manufactured from class and interface hierarchies. In particular, we focus on one style of contract: pre- and post-conditions. Programmers annotate class and interface methods with pre- and post-conditions and the run-time system checks these conditions during evaluation. These contracts guarantee that methods are called properly and provide appropriate results. In procedural languages, the use of pre- and post-condition contracts is well-established and studies have demonstrated its value. In object-oriented languages, however, assigning blame for pre- and post-condition failures poses subtle and complex problems. Specifically, assigning blame for malformed class and interface hierarchies is so difficult that none of the existing contract monitoring tools correctly assign blame for these failures. In this paper, we show how to overcome these problems in the context of Java. Our work is based on the notion of behavioral subtyping. Software. Software engineering. Design tools and techniques. Modules and interfaces. Reusable software. Management. Computing Milieux. Management of computing and information systems. Software management. Software development. Languages. Management. Reliability. Software engineering notes. 26, 5 (2001). FO UPD DENG-II Article