Abstract
The paper describes an experience of software engineering education concerning the guidance of students project during about ten years. The project aims mainly at putting into practice the concepts, methods and techniques taught in a software engineering course through the development -by teams of students- of an actual, practical, real-size case. The concerned course involves several advanced topics, e.g., semi-formal requirements, formal specifications, transformational development process, Object-Oriented design,... which are sometimes considered as purely academic topics. Therefore, the main feature of the students project is to illustrate the applicability of these topics in a realistic project and thus to achieve an integration of modern techniques with more classical ones.
Preview
Unable to display preview. Download preview PDF.
References
F. Baker. Chief programming team management of production programming. IBM Journal, 11(1):58, 1972.
R. Balzer. Transformational Implementation: an Example. IEEE Transactions on Software Engineering, 7(1):3–14, 1981.
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.
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.
R. Balzer, N. Goldman, and D. Wile. Operational Specification as the Basis for Rapid Prototyping. ACM Sigsoft Software Engineering Notes, 7(5):3–16, 1982.
D. Bjørner and C.B. Jones. The Vienna Development Method. The metalanguage, volume 61 of LNCS. Springer-Verlag, 1978.
F. Bodart and Y. Pigneur. Conception assistée des applications informatiques. Première partie: Etude d'opportunité et analyse conceptuelle. Masson, Paris, 1983.
B. Boehm. Software engineering. IEEE Transactions on Computers, 25(12), 1976.
G. Booch. Object Oriented Design with Applications. The Benjamin Cunnings Publishing Company, 1991.
Richard E. Fairley. Software Engineering Concepts. Mc Graw-Hill, 1984.
C. Ghezzi. Fundamentals of Software Engineering. Prentice Hall, 1991.
Raise Language Group. The RAISE Specification Language. BCS Practitioner Series. Prentice-Hall, 1992.
Ian Hayes. Specification case studies. Prentice-Hall International, 1987.
M.A. Jackson. System Development. Prentice-Hall, 1983.
C.B. Jones. Systematic Software Development Using VDM. Prentice-Hall Series in Computer Science. Prentice-Hall, 1986.
G. Longworth and D. Nicholls. SSADM manual. Technical report, National Computing Center, UK, 1987.
T. De Marco. Structured Analysis and System Specification. Prentice Hall, Englewood Cliffs, N.J., 1981.
D.L. Parnas. On the criteria to be used in decomposing systems into modules. Commuications of the ACM, 15(12), 1972.
D.L. Parnas. A technique for software module specification with examples. Commuications of the ACM, 15(5), 1972.
A. Rochfeld and H. Tardieu. MERISE: an information system design and development methodology. Information & Management, 6(3):143–159, June 1983.
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.
Amílcar 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.
J.M. Spivey. The Z notation — a reference manual. Prentice-Hall International, 1989.
H. Tardieu, A. Rochfeld, R. Coletti, G. Panet, and G. Vahee. La méthode MERISE vol 1 and 2. Editions Hommes et Techniques, Paris, 1985.
A. van Lamsweerde. Cadre général pour un modèle de cycle de vie d'un projet informatique. Technical report, University of Namur, Namur (Belgium), 1985.
A.I. Wasserman, P.A. Pircher, and D.T. Shewmake. Building reliable interactive information systems. IEEE Transactions on Software Engineering, 12(1), 1986.
A.I. Wasserman, P.A. Pircher, 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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Habra, N., Dubois, E. (1993). Putting into practice advanced software engineering techniques through students project. In: Díaz-Herrera, J.L. (eds) Software Engineering Education. CSEE 1994. Lecture Notes in Computer Science, vol 750. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017622
Download citation
DOI: https://doi.org/10.1007/BFb0017622
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57461-3
Online ISBN: 978-3-540-48191-1
eBook Packages: Springer Book Archive