Bridging the gap between algebraic specification and object-oriented generic programming

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

Volumn 5779 LNCS, Issue , 2009, Pages 115-131

  Nunes, Isabel ^a   Lopes, Antónia ^a   Vasconcelos, Vasco T ^a  

^a UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC SPECIFICATIONS; ALGORITHMS AND DATA STRUCTURES; CONFORMANCE CHECKING; FORMAL SPECIFICATION; GENERIC COMPONENTS; GENERIC JAVA; GENERIC PROGRAMMING; GENERICITY; JAVA PROGRAM; OBJECT ORIENTED; OBJECT-ORIENTED LANGUAGES; OBJECT-ORIENTED PROGRAM; PARAMETERIZED; REFINEMENT MAPPING; RUNTIMES;

ALGEBRA; COMPUTER SOFTWARE; DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

OBJECT ORIENTED PROGRAMMING;

EID: 70549084008     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04694-0_9     Document Type: Conference Paper

References (22)

1. Antoy, S., Gannon, J.: Using term rewriting to verify software. IEEE Transactions on Software Engineering 4(20), 259-274 (1994)
2. Antoy, S., Hamlet, R.: Automatically checking an implementation against its formal specification. IEEE Transactions on Software Engineering 26(1), 55-69 (2000)
3. Aspinall, D., Sannella, D.: From specifications to code in CASL. In: Kirchner, H., Ringeis-sen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 1-14. Springer, Heidelberg (2002)
4. Barnett, M., Schulte, W.: Spying on components: A runtime verification technique. In: Proc. Workshop on Specification and Verification of Component-Based Systems 2001 (2001)
5. Barnett, M., Schulte, W.: Runtime verification of .NET contracts. Journal of Systems and Software 65(3), 199-208 (2003)
6. Bidoit, M., Mosses, P.: CASL User Manual. LNCS, vol. 2900. Springer, Heidelberg (2004)
7. Bidoit, M., Sannella, D., Tarlecki, A.: Architectural specifications in CASL. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol. 1548, pp. 341-357. Springer, Heidelberg (1998)
8. Chen, F., Rosu, G.: Java-MOP: A monitoring oriented programming environment for Java. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 546-550. Springer, Heidelberg (2005)
9. Chen, F., Tillmann, N., Schulte, W.: Discovering specifications. Technical Report MSR-TR-2005-146, Microsoft Research (2005)
10. Contract based system development, http://gloss.di.fc.ul.pt/congu/
11. Edwards, S., Shakir, G., Sitaraman, M., Weide, B., Hollingsworth, J.: A framework for detecting interface violations in component-based software. In: Proc. International Conference on Software Reuse (ICSR) 1998, pp. 46-55 (1998)
12. Henkel, J., Reichenbach, C., Diwan, A.: Discovering documentation for Java container classes. IEEE Transactions on Software Engineering 33(8), 526-543 (2007)
13. Leavens, G., Cheon, Y.: Design by contract with JML (2006), http://www.eecs.ucf.edu/~leavens/JML/jmldbc.pdf
14. Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the design of JML accommodates both runtime assertion checking and formal verification. Science of Computer Programming 55(1-3), 185-208 (2005)
15. Machado, P.L., Sannella, D.: Unit testing for CASL architectural specifications. In: Diks, K., Rytter, W. (eds.) MFCS 2002. LNCS, vol. 2420, pp. 506-518. Springer, Heidelberg (2002)
16. Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall PTR, Englewood Cliffs (1997)
17. Meyer, B.: Eiffel as a framework for verification. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 301-307. Springer, Heidelberg (2008)
18. Nikolik, B., Hamlet, D.: Practical ultra-reliability for abstract data types. Software Testing, Verification and Reliability 17(3), 183-203 (2007)
19. Nunes, I., Lopes, A., Vasconcelos, V., Abreu, J., Reis, L.: Testing implementations of algebraic specifications with design-by-contract tools. DI/FCUL TR 05-22 (2005)
20. Nunes, I., Lopes, A., Vasconcelos, V.T., Abreu, J., Reis, L.S.: Checking the conformance of Java classes against algebraic specifications. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 494-513. Springer, Heidelberg (2006)
21. Stenzel, K., Grandy, H., Reif, W.: Verification of java programs with generics. In: Meseguer, J., Roşu, G. (eds.) AMAST 2008. LNCS, vol. 5140, pp. 315-329. Springer, Heidelberg (2008)
22. Yu, B., King, L., Zhu, H., Zhou, B.: Testing Java components based on algebraic specifications. In: Proc. International Conference on Software Testing, Verification and Validation, pp. 190-198. IEEE, Los Alamitos (2008)