These papers will be presented on April 24-25, 1995 in Seattle, during the Workshop on Formal Methods Applications in Software Engineering, held as part of ICSE-17. Details about ICSE17 .
An Algebraic Specification of a Language for Financial Products
We report on the use of formal methods and supporting tools during the development of a language applied in a banking environment. This language, called Risla, is used to define the nature of the interest products offered by a bank. A Risla description fixes the cash flows (amounts of money coming in or going out on particular dates) resulting from a product, and is used to generate COBOL code. The language has been developed with the use of algebraic specification and the role of this is discussed. More information .
Formal Methods: Managing Quality and Development
Computers today often constitute the critical part of life/safety critical systems, where the consequences of deficiencies and failures can be so serious and costly that particular care must be taken during design to prevent flaws from creeping into the system.
Formal methods are considered to be an effective part of the process of developing computer systems and they allow early validation, verification and analysis, thus ensuring high-quality systems.
In the literature numerous reports on formal methods and their potential use in industrial applications suggest that formal methods are usable in industry, resulting in an increase in quality of design and development. A major conclusion of most studies is that formal methods are beginning to be used seriously with success by industry.
During the OOTI Workshop Software Engineering 1994 we used the formal specification tool ExSpect to specify and simulate a complex real-time embedded system: the control softw. of a simplified high-volume copier.
In this paper we will present the formal specification tool ExSpect, some background information on the OOTI Workshop Software Engineering 1994, and some conclusions with respect to the perceived impact of formal methods on the quality of design and development. Paper .