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

739 The B Book: Assigning Programs to Meanings – J R Abrial - 1996
5418 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
464 The Object Constraint Language: Precise Modeling with UML – J Warmer, A Kleppe - 1998
408 Evolving Algebras 1993: Lipari Guide – Y Gurevich - 1995
395 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
259 Re Calculus, A Systematic Introduction – R J R Back, J von Wright - 1997
135 Contracts: Specifying behavioral compositions in object-oriented systems – R Helm, I M Holland, D Gangopadhyay - 1990
109 iContract - the Java Design by Contract tool – Reto Kramer - 1998
106 Specifying reusable components using Contracts – Ian M. Holland - 1992
104 Software Reliability via Run-Time Result-Checking – Manuel Blum, Hal Wasserman - 1994