{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:25:45Z","timestamp":1725686745584},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642305979"},{"type":"electronic","value":"9783642305986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30598-6_5","type":"book-chapter","created":{"date-parts":[[2012,6,6]],"date-time":"2012-06-06T09:38:56Z","timestamp":1338975536000},"page":"60-74","source":"Crossref","is-referenced-by-count":0,"title":["Teaching \u2018Concepts of Programming Languages\u2019 with Ada"],"prefix":"10.1007","author":[{"given":"Theodor","family":"Tempelmeier","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Real-Time Systems Education III. Proceedings of the IEEE Workshop","author":"T. Tempelmeier","year":"1999","unstructured":"Tempelmeier, T.: Embedding Practical Real-Time Education in a Computer Science Curriculum. In: Nawrocki, J., Schwarz, J.-J., Zalewski, J. (eds.) Real-Time Systems Education III. Proceedings of the IEEE Workshop, November 21, 1998. Scientific Centre of the Polish Academy of Sciences, IEEE Computer Society, Poznan, Los Alamitos (1999)"},{"key":"5_CR2","unstructured":"Fiore, M.: Concepts in Programming Languages. University of Cambridge (2010), http:\/\/www.cl.cam.ac.uk\/teaching\/1011\/ConceptsPL\/ (accessed February 15, 2012)"},{"key":"5_CR3","unstructured":"G\u00f6ers, J.: Programmiersprachenkonzepte. Universit\u00e4t Osnabr\u00fcck (2010), http:\/\/www-lehre.inf.uos.de\/psk\/1011\/ (accessed February 15, 2012)"},{"key":"5_CR4","unstructured":"Klaeren, H.: Konzepte h\u00f6herer Programmiersprachen. Universit\u00e4t T\u00fcbingen (January 24, 2012), http:\/\/pu.inf.uni-tuebingen.de\/users\/klaeren\/ko.pdf (accessed February 15, 2012)"},{"key":"5_CR5","unstructured":"Mezini, M.: Concepts of Programming Languages. TU Darmstadt (2011), http:\/\/www.stg.tu-darmstadt.de\/teaching\/courses\/ss2011\/concepts_of_programming_languages_ss2011\/cpl_schedule_2\/index.en.jsp (accessed February 15, 2012)"},{"key":"5_CR6","unstructured":"Mitchell, J.: Programming Languages. Stanford University (2008), https:\/\/courseware.stanford.edu\/pg\/courses\/214531\/cs242-fall-2011 (accessed February 15, 2012)"},{"key":"5_CR7","unstructured":"Zhang, T.: Principles of Programming Languages. Iowa State University (2010), http:\/\/www.cs.iastate.edu\/~tingz\/classes\/cs342\/Fall2010\/ (accessed February 15, 2012)"},{"key":"5_CR8","unstructured":"Ploedereder, E.: Konzepte der Programmiersprachen. Universit\u00e4t Stuttgart, http:\/\/www.iste.uni-stuttgart.de\/ps\/lehre\/ueberblick\/konzepte-der-programmiersprachen.html (accessed February 15, 2012)"},{"key":"5_CR9","unstructured":"Sieber, K.: Konzepte h\u00f6herer Programmiersprachen. Universit\u00e4t Siegen (2006), http:\/\/www.informatik.uni-siegen.de\/sieber\/public\/2006_SS_KP\/Main.html (accessed February 15, 2012)"},{"key":"5_CR10","unstructured":"Zimmermann, W., Picht, R.: Konzepte h\u00f6herer Programmiersprachen. Universit\u00e4t Halle-Wittenberg, http:\/\/swt.informatik.uni-halle.de\/lehre\/lehrveranstaltungen_im_ws_2010\/konzepte_hoeherer_programmierspra\/#anchor2361387 (accessed February 15, 2012); To appear: Oldenbourg-Verlag, M\u00fcnchen (September 2012)"},{"key":"5_CR11","unstructured":"Sebesta, R.W.: Concepts of Programming Languages, 9th edn. Addison-Wesley (2009)"},{"key":"5_CR12","unstructured":"Watt, D.A.: Programming Language Design Concepts. John Wiley & Sons (2004)"},{"key":"#cr-split#-5_CR13.1","unstructured":"McCormick, J.W.: Ada and Software Engineering Education: One Professor's Experience. In: Session \"Ada and Software Engineering Education\" at the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, Venice, Italy, June 16-20 (2008)"},{"key":"#cr-split#-5_CR13.2","doi-asserted-by":"crossref","unstructured":"Ada User Journal 29(3), 203-207 (September 2008)","DOI":"10.1088\/0143-0807\/29\/2\/003"},{"key":"5_CR14","unstructured":"ETAS Group: ASCET Software Products, http:\/\/www.etas.com\/en\/products\/ascet_software_products.php?langS=true& (accessed March 2, 2012)"},{"key":"5_CR15","unstructured":"Eisemann, U.: Guidelines for a Model-based Development Process with Automatic Code Generation. In: Niggemann, O., Giese, H (Hrsg.) Proceedings of the 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 3). HNI-Verlagsschriftenreihe, Paderborn, Band 191, Heinz Nixdorf Institut, Universit\u00e4t Paderborn (2005)"},{"key":"5_CR16","unstructured":"Blache, G.: Model based development & automatic code generation for safety critical systems with ASCET. In: Ada Deutschland, Workshop Entwicklung Zuverl\u00e4ssiger Software-Systeme, Hochschule Regensburg (Juni 18, 2009), http:\/\/www.ada-deutschland.de\/sites\/default\/files\/tagungen\/ws2009\/presentations\/006_Blache_GI_Ada2009.pdf (accessed March 2, 2012)"},{"key":"5_CR17","unstructured":"Henricson, M., Nyquist, E.: Programming in C++, Rules and Recommendations. Original translation from Swedish by Joseph Supanich. Ellemtel Telecommunication Systems Laboratories, Sweden, http:\/\/www.doc.ic.ac.uk\/lab\/cplus\/c++.rules\/ (accessed November 25, 2011)"},{"key":"5_CR18","unstructured":"Ada 95 Quality and Style: Guidelines for Professional Programmers. SPC-94093-CMC. Version 01.00.10. Software Productivity Consortium, Herndon, Virginia (October 1995) www.adaic.org\/resources\/add_content\/docs\/95style\/95style.pdf (accessed November 25, 2011)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Lindsey, C.H., Van Der Meulen, S.G.: Informal Introduction to Algol 68. North-Holland Publishing Company (1973)","DOI":"10.2307\/2528981"},{"key":"5_CR20","unstructured":"Meyers, S.: More Effective C++: 35 New Ways to Improve Your Programs and Designs. Addison-Wesley (2011); second e-book release"},{"key":"5_CR21","unstructured":"Barnes, J.: Rationale for Ada 2005. John Barnes Informatics, Reading, England (2006), http:\/\/www.adaic.org\/standards\/05rat\/Rationale05.pdf (accessed November 25, 2011)"},{"key":"5_CR22","volume-title":"Programming in Ada 2005","author":"J. Barnes","year":"2006","unstructured":"Barnes, J.: Programming in Ada 2005. Addison-Wesley, Harlow (2006)"},{"key":"5_CR23","unstructured":"DO-178B Software Considerations in Airborne Systems and Equipment Certification. RTCA, SC-167, EUROCAE, WG-12, December 1 (1992)"},{"key":"#cr-split#-5_CR24.1","doi-asserted-by":"crossref","unstructured":"Ro\u00dfkopf, A., Tempelmeier, T.: Aspects of Flight Control Software - A Software Engineering Point of View. In: 24th IFAC\/IFIP Workshop on Real-Time Programming, Schloss Dagstuhl, Saarland, Germany, May 31-June 2. Pergamon, Elsevier Science, Oxford (1999)","DOI":"10.1016\/S1474-6670(17)39960-3"},{"key":"#cr-split#-5_CR24.2","doi-asserted-by":"crossref","unstructured":"Also in: Control Engineering Practice 8(6), 675-680 (2000)","DOI":"10.1016\/S0967-0661(00)00012-5"},{"key":"5_CR25","unstructured":"Odersky, M.: Scala By Example. Draft. Programming Methods Laboratory, EPFL, Switzerland (May 24, 2011), http:\/\/www.scala-lang.org\/docu\/files\/ScalaByExample.pdf (accessed November 25, 2011)"},{"key":"5_CR26","unstructured":"Michl, W. (Hrsg.): Evaluation und Lehrbericht - Empfehlungen f\u00fcr Studiendekane. DiZ - Zentrum f\u00fcr Hochschuldidaktik der bayerischen Fachhochschulen, Workshop of the Bavarian Deans of Studies, November 11-12. ZIEL Verlag, Augsburg (1999) (in German); under presence and approval of a representative of the Bavarian Ministry of Education"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Halbwachs, N.: Synchronous programming of reactive systems. Kluwer Academic Pub. (1993)","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"5_CR28","unstructured":"Halbwachs, N.: A synchronous language at work: the story of Lustre. In: Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE 2005, Verona, Italy (2005), http:\/\/hal.archives-ouvertes.fr\/hal-00190883\/fr\/"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30598-6_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,16]],"date-time":"2022-01-16T18:56:55Z","timestamp":1642359415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30598-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642305979","9783642305986"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30598-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}