Formal Methods And Object Technology
Download Formal Methods And Object Technology PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Formal Methods And Object Technology book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Formal Methods and Object Technology
Author: Stephen J. Goldsack
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-12-06
Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: • Object Technology • Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.
Applications of Formal Methods
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.
Formal Methods in Human-Computer Interaction
This volume examines the proposition that formal methods are one of the conceptual tools that can support the design of Interactive Systems, understanding of their behaviour, and reasoning about their properties. All the approaches considered take into account some aspect of the Web environment which is one of the most successful software products of recent years: millions of people use it every day in order to search for, exchange, and modify information. As the case study in this volume, it provides a familiar background against which problems can be discussed. Book jacket.