Title :
Making formal methods work
Abstract :
As we have got better at programming, we have come to recognize that the real problems of software development cannot be solved by thinking about program code. We need to address the problems of complex and shifting user requirements in a world of rapid application development, commercial off-the-shelf components and concurrent engineering. Formal methods must help us do this if they are to play a significant role in real projects.
Keywords :
concurrent engineering; formal specification; formal verification; commercial off-the-shelf components; concurrent engineering; formal methods; program code; software development; Application software; Business; Concurrent engineering; Educational institutions; Finance; Iterative methods; Programming; Rails; User centered design; Writing;
Conference_Titel :
Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on
Print_ISBN :
0-7695-2435-4
DOI :
10.1109/SEFM.2005.27
