{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:00Z","timestamp":1725456180283},"publisher-location":"Berlin\/Heidelberg","reference-count":27,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574611"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017622","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:11:18Z","timestamp":1132639878000},"page":"303-316","source":"Crossref","is-referenced-by-count":10,"title":["Putting into practice advanced software engineering techniques through students project"],"prefix":"10.1007","author":[{"given":"Naji","family":"Habra","sequence":"first","affiliation":[]},{"given":"Eric","family":"Dubois","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"20_CR1","first-page":"58","volume":"11","author":"F. Baker","year":"1972","unstructured":"F. Baker. Chief programming team management of production programming. IBM Journal, 11(1):58, 1972.","journal-title":"IBM Journal"},{"issue":"1","key":"20_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TSE.1981.230814","volume":"7","author":"R. Balzer","year":"1981","unstructured":"R. Balzer. Transformational Implementation: an Example. IEEE Transactions on Software Engineering, 7(1):3\u201314, 1981.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"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\u201349. North-Holland, 1983.","DOI":"10.21236\/ADA141079"},{"key":"20_CR4","first-page":"337","volume-title":"On the Transformational Implementation Approach to Programming","author":"R. Balzer","year":"1976","unstructured":"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\u2013349, San Francisco, CA, USA, October 1976. The CS IEEE Press."},{"issue":"5","key":"20_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1006258.1006261","volume":"7","author":"R. Balzer","year":"1982","unstructured":"R. Balzer, N. Goldman, and D. Wile. Operational Specification as the Basis for Rapid Prototyping. ACM Sigsoft Software Engineering Notes, 7(5):3\u201316, 1982.","journal-title":"ACM Sigsoft Software Engineering Notes"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"D. Bj\u00f8rner and C.B. Jones. The Vienna Development Method. The metalanguage, volume 61 of LNCS. Springer-Verlag, 1978.","DOI":"10.1007\/3-540-08766-4"},{"key":"20_CR7","volume-title":"Conception assist\u00e9e des applications informatiques. Premi\u00e8re partie: Etude d'opportunit\u00e9 et analyse conceptuelle","author":"F. Bodart","year":"1983","unstructured":"F. Bodart and Y. Pigneur. Conception assist\u00e9e des applications informatiques. Premi\u00e8re partie: Etude d'opportunit\u00e9 et analyse conceptuelle. Masson, Paris, 1983."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"B. Boehm. Software engineering. IEEE Transactions on Computers, 25(12), 1976.","DOI":"10.1109\/TC.1976.1674590"},{"key":"20_CR9","unstructured":"G. Booch. Object Oriented Design with Applications. The Benjamin Cunnings Publishing Company, 1991."},{"key":"20_CR10","unstructured":"Richard E. Fairley. Software Engineering Concepts. Mc Graw-Hill, 1984."},{"key":"20_CR11","unstructured":"C. Ghezzi. Fundamentals of Software Engineering. Prentice Hall, 1991."},{"key":"20_CR12","unstructured":"Raise Language Group. The RAISE Specification Language. BCS Practitioner Series. Prentice-Hall, 1992."},{"key":"20_CR13","unstructured":"Ian Hayes. Specification case studies. Prentice-Hall International, 1987."},{"key":"20_CR14","unstructured":"M.A. Jackson. System Development. Prentice-Hall, 1983."},{"key":"20_CR15","unstructured":"C.B. Jones. Systematic Software Development Using VDM. Prentice-Hall Series in Computer Science. Prentice-Hall, 1986."},{"key":"20_CR16","volume-title":"Technical report","author":"G. Longworth","year":"1987","unstructured":"G. Longworth and D. Nicholls. SSADM manual. Technical report, National Computing Center, UK, 1987."},{"key":"20_CR17","volume-title":"Structured Analysis and System Specification","author":"T. Marco De","year":"1981","unstructured":"T. De Marco. Structured Analysis and System Specification. Prentice Hall, Englewood Cliffs, N.J., 1981."},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"D.L. Parnas. On the criteria to be used in decomposing systems into modules. Commuications of the ACM, 15(12), 1972.","DOI":"10.1145\/361598.361623"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"D.L. Parnas. A technique for software module specification with examples. Commuications of the ACM, 15(5), 1972.","DOI":"10.1145\/355602.361309"},{"issue":"3","key":"20_CR20","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0378-7206(83)90032-0","volume":"6","author":"A. Rochfeld","year":"1983","unstructured":"A. Rochfeld and H. Tardieu. MERISE: an information system design and development methodology. Information & Management, 6(3):143\u2013159, June 1983.","journal-title":"Information & Management"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"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\u2013350. LNCS 398, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51803-7_33"},{"key":"20_CR22","unstructured":"Am\u00edlcar 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\u2013116, Brighton (UK), September 1\u20134, 1987."},{"key":"20_CR23","unstructured":"J.M. Spivey. The Z notation \u2014 a reference manual. Prentice-Hall International, 1989."},{"key":"20_CR24","volume-title":"La m\u00e9thode MERISE vol 1 and 2","author":"H. Tardieu","year":"1985","unstructured":"H. Tardieu, A. Rochfeld, R. Coletti, G. Panet, and G. Vahee. La m\u00e9thode MERISE vol 1 and 2. Editions Hommes et Techniques, Paris, 1985."},{"key":"20_CR25","volume-title":"Technical report","author":"A. Lamsweerde van","year":"1985","unstructured":"A. van Lamsweerde. Cadre g\u00e9n\u00e9ral pour un mod\u00e8le de cycle de vie d'un projet informatique. Technical report, University of Namur, Namur (Belgium), 1985."},{"key":"20_CR26","doi-asserted-by":"crossref","unstructured":"A.I. Wasserman, P.A. Pircher, and D.T. Shewmake. Building reliable interactive information systems. IEEE Transactions on Software Engineering, 12(1), 1986.","DOI":"10.1109\/TSE.1986.6312928"},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1109\/TSE.1986.6312947"}],"container-title":["Lecture Notes in Computer Science","Software Engineering Education"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0017622","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:43:07Z","timestamp":1586572987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017622"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574611"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0017622","relation":{},"subject":[]}}