Formal approach for handling software evolution in component-based software developments

International Workshop on Principles of Software Evolution (IWPSE)

Volumn 2000-January, Issue , 2000, Pages 262-271

  Iida, Shusaku ^a   Futatsugi, Kokichi ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; BEHAVIOURAL SPECIFICATIONS; COMPONENT BASED; COMPONENT-BASED SOFTWARE DEVELOPMENT; FORMAL APPROACH; FORMAL SPECIFICATION TECHNIQUES; NON-FUNCTIONAL ASPECTS; SOFTWARE EVOLUTION;

FORMAL SPECIFICATION;

EID: 28844439279     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPSE.2000.913247     Document Type: Conference Paper

References (13)

1. F. Baader and T. Nipkow. Term Rewriting and Alt That. Cambridge University Press, 1998.
2. R. Diaconescu and K. Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Orientd Algebraic Specification, volume 6 of AMAST Series in Computing. World Scientific, 1998.
3. K. Futatsugi. An overview of Cafe specification environment - an algebraic approach for creating, verifying and maintaining formal specifications over the net-. In First IEEE International Conference on Formal Engineering Methods. IEEE, 1997.
4. J. Goguen and G. Malcolm. A hidden agenda. Technical Report CS97-538, UCSD Technical Report, April 1997. http://www-cse.ucsd.edu/users/goguen/pubs/index.html.
5. R. Hennicker. Context induction: a proof principle for behavioural abstractions. In A. Miola, editor, Design and Implementation of Symbolic Computation Systems. International Symposium DISCO 1990, number 429 in LNCS. Springer-Verlag, 1990.
6. S. Iida. A Formal Method for Distributed Systems based on Algebraic Specification. PhD thesis, Japan Advanced Institute of Science and Technology, 1999.
7. S. Iida, K. Futatsugi, and R. Diaconescu. Componentbased algebraic specifications. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems, pages 105-121. Kluwer Academic Publishers, 1999.
8. S. Iida, M. Matsumoto, R. Diaconescu, K. Futatugi, and D. Lucanu. Concurrent object composition in CafeOBJ. Technical Report IS-RR-98-0009S, Japan Advanced Institute of Science and Technology, 1998.
9. M. Matsumoto and K. Futatsugi. Test set coinduction - toward automated verification of behavioural properties-. In Proc. of Second International Workshop on Rewriting Logic and It's applications (WRLA'98), volume 15 of Electronic Notes in Theoretical Computer Science, 1998.
10. M. Matsumoto and K. Futatsugi. Highly reliable component-based software development by using algebraic behavioral specification. In Proc. of 3rd IEEE International Conference on Formal Engineering Methods (ICFEM'2000), pages 35-43. IEEE, 2000.
11. K. J. Sullivan and M. Marchukov. Technical Report 97-11, Dept. of Computer Science, University of Virginia, 1997.
12. K. J. Sullivan and J. Socha. Using formal methods to reason about architectural standards. In Proc. of the 19th International Conference on Software Engineering, pages 503-513, 1997.
13. M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, HANDBOOK OF THEORETICAL COMPUTER SCIENCE, chapter 13. Elsevier Science Publishers B. V., 1990.