Putting into practice advanced software engineering techniques through students project

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 750 LNCS, Issue , 1994, Pages 303-316

  Habra, Naji ^a   Dubois, Eric ^a  

^a UNIVERSITY OF NAMUR   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

CURRICULA; ENGINEERING EDUCATION; OBJECT ORIENTED PROGRAMMING; STUDENTS;

ADVANCED SOFTWARES; DEVELOPMENT PROCESS; ENGINEERING TECHNIQUES; MODERN TECHNIQUES; OBJECT ORIENTED DESIGN; REAL SIZES; REALISTIC PROJECTS; SOFTWARE ENGINEERING COURSE;

SOFTWARE ENGINEERING;

EID: 0346978359     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0017622     Document Type: Conference Paper

References (27)

1. F. Baker. Chief programming team management of production programming. IBM Journal, 11(1):58, 1972.
2. R. BMzer. Transformational Implementation: an Example. IEEE Transactions on Software Engineering, 7(1):3-14, 1981.
3. R. Balzer, D. Cohen, M.S. Feather, N. Goldman, W. Swartout, and D. Wile. Operational Specification as the Basis for Specification Validation. In D. Ferrari, M. Bolognani, and J. Goguen, editors, Theory and Practice of Software Technology, pages 21-49. North-Holland, 1983.
4. R. Balzer, N. Goldman, and D. Wile. On the Transformational Implementation Approach to Programming. In Proc. Second IEEE International Conference on Software Engineering, pages 337-349, San Francisco, CA, USA, October 1976. The CS IEEE Press.
5. R. Balzer, N. Goldman, and D. Wile. Operational Specification as the Basis for Rapid Prototyping. A CM Sigsoft Software Engineering Notes, 7(5):3-16, 1982.
6. D. Bjørner and C.B. Jones. The Vienna Development Method. The metalanguage, volume 61 of LNC 5. Springer-Verlag, 1978.
7. F. Bodart and Y. Pigneur. Conception assistde des applications informatiques. Première pattie: Etude d’opportunitg et analyse conceptuelle. Masson, Paris, 1983.
8. B. Boehm. Software engineering. IEEE Transactions on Computers, 25(12), 1976.
9. G. Booch. Object Oriented Design with Applications. The Benjamin Cunnings Publishing Company, 1991.
10. Richard E. Fairley. Software Engineering Concepts. Mc Graw-Hill, 1984.
11. C. Ghezzi. Fundamentals of Software Engineering. Prentice Hall, 1991.
12. Raise Language Group. The RAISE Specification Language. BCS Practitioner Series. Prentice-Hall, 1992.
13. Ian Hayes. Specification case studies. Prentice-Hall International, 1987.
14. M.A. Jackson. System Development. Prentice-Hall, 1983.
15. C.B. Jones. Systematic Software Development Using VDM. Prentice-Hall Series in Computer Science. Prentice-Hall, 1986.
16. G. Longworth and D. Nicholls. SSADM manual. Technical report, National Computing Center, UK, 1987.
17. T. De Marco. Structured Analysis and System Specification. Prentice Hall, Englewood Cliffs, N.J., 1981.
18. D.L. Parnas. On the criteria to be used in decomposing systems into modules. Commuications of the ACM, 15(12), 1972.
19. D.L. Parnas. A technique for software module specification with examples. Commuications of the ACM, 15(5), 1972.
20. A. Rochfeld and H. Tardieu. MERISE: an information system design and development methodology. Information Management, 6(3):143-159, June 1983.
21. A. Sernadas, C. Sernadas, and H.-D. Ehrich. Abstract object types: a temporal perspective. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Proc. of the colloquium on temporal logic and specification, pages 324-350. LNCS 398, Springer-Verlag, 1989.
22. Amflcar Sernadas, Cristina Sernadas, and Hans-Dieter Ehrich. Object-oriented specification of databases: an algebraic approach. In Peter Hammersley, editor, Proceedings of the 13th international conference on very large data bases, pages 107-116, Brighton (UK), September 1-4, 1987.
23. J.M. Spivey. The Z notation-a reference manual. Prentice-Hall International, 1989.
24. H. Tardieu, A. Rochfeld, R. Coletti, G. Panet, and G. Vahee. La mdthode MERISE vol 1 and 2. Editions Hommes et Techniques, Paris, 1985.
25. A. van Lamsweerde. Cadre général pour un module de cycle de vie d’un projet informatique. Technical report, University of Namur, Namur (Belgium), 1985.
26. A.I. Wasserman, P.A. Pitcher, and D.T. Shewmake. Building reliable interactive information systems. IEEE Transactions on Software Engineering, 12(1), 1986.
27. A.I. Wasserman, P.A. Pitcher, D.T. Shewmake, and M.L. Kersten. Developing interactive information systems with the user software engineering methodologie. IEEE Transactions on Software Engineering, 12(2), 1986.