Efficient recovery of algebraic specifications for stateful components

9th International Workshop on Principles of Software Evolution, IWPSE 2007, Held in Conjunction with the 6th ESEC/FSE Joint Meeting

Volumn , Issue , 2007, Pages 98-105

  Ghezzi, Carlo ^a   Mocci, Andrea ^a   Monga, Mattia ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; REVERSE ENGINEERING; SEMANTICS; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; BEHAVIORAL MODEL; BLACK BOXES; DATA ABSTRACTION; DYNAMIC BEHAVIORS; PRELIMINARY ASSESSMENT; SEMANTIC DESCRIPTIONS; SEMANTIC PARTS;

RECOVERY;

EID: 77950536883     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1294948.1294972     Document Type: Conference Paper

References (14)

1. Briand, L. C., Labiche, Y., and Miao, Y. Towards the reverse engineering of uml sequence diagrams. In IEEE Working Conference on Reverse Engineering (WCRE'03) (2003), pp. 57-66.
2. CoFI (The Common Framework Initiative). Casl Reference Manual. LNCS 2960 (IFIP Series). Springer, 2004.
3. Dallmeier, V., Lindig, C., Wasylkowski, A., and Zeller, A. Mining object behavior with Adabu. In WODA 2006: ICSE Workshop on Dynamic Analysis (May 2006).
4. Diaconescu, R., Futatsugi, K., and Iida, S. Component-based algebraic specification and verification in CafeOBJ. In World Congress on Formal Methods (1999), pp. 1644-1663.
5. Ernst, M. D. Dynamically Discovering Likely Program Invariants. Ph.D., University of Washington Department of Computer Science and Engineering, Seattle, Washington, Aug. 2000.
6. Goguen, J. A., Thatcher, J. W., and Wagner, E. W. An initial algebra approach to the specification, correctness and implementation of abstract data types. In Current Trends in Programming Methodology, Volume 4:Software Specification and Design, R. T. Yeh, Ed. Prentice Hall, 1978, ch. 5, pp. 80-149.
7. Guttag, J., and Liskov, B. Program Development in Java: Abstraction, Specification and Object-Oriented Design. Addison-Wesley, 2001.
8. Guttag, J. V., and Horning, J. J. The algebraic specification of abstract data types. Acta Informatica 10, 1 (1978).
9. Henkel, J., and Diwan, A. Discovering algebraic specifications from Java classes. In ECOOP 2003 - Object-Oriented Programming, 17th European Conference (Darmstadt, July 2003), L. Cardelli, Ed., Springer.
10. Leavens, G. T., Baker, A. L., and Ruby, C. JML: A notation for detailed design. In Behavioral Specifications of Businesses and Systems, H. Kilov, B. Rumpe, and I. Simmonds, Eds. Kluwer Academic Publishers, 1999, pp. 175-188.
11. Meyer, B. Design by Contract: The Eiffel Method. In TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems (1998), p. 446.
12. O'Callahan, R., and Jackson, D. Lackwit: a program understanding tool based on type inference. In ICSE '97: Proceedings of the 19th international conference on Software engineering (New York, NY, USA, 1997), ACM Press, pp. 338-348.
13. Rountev, A., and Connell, B. H. Object naming analysis for reverse-engineered sequence diagrams. In International Conference on Software Engineering (2005), pp. 254-263.
14. Sagiv, M., Reps, T., and Wilhelm, R. Parametric shape analysis via 3-valued logic. In Symposium on Principles of Programming Languages (1999), pp. 105-118.