A formal approach to component-based software engineering: Education and evaluation

Proceedings - International Conference on Software Engineering

Volumn 2001-May, Issue , 2001, Pages 601-609

  Sitaraman, Murali ^a   Long, Timothy J ^b   Weide, Bruce W ^b   Harner, E James ^c   Wang, Liqing ^c  

^a CLEMSON UNIVERSITY   (United States)

^b OHIO STATE UNIVERSITY   (United States)

^c WEST VIRGINIA UNIVERSITY   (United States)

Author keywords

Components; Formal specifications; Objects; Reasoning; Software engineering; Statistical evaluation

Indexed keywords

BEHAVIORAL RESEARCH; COMPUTER SOFTWARE REUSABILITY; ENGINEERING EDUCATION; SOFTWARE DESIGN; STUDENTS; TEACHING; COMPUTER AIDED INSTRUCTION; COMPUTER SCIENCE; COMPUTER SOFTWARE MAINTENANCE; CURRICULA; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; QUALITY FUNCTION DEPLOYMENT; STATISTICAL METHODS;

COMPONENT; COMPONENT-BASED SOFTWARE ENGINEERING; ENGINEERING EVALUATIONS; FORMAL APPROACH; OBJECT; REASONING; SOFTWARE ENGINEERING EDUCATION; STATISTICAL EVALUATION; STUDENT ATTITUDES; UNDERGRADUATE CS CURRICULUM; COMPONENT BASED SOFTWARE ENGINEERING; COMPUTER SCIENCE CURRICULUM; FORMAL SPECIFICATIONS;

FORMAL SPECIFICATION; COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0035024117     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2001.919134     Document Type: Conference Paper

References (12)

1. “Special Feature: Component-Based Software Using RESOLVE, ” ACM SIGSOFT Software Engineering Notes 19, No. 4, Eds. M. Sitaraman and B. W.Weid6 October 1994, 21-67.
2. Ford, G, SEI Report on Undergraduate Software Engineering Education, CMUISEI-90-TR-003 ADA223881, 1990.
3. Pamas, D.L., “Teaching Programming as Engineering”, in ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Bowen J.P., Hinchey M.G. (eds.), Lecture Notes in Computer Science 967, Springer-Verlag, 1995, pp. 47 1-481.
4. Tomer, T.S., Baldwin, D., and Fox, C. J., “Integration of Mathematical Topics in CSI and CS2, ” Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, ACM, 1998, 364-365.
5. Weide, B.W., Software ComponentEngineering, OSU Reprographics, Columbus, OH, 1996.
6. Sitaraman, M., An Introduction to Sofhval-e Engineering Using Properly Conceptualized Objects, WVU Publications, Morgantown, WV, 1997.
7. Long, T.J., Weide, B. W., Bucci, P., Gibson, D. S., Hollingsworth, J., Sitaraman, M., and Edwards, S., “Providing Intellectual Focus to CS1ICS2, ” Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, ACM, 1998, 252-256.
8. Long, T.J., Weide, B. W., Bucci, P., and Sitaraman, M., “Client-View First: An Exodus from Implementation-Biased Teaching”, Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, ACM, 1999, 136-140.
9. Software Engineering Education, Eds. Coulter, N.S., Gibbs, N. E., Annals of Software Engineering 6, 1998 (1-90, 365-453).
10. Sitaraman, M., Atkinson, S., Kulczycki, G., Weide, B. W., Long, T. J., Bucci, P., Hew, W., Pike, S., and Hollingsworth, J. E., “Reasoning About Software-Component Behavior, ” in Frakes, W.B., ed., Software Reuse: Advances in Software Reusability (Proceedings Sixth International Conference on Software Reuse), Springer-Verlag LNCS 1844, 2000, 266-283.
11. Sitaraman, M., Weide, B. W., Long, T.J., Ogden, W. F., “A Data Abstraction Altemative to Data StructureIAlgorithm Modularization, ” LNCS I766 Volumeon GenericProgramming, Eds. D. Musser and M. Jazayeri, Springer-Verlag, 2000, 102-113.
12. Edwards, S., Shakir, G., Sitaraman, M., Weide, B. W., and Hollingsworth, J., “A Framework for Detecting Interface Violations in Component-Based Software, ”Proceedings of the Ffth International Conference on Sofmare Reuse, IEEE Computer Society Press, Victoria, Canada, June 1998, pp. 46-55.