Ensuring Correctness of Java Frameworks: A Formal Look at JCF (1999)

by Anna Mikhajlova , Emil Sekerinski
Citations:1 - 0 self

Documents Related by Co-Citation

830 The B-Book: Assigning Programs to Meanings – J-R Abrial - 1996
506 The Object Constraint Language, Precise Modeling with UML – J Warmer, A Kleppe - 1999
5962 Design Patterns: Elements of Reusable ObjectOriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
425 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
419 Evolving algebras 1993: Lipari guide – Y Gurevich - 1993
287 Refinement Calculus: A Systematic Introduction – R-J Back, J von Wright - 1998
144 Contracts: Specifying Behavioral Compositions in Object-Oriented Systems – R Helm, I M Holland, D Gangopadhyay - 1990
118 iContract - The Java Design by Contract Tool – Reto Kramer - 1998
114 Software Reliability via Run-Time Result-Checking – Manuel Blum, Hal Wasserman - 1994
109 Specifying reusable components using Contracts – Ian M. Holland - 1992