Bowen, J. P. & Hinchey, M. G. (1994), Seven More Myths of Formal Methods: Dispelling Industrial Prejudices, in Naftalin, Denvir & Bertran (1994), pp. 105 -- 117.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....we get what we want . In the past 25 years many suggestions have been made on how to tackle complex software engineering projects. However, there is no silver bullet yet [Bro87] There is a small but growing community of people who propose and promote formal methods in Software Engineering [WL93, BH94] Most times these people come from academia. The acceptance of formal methods in industry is still low. This is mainly due to the fact that formal methods are thought to be complex, hard to handle and not suitable for real world applications [GSW93] In order to make formal methods attractive ....

....handle and not suitable for real world applications [GSW93] In order to make formal methods attractive for industry they have to fulfill several requirements. They have to be easy to learn and to teach [Har95] BS93] In today s organizations we do not find many people who know formal methods [BH94] This means we have to invest in their education. If this investment is Work reported here was partially supported by CEC under ESPRIT II Basic Research Working Group No. 6112 COMPASS and by CEC under ESPRIT BRA WG 6071 IS CORE, PTB, OBLOG SOFTWARE S.A. Lisbon. Now at Siemens AG, ....

J.P Bowen and M.G. Hinchey. Seven More Myths of Formal Methods: Dispelling Industrial Prejudices. In M. Naftalin, T. Denvir, and M. Bertrani, editors, FME'94: Industrial Benefit of Formal Methods, pages 105--117. LNCS 873, Springer, Berlin, 1994.

....industrial methods have been made for every platform and for different users, local or on network but one main problem remaines do we get what we need if designing a real world aspect. There is a small but growing community of people who propose and promote formal methods in software engineering [14, 1]. Most of these people come from academic circles. The acceptance of formal methods in industry is still low. This is mainly due to the fact that formal methods are thought to be complex, hard to handle and not suitable for real world applications [5] It is important to make formal languages ....

J.P Bowen and M.G. Hinchey. Seven More Myths of Formal Methods: Dispelling Industrial Prejudices. In M. Naftalin, T. Denvir, and M. Bertrani, editors, FME'94: Industrial Benefit of Formal Methods, pages 105--117. LNCS 873, Springer, Berlin, 1994.

.... that we get what we want . In the past 25 years many suggestions have been made on how to tackle complex software engineering projects. However, there is no silver bullet yet [3] There is a small but growing community of people who propose and promote formal methods in Software Engineering [45, 2]. Most times these people come from academia. The acceptance of formal methods in industry is still low. This is mainly due to the fact that formal methods are thought to be complex, hard to handle and not suitable for real world applications [18] In order to make formal methods attractive for ....

....hard to handle and not suitable for real world applications [18] In order to make formal methods attractive for industry they have to fulfill several requirements. They have to be easy to learn and to teach [22, 1] In today s organizations we do not find many people who know formal methods [2]. This means we have to invest in their education. If this investment is too high or people feel that they are not able to master the formalism then there will be a low chance of success. Formal methods have to be supported by tools (e.g. semantic editor, testing, prototyping) 15] The formalism ....

J.P Bowen and M.G. Hinchey. Seven more myths of formal methods: Dispelling industrial prejudices. In M. Naftalin, T. Denvir and M. Bertrani, editors, FME'94: Industrial Benefit of Formal Methods, pp. 105--117, LNCS 873, Springer, Berlin (1994).

....system properties. Model based approaches such as Z[37, 3] represent the system state and operations on it. Formal specification approaches have not achieved much commercial success, especially in non critical systems development. A range of common misconceptions have been documented and explored[21, 4, 7]. A major explanation is the lack of engineering context for formal approaches[23, 27] The Z notation, undergoing standardisation[38, 39] has conventions of use, presentation and preparation. It does not have an associated development method or process. Structured methods use informal ....

J. P. Bowen and M. G. Hinchey. Seven more myths of formal methods: Dispelling industrial prejudice. In FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe. 2428 Oct 1994, Barcelona, Spain, volume 873 of LNCS. Springer Verlag, 1994.

