1 - 6 of 6 Chapters
[Practitioners of well established applied sciences, which include the old discipline of medicine, as well as mature engineering disciplines, possess desktop handbooks (HBs), which contain the trustworthy and widely accepted ‘recipes’ for practice in those disciplines.]
[Engineering refers to the practice of organising the design and construction of any artifice which transforms the physical world around us to meet some recognised need]
[As is also the case in other engineering disciplines, software engineering knowledge can be organised in the categories of engineering knowledge identified by Vincenti :]
[What knowledge of Formal Methods in the railway domain is already ‘mature’? To answer this question we must consider the most suitable sources of knowledge in our chosen domain, as well as a suitable definition of the notion of ‘settledness‘; see chapter 3.]
[In the previous chapter we identified settled knowledge concerning the use of Formal Methods within the railway domain. Now we take a first tentative step from analysis towards synthesis.]
[A practitioner’s handbook (HB) about the application of Formal Methods of computing to a particular domain —in our case: the railway domain — must bridge the gap between Formal Methods (which are closely related to theoretical computer science), as such, and their practical applicability by...
Read and print from thousands of top scholarly journals.
Continue with Facebook
Log in with Microsoft
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.