Evolutionary development of object behaviors

International Workshop on Principles of Software Evolution (IWPSE)

Volumn 2000-January, Issue , 2000, Pages 68-77

  Itou, Kei ^a   Katayama, Takuya ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT EXECUTIONS; COLLABORATION DIAGRAM; COLLECTIVE BEHAVIOR; EVOLUTIONARY DEVELOPMENT; INDIVIDUAL OBJECTS; OBJECT ORIENTED DEVELOPMENT; REGULAR EXPRESSIONS; SYSTEM BEHAVIORS;

OBJECT ORIENTED PROGRAMMING;

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

References (8)

1. L. Accto and M. Hennessy. Adding action refinement to a finite process algebra. Information and Computation, 115:179-247, 1994.
2. R. H. Campbell and A. N. Habermann. The specification of process synchronization by path expressions. Lecture Notes in Computer Science, (16): 89-102, 1973.
3. V. K. Garg and M. T. Ragunath. Concurrent regular expressions and their relationship to petri nets. Theoretical Computer Science, 96:285-304, 1992.
4. D. Harel, A. Pnueli, J. P. Schmid, and R. Sherman. On the formal semantics of statecharts. Proc of 2nd IEEE Symposium on Logic in Computer Science, pages 54-64, 1987.
5. K. Itou and T. Katayama. Evolution of object systems by rewriting behavior expressions. International Workshop on Principles of Software Evolution, pages 113-117, 1999.
6. R. Milner. Communication and Concurrency. Prentice Hall Intl. Ltd, 1989.
7. C. Morgan and T. V. (Eds.). On the Refinement Calculus. Springer-Verlag, 1992.
8. N. Yoshioka, M. Suzuki, and T. Katayama. Incremental software development method based on abstract interpretation. Proc. of IWSSD'98, pages 126-134, 1998.