....The survey [8] reports that the application of formal methods requires neither mathematicians nor extensive mathematical training of programmers and designers. Moreover, it decreases production costs and speeds up the release of products. For the applications of formal methods see also [14] and [13, 4] for an attempt to dispel popular misconceptions about them. According to [8] the use of formal methods on an industrial scale mainly consists in describing the behaviour of systems through abstract state machines and modularization techniques. Tool support is almost always reduced to text ....

J.P. Bowen and M.G. Hinchey. Seven more myths of formal methods: dispelling industrial prejudices. In Proceedings of FME'94 (Industrial Benefits of formal Methods), LNCS 873, pages 105--117. Springer-Verlag, 1994.

....BNFL) and development of techniques for specification of avionic control systems (with British Aerospace Defence [8] In most of these projects, we have been working with engineers who are are new to formal methods. In fact, we have found little of the industrial prejudice responded to in [9] and [10]. Software is specified by systems engineers The Software 2000 [11] working party noted that software is increasingly being developed for embedded applications 3 . One consequence of this is that many formal specifications will be written by systems engineers, who do not often have a ....

Jonathan P. Bowen and Michael G. Hinchey. Seven More Myths of Formal Methods: Dispelling Industrial Prejudices. In Maurice Naftalin, Tim Denvir, and Miquel Bertran, editors, FME'94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 105--117. Springer-Verlag, 1994.

....As a consequence, this meta encoding can not fully solve the problem since it raises the same problems of correctness on the meta level. 4 YATS the System YATS can be regarded as a step towards an IFDSE (Integrated Formal Development Support Environment) following the philosophy of [BH 95] or [Kri 95] Such systems support many stages of the formal development, from initial functional specifications, through design specifications and refinement. More elaborated systems will also provide a support for specification animation, version management etc. We believe that a high quality ....

Bowen, J. P., Hinchey, M. J., Seven more Myths of Formal Methods: Dispelling Industrial Prejudices, in FME'94: Industrial Benefit of Formal Methods, proc. 2nd Int. Symposium of Formal Methods Europe, LNCS 873, Springer Verlag 1994, pp. 105-117.

....by mathematical expressions and manipulated within the Formal Systems paradigm. However, this hypothesis is not a justification for the use of Formal Methods; for that we need to examine Software Engineering itself. The term The Software Crisis has been used in recent years [Tha88, Hal90, BH94] to describe a growing concern amongst users and procurers of software technology, about the continued high cost of software, especially when this is compared with the dramatically falling cost of hardware. Often, much of the cost of software can be attributed not just to the analysis, design and ....

.... CDD 90] Z [Lan91, LH92] and especially the new generation of formal methods 1 that avail themselves of both O O and automation advances such as the B Method [Abr92, Abr96, ALN 92, Abr91, Lan96] has sought to drive down the theoretical costs associated with applying formal methods [BH94] This, coupled with statistical evidence from real projects [BDW96] that demonstrates just how dramatically the cost of removing defects grows from specification to implementation and maintenance, suggests that perhaps the balance is turning, and that soon formal methods, and therefore ....

[Article contains additional citation context not shown here]

J. Bowen and M. Hinchey. Seven More Myths of Formal Methods: Dispelling Industrial Prejudices. In Proceedings of Formal Methods Europe 1994 (FME '94), number 873 in Lecture Notes in Computer Science, pages 105--117. SpringerVerlag, 1994.

No context found.

J. P.Bowen and M. G. Hinchey.Seven more myths of formal methods: Dispelling industrial prejudices. In Naftalin et al. [126], pages 105--117.

No context found.

J. P. Bowen and M. G. Hinchey. Seven more myths of formal methods: Dispelling industrial prejudices. In Naftalin et al. [126], pages 105--117.

No context found.

Bowen, J. P. & Hinchey, M. G. (1994), Seven More Myths of Formal Methods: Dispelling Industrial Prejudices, in Naftalin, Denvir & Bertran (1994), pp. 105 -- 117.

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