Modularity and the rule of adaptation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3116, Issue , 2004, Pages 394-408

  Pierik, Gees ^a,c   De Boer, Prank S ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

^c LEIDEN UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

HOARE LOGIC; OBJECT ORIENTED PARADIGM; OBJECT-ORIENTED PROGRAM; RULE OF ADAPTATION;

OBJECT ORIENTED PROGRAMMING;

EID: 25844508199     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27815-3_31     Document Type: Article

References (16)

1. de Boer, P., Pierik, C.: Computer-aided specification and verification of annotated object-oriented programs. In Jacobs, B., Rensink, A., eds.: FMOODS V, Kluwer Academic Publishers (2002) 163-177
2. Bijlsma, A., Matthews, P., Wiltink, J.: A sharp proof rule for procedures in wp semantics. Acta Informatica 26 (1989) 409-419
3. Catano, N., Huisman, M.: Chase: a static checker for JML's assignable clause. In: Verification, Model Checking and Abstract Interpretation (VMCAI '03). Volume 2575 of LNCS. (2003) 26-40
4. Greenhouse, A., Boyland, J.: An object-oriented effects system. In Guerraoui, R., ed.: Proc. of ECOOP '99. Volume 1628 of LNCS. (1999) 205-229
5. Hoare, C.: Procedures and parameters:an axiomatic approach. In Engeler, E., ed.: Symp. on Semantics of Algorithmic Languages. Volume 188 of Lecture Notes in Mathematics. (1971) 102-116
6. Huisman, M.: Reasoning about Java programs in higher order logic with PVS and Isabelle. PhD thesis, Katholieke Universiteit Nijmegen (2001)
7. Kleymann, T.: Hoare logic and auxiliary variables. Formal Aspects of Computing 11 (1999) 541-566
8. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06u, Department of Computer Science, Iowa State University (2003)
9. Naumann, D.A.: Calculating sharp adaptation rules. Information Processing Letters 7 (2000) 201-208
10. von Oheimb, D.: Hoare logic for Java in Isabelle/HOL. Concurrency and Computation: Practice and Experience 13 (2001) 1173-1214
11. Olderog, E.R.: On the notion of expressiveness and the rule of adaptation. Theoretical Computer Science 24 (1983) 337-347
12. Pierik, C., de Boer, P.S.: A rule of adaptation for OO. Technical Report UU-CS2003-032, Institute of Information and Computing Sciences, Utrecht University, The Netherlands (2003)
13. Pierik, C., de Boer, P.S.: A syntax-directed Hoare logic for object-oriented programming concepts. In Najm, E., Nestmann, U., Stevens, P., eds.: Formal Methods for Open Object-Based Distributed Systems (FMOODS) VI. Volume 2884 of LNCS. (2003) 64-78
14. Poetzsch-Heffter, A., Müller, P.: A programming logic for sequential Java. In Swierstra, S.D., ed.: ESOP '99. Volume 1576 of LNCS. (1999) 162-176
15. Reus, B., Wirsing, M., Hennicker, R.: A Hoare calculus for verifying Java realizations of OCL-constrained design models. In Hussmann, H., ed.: FASE 2001. Volume 2029 of LNCS. (2001) 300-317
16. Zwiers, J., Hannemann, U., Lakhnech, Y., de Roever, W.P., Stomp, F.: Modular completeness: Integrating the reuse of specified software in top-down program development. In: Formal Methods Europe, FME'96 Symposium. Volume 1051 of LNCS. (1996) 595-608