1. Formalizing the Concept Phase of Product Development
- Author
-
Schuts, M., Hooman, J.J.M., Bjørner, N., Boer, F. de, Bjørner, N., and Boer, F. de
- Subjects
Model checking ,business.industry ,Computer science ,Product (mathematics) ,New product development ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,Software Science ,Lecture Notes in Computer Science ,Software engineering ,business ,Formal methods ,Phase (combat) ,Algorithm - Abstract
We discuss the use of formal techniques to improve the concept phase of product realisation. As an industrial application, a new concept of interventional X-ray systems has been formalized, using model checking techniques and the simulation of formal models. cop. Springer International Publishing Switzerland 2015.
- Published
- 2015