- J. V. Guttag, E. Horowitz, and D. R. Musser, "Abstract Data Types and Software Validation," CACM 21, December 1978, 1048--1064. Google ScholarDigital Library
- S. L. Gerhart, D. R. Musser, D. H. Thompson, D. A. Baker, R. L. Bates, R. W. Erickson, R. L. London, D. G. Taylor, D. S. Wile, "An Overview of AFFIRM: A Specification and Verification System, Proc. of IFIP Congress 80 (8th World Computer Congress), October 1980.Google Scholar
- AFFIRM Reference Manual (D. H. Thompson and R. W. Erickson, Editors), USC Information Sciences Institute, 1981.Google Scholar
- D. Kapur and G. Sivakumar, "Experiments with and Architecture of RRL, A Rewrite Rule Laboratory," in Proc. of an NSF Workshop on the Rewrite Rule Laboratory (J. V. Guttag, D. Kapur, D. R. Musser, eds.), GE-CRD Report 84GEN008, April, 1984. Google ScholarDigital Library
Recommendations
Reusing Specifications in OO Applications
Reuse in the early development phases of an application can reduce the effort of producing specifications and improve their quality. The paper presents the requirement specification phase for object-oriented applications under a reuse approach. Object-...
Reusing Software: Issues and Research Directions
Software productivity has been steadily increasing over the past 30 years, but not enough to close the gap between the demands placed on the software industry and what the state of the practice can deliver nothing short of an order of magnitude increase ...
Behavioural specification for hierarchical object composition
Formal methods for components and objectsBehavioural specification based on hidden (sorted) algebra constitutes one of the most promising recently developed formal specification and verification paradigms for system development.Here we formally introduce novel concepts of behavioural object ...
Comments