Industrial Deployment of System Engineering Methods

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...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Romanovsky, Alexander (Editor), Thomas, Martyn (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Subjects:
Computer science.
Software engineering.
Mathematical logic.
Industrial engineering.
Production engineering.
Computer Science.
Software Engineering/Programming and Operating Systems.
Mathematical Logic and Formal Languages.
Industrial and Production Engineering.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items