Cargando…

Modelling -- Foundation and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings /

This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	France, Robert B. (Editor ), Kuester, Jochen M. (Editor ), Bordbar, Behzad (Editor ), Paige, Richard F. (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, 6698
Temas:	Software engineering. Computer science. Compilers (Computer programs). Computer networks . Electronic data processing-Management. Computer programming. Software Engineering. Computer Science Logic and Foundations of Programming. Compilers and Interpreters. Computer Communication Networks. IT Operations. Programming Techniques.
Acceso en línea:	Texto Completo

Ejemplares similares

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings /
Publicado: (2010)

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings /
Publicado: (2013)

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings /
Publicado: (2016)

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings /
Publicado: (2014)

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /
Publicado: (2015)

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings /
Publicado: (2007)

ECOOP 2011--Object-Oriented Programming 25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings /
Publicado: (2011)

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
Publicado: (2005)

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /
Publicado: (2007)

Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings /
Publicado: (2012)

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /
Publicado: (2012)

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
Publicado: (2005)

Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /
Publicado: (2011)

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)

Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings /
Publicado: (2011)

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings /
Publicado: (2014)

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings /
Publicado: (2010)

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /
Publicado: (2005)

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /
Publicado: (2006)

Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings /
Publicado: (2009)

Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings /
Publicado: (2011)

Objects, Components, Models, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings /
Publicado: (2011)

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /
Publicado: (2010)

Testing: Academic and Industrial Conference - Practice and Research Techniques 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /
Publicado: (2010)

Assurances for Self-Adaptive Systems Principles, Models, and Techniques /
Publicado: (2013)

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers /
Publicado: (2013)

SDL 2013: Model Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings /
Publicado: (2013)

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /
Publicado: (2010)

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /
Publicado: (2005)

Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings /
Publicado: (2011)

ECOOP - Object-Oriented Programming 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings /
Publicado: (2007)

Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings /
Publicado: (2011)

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings /
Publicado: (2011)

SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /
Publicado: (2015)

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /
Publicado: (2006)

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /
Publicado: (2010)

Testing of Software and Communicating Systems 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings /
Publicado: (2007)

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings /
Publicado: (2012)

ECOOP 2008 - Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings /
Publicado: (2008)

ECOOP 2009 -- Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings /
Publicado: (2009)

Cannot write session to /tmp/vufind_sessions/sess_3ond4o546vb6oljgciikebsfmt