Cargando…

Industrial Deployment of System Engineering Methods

A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployme...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Romanovsky, Alexander (Editor ), Thomas, Martyn (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:	1st ed. 2013.
Temas:	Software engineering. Machine theory. Industrial engineering. Production engineering. Software Engineering. Formal Languages and Automata Theory. Industrial and Production Engineering.
Acceso en línea:	Texto Completo

Ejemplares similares

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice /
por: Śmiałek, Michał, et al.
Publicado: (2015)

Constructing Correct Software
por: Cooke, D. John
Publicado: (2005)

Specification and Verification of Multi-agent Systems
Publicado: (2010)

Formal Methods: State of the Art and New Directions
Publicado: (2010)

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Publicado: (2013)

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures /
Publicado: (2011)

Refinement in Z and Object-Z Foundations and Advanced Applications /
por: Derrick, John, et al.
Publicado: (2014)

Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /
Publicado: (2007)

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures /
Publicado: (2010)

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /
Publicado: (2008)

Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings /
Publicado: (2009)

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings /
Publicado: (2013)

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /
Publicado: (2012)

Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /
Publicado: (2011)

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /
Publicado: (2012)

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
Publicado: (2015)

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /
Publicado: (2014)

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /
Publicado: (2013)

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Publicado: (2013)

The Correctness-by-Construction Approach to Programming
por: Kourie, Derrick G., et al.
Publicado: (2012)

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings /
Publicado: (2013)

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Publicado: (2014)

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
Publicado: (2016)

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings /
Publicado: (2007)

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
Publicado: (2015)

The Seventeen Provers of the World Foreword by Dana S. Scott /
Publicado: (2006)

Temporal Logic and State Systems
por: Kröger, Fred, et al.
Publicado: (2008)

Coordination of Large-Scale Multiagent Systems
Publicado: (2006)

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
Publicado: (2014)

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Publicado: (2015)

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
Publicado: (2016)

FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings /
Publicado: (2012)

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Publicado: (2015)

Fundamental Approaches to Software Engineering 17th International Conference, FASE 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)

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
Publicado: (2016)

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
por: Henderson-Sellers, Brian
Publicado: (2012)

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings /
Publicado: (2005)

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /
Publicado: (2007)

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
Publicado: (2014)

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_3u9rdbjmsjo12s5kr4fa5ba1c6