Login

Romanovsky, Alexander

Industrial Deployment of System Engineering Methods

Romanovsky, Alexander - Industrial Deployment of System Engineering Methods, ebook

114,40€

Ebook, PDF with Adobe DRM
ISBN: 9783642331701
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
Alexander Romanovsky, Martyn Thomas

2. Integrated Project DEPLOY
Alexander Romanovsky

3. Experience of Deployment in the Automotive Industry
Rainer Gmehlich, Cliff Jones

4. Improving Railway Data Validation with ProB
Jérôme Falampin, Hung Le-Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge

5. Deployment in the Space Sector
Dubravka Ilić, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi

6. Business Information Sector
Sebastian Wieczorek, Vitaly Kozyura, Wei Wei, Andreas Roth, Alin Stefanescu

7. Formal Methods as an Improvement Tool
Aryldo G. Russo

8. Critical Software Technologies’ Experience with Formal Methods
Alex Hill, Jose Reis, Paulo Carvalho

9. Experience of Deploying Event-B in Industrial Microprocessor Development
Stephen Wright, Kerstin Eder

10. Industrial Deployment of Formal Methods: Trends and Challenges
John Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock

11. Introducing Formal Methods into Existing Industrial Practices
Martyn Thomas, Alexander Romanovsky

12. Tooling
Michael Butler, Laurent Voisin, Thomas Muller

13. Technology Transfer
David Basin, Thai Son Hoang

14. After and Outside DEPLOY: The DEPLOY Ecosystem
Alexander Romanovsky

15. Industrial Software Engineering and Formal Methods
Martyn Thomas, Alexander Romanovsky

Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, Industrial and Production Engineering

Author(s)
 
Publisher
Springer
Publication year
2013
Language
en
Edition
2013
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783642331701

Similar titles