Athens/Institution Login Not Registered? User Name: Password: Remember me on this computer Forgotten password? Home Browse My Settings ... Help Quick Search Title, abstract, keywords Author e.g. j s smith Journal/book title Volume Issue Page
Volume 12, Issue 6 , December 2001, Pages 573-599
Abstract Abstract + References PDF (874 K) Related Articles in ScienceDirect Software technology formal methods and scientific foun...
Information and Software Technology
Information and Software Technology Volume 41, Issue 14 5 November 1999 Pages 947-950
M. Broy
Abstract
Formal methods have been seen as ways to improve the quality of the software development process. However, apart from the interesting idea to apply mathematics and logic directly to software development activities, there is an urgent need to create a scientific foundation on which today's software technology practise can be based. We discuss the progress in formal methods and their influence in forming a scientific foundation for software technology. We argue that logics and mathematics provide a scientific basis for software engineering, which leads to a deeper understanding of the development process and a more powerful tool support. We point out, how software engineering methods can be backed up by mathematics. We discuss the benefits of such a mathematical foundation that go far beyond the application of so-called formal methods for the specification and verification of software.
Abstract Full Text + Links PDF (60 K) Applying an operational formal method throughout softwa... | |
|
