Bowen, J. P., Hinchey M. G. The Use of Industrial-Strength Formal Methods. Proceedings of 21st International Computer Software and Application Conference (COMPSAC'97), Washington D. C., USA, 13--15 August 1997, pp. 332--337.  Home/Search   Document Details and Download   Summary   Related Articles   Check

No context found.

Bowen, J. P., Hinchey M. G. The Use of Industrial-Strength Formal Methods. Proceedings of 21st International Computer Software and Application Conference (COMPSAC'97), Washington D. C., USA, 13--15 August 1997, pp. 332--337.

No context found.

Bowen, J. P., Hinchey M., G. The Use of Industrial-Strength Formal Methods. Proceedings of 21st International Computer Software and Application Conference (COMPSAC'97), Washington D.C., USA, 13--15 August 1997.

....be changed several times. If the modifications made on the prototype reflect the modifications made in the specification, then it is easier to perform them. By maintaining the structure of the specification, the validation cycle is easier. Finally, tesing is very important in industrial practice [11, 33]. The presence of a specification and a prototype may be beneficial in the testing process. For example, the specification could act as a guide for automated generation of tests for black box testing and the prototype could act as a test oracle. This paper has only been able to give a flavor of ....

J. P. Bowen and M. G. Hinchey. The use of industrialstrength formal methods. In Proc. COMPSAC'97: 21st IEEE Annal International Computer Software and Application Conference, Washington DC, USA, pages 332--337. IEEE Computer Society Press, 13-15 August 1997.

....of producing formal criteria definitions is considered. As a formal language for describing the criteria, the Z notation [26] 43] is selected, which is used recently not only in academic context [5] but also for industrial development of high integrity systems such as safety critical software [7], 8] This paper is based on our previous results [46] 47] and is structured as follows. Section II presents a brief review and then formal definitions of control flow criteria. The criteria like statement coverage, decision coverage, condition coverage, decision condition coverage, ....

Bowen, J. P., Hinchey M., G. The Use of Industrial-Strength Formal Methods. Proceedings of 21st International Computer Software and Application Conference (COMPSAC'97), Washington D.C., USA, 13--15 August 1997.

....of control system and software has an major responsibility for ensuring safety. The application of formal methods to safety critical systems from the point of view of designers, i.e. for system or software development, is considered in many scientific and technical publications (e.g. see [5, 15]) In many countries, in areas such as air transport and nuclear energetics, there are also special state regulatory bodies (authorities) whose basic tasks are independent control of safety, certification and licensing of activity connected with safety. Concerning computer control systems, there ....

.... following reasons: the main purpose of Z [31] is for specifying and designing software so Z is suitable for describing both general and detailed requirements for software; there are many examples of substantial and successful practical applications of the Z notation to safety critical areas [5, 15]; a lot of textbooks on Z are now available (e.g. 4, 20, 21, 25] Z is one of the most widely taught formal methods [7] the community of Z users is well organized; Z user meetings are held on the regular basis [8] Formal regulatory requirements can be applied not only directly to ....

Bowen, J. P., Hinchey M. G. The Use of Industrial-Strength Formal Methods. Proceedings of 21st International Computer Software and Application Conference (COMPSAC'97), Washington D. C., USA, 13--15 August 1997, pp. 332--337.

....the task of producing formal criteria definitions is considered. As a formal language for describing the criteria, the Z notation is selected, which is used recently not only in academic surroundings but also for industrial development of high integrity systems such as safety critical software [4]. 2 Review of control flow criteria 2.1 Informal definitions The most simple control flow criteria are known from the 1960s and 70s. The following are based on the well known book by G. Myers [20] statement coverage (SC) every statement in the program has been executed at least once; ....

Bowen, J. P., Hinchey M., G. The Use of Industrial-Strength Formal Methods. Proceedings of 21st International Computer Software and Application Conference (COMPSAC'97), Washington D. C., USA, 13 -- 15 August 1997, pp. 332--337.

....the task of producing formal criteria definitions is considered. As a formal language for describing the criteria, the Z notation is selected, which is used recently not only in academic surroundings [4] but also for industrial development of highintegrity systems such as safety critical software [6, 7]. 2 Review of control flow criteria 2.1 Informal definitions The most simple control flow criteria are known from the 1960s and 1970s. The following are based on the wellknown book by G. Myers [21] statement coverage (SC) every statement in the program has been executed at least once; ....

Bowen, J. P., Hinchey M., G. The Use of Industrial-Strength Formal Methods. Proceedings of 21st International Computer Software and Application Conference (COMPSAC'97), Washington D.C., USA, 13--15 August

.... reasons: the main purpose of Z [31] is for specifying and designing software so Z is suitable for describing both general and detailed requirements for software; there are many examples of substantial and successful practical applications of the Z notation to safety critical areas [5, 15]; a lot of textbooks on Z are now available (e.g. 4, 20, 21, 25] Z is one of the most widely taught formal methods [7] the community of Z users is well organized; Z user meetings are carried out on regular base [8] Formal regulatory requirements can be applied not only directly ....

Bowen, J. P., Hinchey M. G. The Use of Industrial-Strength Formal Methods. Proceedings of 21st International Computer Software and Application Conference (COMPSAC'97), Washington D. C., USA, 13--15 August 1997, pp. 332--337.

....These have been translated into Dutch (Management [Select] December 1996) and Russian (PC World Russia, September October 1997) respectively for further dissemination. Material has been published specifically for technology transfer especially with respect to standards and safety critical systems [9, 11, 16, 17]. Further books are in the course of preparation [33, 34] Information on all ProCoS activities, including the Working Group, has been maintained on line, together with an associated repository of formal methods and safety critical systems information (see locations at the end of the report) ....

J. P. Bowen and M. G. Hinchey. The use of industrial-strength formal methods. In Proc. 21st International Computer Software & Application Conference (COMPSAC'97), Washington D.C., USA, pages 332--337. IEEE Computer Society Press, 13--15 August 1997.

No context found.

J.P. Bowen and M.G. Hinchey. The use of industrial-strength formal methods. In Twenty-First Annual International Computer Software and Applications Conference, pages 332--7, Washington, DC, USA, 1997. IEEE Comput. Soc.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC