Language Engineering and Rigorous Software Development

Language Engineering and Rigorous Software Development

4.11 - 1251 ratings - Source

This volume contains the lecture notes from the courses o?ered at the Inter- tional Summer School on Language Engineering and Rigorous Software De- lopment, held in Piriap I olis, Uruguay, from February 25 to March 1, 2008. The aim of the schoolwasthe dissemination of advancedscienti?c knowledge in the areas of programming languages and rigorous methods for software - velopment. The school was oriented to computer science graduate students and researchers, withaninterestinformaltechniquesforthedesignandconstruction of software systems as well as programming languages. The school was organized in the context of the LERnet (Language En- neering and Rigorous Software Development) project. LERnet is a project of the ALFA programme of the European Commission for co-operation between higher education institutions of the European Union and Latin America. The institutions that participate in the LERnet project are the following: a€“ Chalmers Tekniska H Iˆ ogskola, Sweden a€“ Institut National de la Recherche en Informatique et Automatique (INRIA), France a€“ Universidad de Castilla-La Mancha, Spain a€“ Universidad Catol I ica de Santiago del Estero, Argentina a€“ Universidad EAFIT, Colombia a€“ Universidade Federal de Minas Gerais, Brazil a€“ Universidade do Minho, Portugal a€“ Universidad Nacional de San Luis, Argentina a€“ Universidad Polit I ecnica de Valencia, Spain a€“ Universidad de la Republica I , Uruguay a€“ Universiteit Utrecht, The Netherlands The project oversees the mobility of PhD students from Latin America to the European Union and vice versa for a period of up to 18 months, to pursueInternational LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers Ana Bove, Luis Soares ... Oliveira, J.N.: Pointfree foundations for (generic) lossless decomposition (2008) ( submitted) 48. ... Springer, Heidelberg (2004) 50. ... Notation a€” A Reference Manual.

Title:Language Engineering and Rigorous Software Development
Author:Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto
Publisher:Springer Science & Business Media - 2009-07-27


You Must CONTINUE and create a free account to access unlimited downloads & streaming