Title :
Formal specification techniques for complex software systems
Author :
Alagar, V.S. ; Periyasamy, K. ; Ramanathan, G.
Author_Institution :
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
Abstract :
Formal specification of requirements for software enables the developer to detect and eliminate inconsistencies and ambiguities in the requirements and promotes reasoning about the behavior of the software being developed. The application of formal methods to the various stages of a software system will ensure the trustworthiness and dependability of the software. This paper discusses the need for and the application of formal methods to large and complex software systems. A case study on the specification of a robot-based assembly system is presented. VDM (Vienna Development Method) and a functional specification technique are selected to develop the specifications in the case study
Keywords :
Vienna development method; assembling; formal specification; industrial robots; software reliability; VDM; Vienna Development Method; complex software systems; dependability; formal methods; formal specification techniques; functional specification technique; requirements specification; robot-based assembly system; trustworthiness; Air safety; Aircraft; Application software; Computer science; Control systems; Formal specifications; Railway safety; Robotic assembly; Software safety; Software systems;
Conference_Titel :
TENCON '94. IEEE Region 10's Ninth Annual International Conference. Theme: Frontiers of Computer Technology. Proceedings of 1994
Print_ISBN :
0-7803-1862-5
DOI :
10.1109/TENCON.1994.369159
