Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers /

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers /

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013. The 18 full papers presented were carefully reviewed and selected from 46 submissions. The papers...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Filipe, Joaquim (Επιμελητής έκδοσης), Maciaszek, Leszek A. (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Σειρά:	Communications in Computer and Information Science, 417
Θέματα:	Computer science. Information technology. Business > Data processing. Software engineering. Programming languages (Electronic computers). Computer logic. Management information systems. Computer Science. Software Engineering. Logics and Meanings of Programs. IT in Business. Programming Languages, Compilers, Interpreters. Information Systems Applications (incl. Internet). Management of Computing and Information Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers /
Έκδοση: (2013)

Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers /
Έκδοση: (2011)

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

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /
Έκδοση: (2006)

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
Έκδοση: (2005)

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings /
Έκδοση: (2013)

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
Έκδοση: (2014)

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
Έκδοση: (2006)

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings /
Έκδοση: (2013)

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
Έκδοση: (2011)

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /
Έκδοση: (2012)

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers /
Έκδοση: (2010)

Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures /
Έκδοση: (2012)

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers /
Έκδοση: (2016)

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

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings /
Έκδοση: (2013)

Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
Έκδοση: (2011)

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 /
Έκδοση: (2012)

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
Έκδοση: (2015)

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
Έκδοση: (2016)

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /
Έκδοση: (2012)

Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings /
Έκδοση: (2012)

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Έκδοση: (2013)

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings /
Έκδοση: (2014)

Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers /
Έκδοση: (2011)

Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /
Έκδοση: (2015)

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
Έκδοση: (2007)

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 Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
Έκδοση: (2015)

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

Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings /
Έκδοση: (2010)

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers
ανά: Maciaszek, Leszek A
Έκδοση: (2010)

Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
Έκδοση: (2008)

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
Έκδοση: (2015)

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /
Έκδοση: (2005)

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /
Έκδοση: (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 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers /
Έκδοση: (2012)

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