Cargando…

Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers /

This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008. The volume presents three courses on type theory: an introductory tut...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Bove, Ana (Editor ), Barbosa, Luis Soares (Editor ), Pardo, Alberto (Editor ), Pinto, Jorge Sousa (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:	1st ed. 2009.
Colección:	Programming and Software Engineering, 5520
Temas:	Software engineering. Compilers (Computer programs). Computer simulation. Computer programming. Electronic data processing-Management. Software Engineering. Compilers and Interpreters. Computer Modelling. Programming Techniques. IT Operations.
Acceso en línea:	Texto Completo

Ejemplares similares

Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers /
Publicado: (2009)

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers /
Publicado: (2013)

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers /
Publicado: (2014)

Software Language Engineering First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers /
Publicado: (2009)

Software Engineering for Self-Adaptive Systems International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
Publicado: (2013)

Transactions on Aspect-Oriented Software Development V Focus: Aspects, Dependencies and Interactions.
Publicado: (2009)

Software Engineering for Self-Adaptive Systems
Publicado: (2009)

Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering /
Publicado: (2009)

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /
Publicado: (2011)

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings /
Publicado: (2009)

Software Architecture Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings /
Publicado: (2008)

Transactions on Aspect-Oriented Software Development II Focus: AOP Systems, Software and Middleware /
Publicado: (2006)

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /
Publicado: (2007)

Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers /
Publicado: (2015)

Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers /
Publicado: (2016)

Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures /
Publicado: (2009)

Advanced Lectures on Software Engineering LASER Summer School 2007/2008 /
Publicado: (2010)

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures /
Publicado: (2008)

Models in Software Engineering Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
por: Giese, Holger
Publicado: (2008)

Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers /
Publicado: (2007)

Models in Software Engineering Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers /
Publicado: (2011)

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers /
Publicado: (2010)

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /
Publicado: (2010)

Software Process Modeling
Publicado: (2005)

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
Publicado: (2008)

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings /
Publicado: (2008)

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers /
Publicado: (2009)

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /
Publicado: (2016)

Transactions on Aspect-Oriented Software Development IV Focus: Early Aspects and Aspects of Software Evolution /
Publicado: (2007)

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings /
Publicado: (2014)

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /
Publicado: (2008)

Transactions on Aspect-Oriented Software Development I
Publicado: (2006)

Transactions on Aspect-Oriented Software Development VIII
Publicado: (2011)

Transactions on Aspect-Oriented Software Development IX
Publicado: (2012)

Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers /
Publicado: (2012)

Transactions on Aspect-Oriented Software Development III Focus: Early Aspects /
Publicado: (2007)

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /
Publicado: (2008)

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
Publicado: (2007)

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers /
Publicado: (2006)

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_apnlaaml72q1bdp4pfbb10pm4h