A formal approach for specification and classification of software components

ACM International Conference Proceeding Series

Volumn 27, Issue , 2002, Pages 773-780

  Nakkrasae, Sathit ^a,b   Sophatsathit, Peraphon ^b  

^a UNIVERSITY OF LOUISIANA AT LAFAYETTE   (United States)

^b CHULALONGKORN UNIVERSITY   (Thailand)

Author keywords

classification; component identification; reuse; software certification; specification

Indexed keywords

COMPONENT IDENTIFICATION; COMPONENT REUSE; DEVELOPMENT COSTS; FORMAL APPROACH; OBJECT-ORIENTED PARADIGM; SOFTWARE CERTIFICATION; SOFTWARE COMPONENT; SYSTEM DEVELOPMENT;

COST REDUCTION; KNOWLEDGE ENGINEERING; SOFTWARE ENGINEERING; SPECIFICATIONS;

COMPUTER SOFTWARE REUSABILITY;

EID: 77953772556     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/568760.568892     Document Type: Conference Paper

References (27)

1. Amy Moormann Zaremski, and Jeannette M. Wing. Specification Matching of Software Components. ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 4, October 1997, 333-369.
2. th International Conference on Technology of Object-Oriented Languages and Systems, TOOLS-Pacific 2000, 266-277.
3. nd Edition. Prentice Hall, England, 1996.
4. G. Caldiera, and V. R. Basili. Identifying and qualifying reusable software components. Computer, Volume: 24 Issue:2,Feb. 1991,61-70.
5. st Annual International Computer Software and Applications Conference, 1997, COMPSAC '97, 264-269.
6. nd International Workshop on Advances in Software Reuse Software Reusability, 1993, 99-108.
7. Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley, England. 1998.
8. SA. Ehikioya. A formal model for the reuse of software specifications. In IEEE Canadian Conference on Electrical and Computer Engineering, 1999, Volume: 1, 283-288.
9. S.B.Hong, and Kapsu Kim. Classifying and retrieving software components based on profiles. In Proceedings of International Conference on Information, Communications and Signal Processing (ICICS), 1997, Volume: 3, 1756-1760.
10. M. Jeannette Wing. A specifier's Introduction to Formal Methods. IEEE Computers, September 1990, pp. 8-24.
11. Jun-Jang Jeng, and B.H.C. Cheng. Using Formal Methods to Construct a Software Component Library. In Lecture Notes in Computer Science, vol. 717. In Proceedings of the 4th European Software Engineering Conference, September 1993, 397-417.
12. Kevin Lano, and Howard Haughton. Object-Oriented Specification Case Studie. Printice Hall, England.
13. Klaus Bergner, Andreas Rausch, and Marc Sihling. Componentware-The big picture, http://www.sei.cmu.edu/cbs/icse98/papers/p6.html, present at the 1998 International Workshop on Component-Based Software Engineering.
14. Y. S. Maarek, D. M. Berry, and G.E. Kaiser. An Information Retrieval Approach for Automatic Constructing Software Libraries. IEEE Transactions on Software Engineering, August 1991, 800-813.
15. Meilir page-jones. Fundamentals of Object-Oriented Design in Uml. Addison-Wesley, United states, 2000.
16. J. Morris, G. Lee, K. Parker, G.A. Bundell, and Chiou Peng Lam. Software component certification. Computer, Volume: 34 Issue: 9, Sept. 2001, 30-36.
17. F. Nishida, S. Takamatsu, Y. Fujita, and T. Tani. Semi-Automatic Program Construction from Specification Using Library Modules. IEEE Transactions on Software Engineering, 1991,853-870.
18. rd International Conference on Software Reuse: Advances in Software Reusability, 1994, 126-138.
19. th Editon. The McGraw-Hill Companies, Inc., United States, 1997.
20. nd IEEE International Conference on Engineering of Complex Computer Systems, 1996,120-123.
21. th Asia-Pacific Software Engineering Conference, APSEC 2000, 408-415.
22. Stephen H. Edwards, David S. Gibson, Bruce W. Weide, and Sergey Zhupanov. Software Component Relationships, http://www.umcs.maine.edu/~ftp/wisr/wisr8/ papers/edwards/edwards.html.
23. th Mediterranean Electrotechnical Conference, 1991,1045-1048.
24. J.M. Voas. Certifying off-the-shelf software components. Computer, Volume: 31 Issue: 6, June 1998, 53-59.
25. th International Conference on Software Reuse, 1998, 56-65.
26. C. Wohlin, and P. Runeson. Certification of software components. IEEE Transactions on Software Engineering, Volume: 20 Issue: 6, June 1994, 494-499.
27. J. C. P. Woodcock. Structuring specifications in Z. Software Engineering Journal, Volume: 4 Issue: 1, Jan. 1989,51-66.