Cargando…

Model Driven Engineering Languages and Systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings /

This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications t...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Whittle, Jon (Editor ), Clark, Tony (Editor ), Kühne, Thomas (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:	1st ed. 2011.
Colección:	Programming and Software Engineering, 6981
Temas:	Software engineering. Computer programming. Compilers (Computer programs). Computer systems. Electronic data processing-Management. Software Engineering. Programming Techniques. Compilers and Interpreters. Computer System Implementation. IT Operations.
Acceso en línea:	Texto Completo

Ejemplares similares

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /
Publicado: (2010)

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II /
Publicado: (2010)

Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings /
Publicado: (2009)

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006 /
Publicado: (2006)

Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings /
Publicado: (2006)

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings /
Publicado: (2005)

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers /
Publicado: (2012)

Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /
Publicado: (2007)

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /
Publicado: (2006)

Implementing Distributed Systems with Java and CORBA
por: Aleksy, Markus, et al.
Publicado: (2005)

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings /
Publicado: (2013)

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /
Publicado: (2012)

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings /
Publicado: (2014)

Methods, Models and Tools for Fault Tolerance
Publicado: (2009)

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings /
Publicado: (2011)

Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers /
Publicado: (2015)

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers /
Publicado: (2016)

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings /
Publicado: (2008)

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
Publicado: (2013)

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

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /
Publicado: (2005)

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings /
Publicado: (2009)

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Publicado: (2013)

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Publicado: (2013)

Principles of the Spin Model Checker
por: Ben-Ari, Mordechai
Publicado: (2008)

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /
Publicado: (2008)

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /
Publicado: (2006)

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings /
Publicado: (2013)

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey /
Publicado: (2009)

Ada 2012 Rationale The Language -- The Standard Libraries /
por: Barnes, John
Publicado: (2013)

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /
Publicado: (2005)

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings /
Publicado: (2008)

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
Publicado: (2008)

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /
Publicado: (2005)

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publicado: (2014)

Systems, Software and Services Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011, Proceedings /
Publicado: (2011)

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
Publicado: (2008)

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /
Publicado: (2007)

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings /
Publicado: (2012)

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings /
Publicado: (2006)

Cannot write session to /tmp/vufind_sessions/sess_nuvgr9q6coeh9cstn891m2indn