S.L. Pfleeger and L. Hatton, "Investigating the Influence of Formal Methods," Computer, vol. 30, no. 2, Feb. 1997, pp. 33--43. For more information on this or any other computing topic, please visit our Digital Library at http://computer.org/publications/dlib. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Specification: A Systematic Evaluation - DeJong, Gibble, Knight, Nakano (1997) (Correct)
....methods are steady gaining acceptance in industry and they expressed the need for additional studies of the use of formal methods to provide feedback to the research community. Pfleeger and Hatton investigated the influence of formal methods in CDIS, an airtraffic control system built by Praxis [PH97]. The development of CDIS provided a context for comparing formal and informal methods because different parts of the system had been specified using different methods. Praxis had recorded statistics on the number of faults, errors, and changes in the system during its development. Pleeger and ....
Pfleeger, Shari Lawrence, and Les Hatton. "Investigating the Influence of Formal Methods." Computer 30(2):33-43, February, 1997.
Software Anthropology: Performing Field Studies in.. - Lethbridge, Sim, Singer (Correct)
....request with the SE to document problems encountered or strategies used along the way. These requests can be used in a number of ways. Pfleeger and Hatton analyzed fault reports for a system to evaluate the effect of adding formal methods to the development process of an air traffic control system [19]. Each module in the software system was designed using one of three formal methods or an informal method. Although the code designed using formal methods tended to have fewer faults, the results were not compelling even when combined with other data from a code audit and unit testing. Advantages: ....
S.L. Pfleeger and L. Hatton. "Investigating the Influence of Formal Methods", Computer, pages 33-43, February, 1997.
Formal Methods When Money is Tight - Chechik, Wong (1999) (Correct)
....than long term benefits. In contrast, most formal methods research traditionally focuses on achieving the higher quality of software. After an initial investment into creating formal specifications, applying formal methods can result in better understanding of systems, lower code complexity [16], and higher quality software artifacts (e.g. requirements and implementations) 5] These benefits logically lead to a reduction in the time and cost of the development, although they are perceived to be long term. Coupled with limitations such as generally complex notations, a lack of ....
Shari Lawrence Pfleeger and Les Hatton. "Investigating the Influence of Formal Methods". IEEE Computer, 30(2):33--43, February 1997.
Understanding and Improving Technology Transfer in.. - Shari Lawrence Pfleeger (1999) (4 citations) Self-citation (Shari) (Correct)
No context found.
Pfleeger, Shari Lawrence and Les Hatton, "Investigating the influence of formal methods," IEEE Computer, February 1997.
Making Change: Understanding Software Technology Transfer - Pfleeger (1998) Self-citation (Shari) (Correct)
No context found.
Pfleeger, Shari Lawrence and Les Hatton, "Investigating the influence of formal methods," IEEE Computer, February 1997.
Correctness by Construction: Developing a Commercial Secure.. - Hall, Chapman (2002) (2 citations) (Correct)
No context found.
S.L. Pfleeger and L. Hatton, "Investigating the Influence of Formal Methods," Computer, vol. 30, no. 2, Feb. 1997, pp. 33--43. For more information on this or any other computing topic, please visit our Digital Library at http://computer.org/publications/dlib.
A Critical Look at Design, Verification, and Validation of Large .. - Stevenson (1 citation) (Correct)
No context found.
S. Lawrence Pfleeger and L. Hatton. Investigating the influence of formal methods. Computer, 30(2):33--43, 1997.
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