Highly reliable component-based software development by using algebraic behavioral specification

ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods

Volumn , Issue , 2000, Pages 35-43

  Matsumoto, M ^a,b   Futatsugi, K ^a  

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

^b Solid square Bldg East Tower 580   (Japan)

Author keywords

Computer architecture; Connectors; Costs; Information science; Java; Productivity; Programming; Software architecture; Testing

Indexed keywords

ALGEBRA; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; CONNECTORS (STRUCTURAL); COSTS; INFORMATION SCIENCE; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL PROGRAMMING; PRODUCTIVITY; SOFTWARE ARCHITECTURE; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS; TESTING;

BEHAVIORAL SPECIFICATION; COMPONENT-BASED SOFTWARE DEVELOPMENT; ENTERPRISE SYSTEM; HIGH RELIABILITY; JAVA; RELIABLE COMPONENTS; SOFTWARE PRODUCTIVITY; TREE ARCHITECTURES;

SOFTWARE DESIGN;

EID: 3543062674     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICFEM.2000.873803     Document Type: Conference Paper

References (19)

1. D. Batory and S. O'Malley. The design and implementation of hierarchical software systems with reusable components. ACM Transaction on Software Engineering and Methodology, 1(4):355-398, 1992.
2. M. Bidoit and R. Hennicker. Behavioural theories and the proof of behavioural properties. Theoretical Computer Science, 165:3-55, 1996.
3. S. Buss and G. Rosu. Incompleteness of behavioral logics. In Proceedings of the. Third Workshop on Coalgebraic Methods in Computer Science (CMCS'2000), volume 33 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2000.
4. K. Czarnecki and U. W. Eisenecker. Components and generative programming (in ESEC/FSE'99). Software Engineering Notes, 24(6):2-19, 1999.
5. R. Diaconescu and K. Futatsugi. CafeOBJ Report. AMAST Series in Computing 6. World Scientific, 1998.
6. D. Garlan, R. Allen, and J. Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE Software, 12(6):17-26, 1994.
7. J. Goguen. Theorem Proving and Algebra. MIT Press, to appear.
8. J. A. Goguen and G. Malcolm. A hidden agenda. Technical Report CS97-538, UCSD Technical Report, 1997.
9. S. Iida, M. Matsumoto, R. Diaconescu, K. Futatsugi, and D. Lucanu. Concurrent object composition in CafeOBJ. Technical Report IS-RR-98-0009S, Japan Advanced Institute of Science and Technology (JAIST), 1998.
10. J. Klop. Term rewriting systems. In Background: Computational Structures, volume 2 of Handbook of Logic in Computer Science, pages 1-116. Oxford Science Publications, 1992.
11. M. Matsumoto and K. Futatsugi. Test set coinduction - toward automated verification of behavioural properties -. In Proceedings of Second International Workshop on Rewriting Logic and It's applications, volume 15 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1998.
12. M. Matsumoto and K. Futatsugi. Object composition and refinement by using non-observable projection operators: A case study of the automated teller machine system. In OBJ/CafeOBJ/Maude at Formal Methods '99, pages 133-157. THETA, 1999.
13. M. Matsumoto and K. Futatsugi. Simply observable behavioral specification. In Proceedings of Asia-Pacific Software Engineering Conference'99, pages 460-467. IEEE, 1999.
14. M. Matsumoto and K. Futatsugi. The tool that supports highly reliable component-based software development. Technical Report IS-RR-2000-18, Japan Advanced Institute of Science and Technology (JAIST), 2000.
15. M. Mezini and K. Lieberherr. Adaptive plug-and-play components for evolutionary software development (in OOPSLA'98). ACM SIGPLAN Notices, 33(10):97-116, 1998.
16. D. L. Parnas. On the design and development of program families. IEEE Transactions on software engineering, 2(1):1-9, 1976.
17. Y. Smaragdakis and D. Batory. Implementing layered designs with mixin layers. In European Conference on Object-Oriented Programming'98, number 1445 in LNCS, pages 550-570. Springer-Verlag, 1998.
18. C. Szyperski. Component Software. Addison-Wesley, 1998.
19. M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, chapter 13, pages 676-788. Elsevier Science, 1990.