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

3 Making executable interface specifications more expressive – P M€uller, J Meyer, A Poetzsch-Heffter - 1999
3 Testing components – N Soundarajan, B Tyler - 2001
2 Object constraint language. http://www-4.ibm.com/ software/ad/library/standards/ocl.html – IBM
1 Abstract State Machines. http://www.eecs. umich.edu/gasm – J Huggins - 2001
1 Machine Systems 2002. JMSAssert. Available from http:// www.mmsindia.com/JMSAssert.html – Man
1 received his Ph.D. from the University of Texas at Austin in 1992. He was an Assistant Professor in the Computer Science Department at the University of Idaho from – Michael Barnett - 1992
14 Contracts, Components, and their Runtime Verification on the .NET Platform – Mike Barnett, Wolfram Schulte - 2002
4 Toward Industrial Strength Abstract State Machines – Y Gurevich, W Schulte, M Veanes - 2001
24 A Framework for Practical, Automated Black-Box Testing of Component-Based Software – Stephen H. Edwards - 2001
37 Adding Contracts to Java with Handshake – Andrew Duncan , Urs Hölzle - 1998
5 Modular Specification of Frame Properties in JML – Peter Müller, Arnd Poetzsch-heffter, Gary T. Leavens - 2001
20 A Run-time Assertion Checker for Java using JML – Abhay Bhorkar - 2000
27 Spying on Components: A Runtime Verification Technique – Mike Barnett, Wolfram Schulte - 2001
43 Combination and Implementation of Processes and Data: from CSP-OZ to Java – Clemens Fischer, Fachbereich Informatik, Des Fachbereichs Informatik - 2000
16 Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering – Gerald Gannod, Betty H. C. Cheng - 1996
82 Ei el: The Language. The Object-Oriented Series – B Meyer - 1992
60 jContractor: A Reflective Java Library to Support Design By Contract – Murat Karaorman, Urs Hölzle, John Bruno - 1998
42 Contract Soundness for Object-Oriented Languages – Robert Bruce Findler, Matthias Felleisen - 2001
36 The Greybox Approach: When Blackbox Specifications Hide Too Much – Martin Büchi, Wolfgang Weck - 1999