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

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

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Bove, Ana (Επιμελητής έκδοσης), Barbosa, Luís Soares (Επιμελητής έκδοσης), Pardo, Alberto (Επιμελητής έκδοσης), Pinto, Jorge Sousa (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Σειρά:	Lecture Notes in Computer Science, 5520
Θέματα:	Computer science. Computer programming. Software engineering. Programming languages (Electronic computers). Computer simulation. Management information systems. Computer Science. Software Engineering. Programming Languages, Compilers, Interpreters. Simulation and Modeling. Programming Techniques. Management of Computing and Information Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

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

Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers /
Έκδοση: (2009)

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings /
Έκδοση: (2008)

Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers /
Έκδοση: (2007)

Transactions on Aspect-Oriented Software Development II
Έκδοση: (2006)

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings /
Έκδοση: (2006)

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers /
Έκδοση: (2006)

Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
Έκδοση: (2008)

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /
Έκδοση: (2007)

Transactions on Aspect-Oriented Software Development I
Έκδοση: (2006)

Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings /
Έκδοση: (2009)

Transactions on Aspect-Oriented Software Development III
Έκδοση: (2007)

Transactions on Aspect-Oriented Software Development IV
Έκδοση: (2007)

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers /
Έκδοση: (2017)

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers /
Έκδοση: (2010)

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /
Έκδοση: (2010)

Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers /
Έκδοση: (2016)

Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers /
Έκδοση: (2015)

UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /
Έκδοση: (2005)

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings /
Έκδοση: (2005)

Transactions on Foundations for Mastering Change I
Έκδοση: (2016)

Transactions on Aspect-Oriented Software Development VIII
Έκδοση: (2011)

Transactions on Aspect-Oriented Software Development IX
Έκδοση: (2012)

Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers /
Έκδοση: (2011)

Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures /
Έκδοση: (2009)

Transactions on Modularity and Composition I
Έκδοση: (2016)

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers /
Έκδοση: (2012)

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings /
Έκδοση: (2007)

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings /
Έκδοση: (2014)

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings /
Έκδοση: (2012)

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings /
Έκδοση: (2013)

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
Έκδοση: (2016)

Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings /
Έκδοση: (2012)

Models@run.time Foundations, Applications, and Roadmaps /
Έκδοση: (2014)

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
Έκδοση: (2012)

Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures /
Έκδοση: (2006)

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /
Έκδοση: (2013)

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /
Έκδοση: (2014)

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings /
Έκδοση: (2013)

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures /
Έκδοση: (2013)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών