Formal Methods: Promises And Problems

Successfully applying formal methods to software development promises to move us closer to a true engineering discipline. The authors offer suggestions for overcoming the problems that have hindered the use of formal methods thus far.

[1]  Dan Craigen,et al.  An International Survey of Industrial Applications of Formal Methods , 1992, Z User Workshop.

[2]  Joseph A. Goguen,et al.  Principles of parameterized programming , 1989 .

[3]  Jonathan P. Bowen,et al.  Seven More Myths of Formal Methods , 1995, IEEE Softw..

[4]  Joseph A. Goguen,et al.  An Object-Oriented Tool for Tracing Requirements , 1996, IEEE Softw..

[5]  Michael R. Lowry,et al.  Deductive Composition of Astronomical Software from Subroutine Libraries , 1994, CADE.

[6]  Luqi,et al.  A Prototyping Language for Real-Time Software , 1988, IEEE Trans. Software Eng..

[7]  Erwin Engeler,et al.  Structure and meaning of elementary programs , 1971, Symposium on Semantics of Algorithmic Languages.

[8]  Luqi,et al.  An introduction to the specification language SPEC , 1990, IEEE Software.

[9]  W. Wayt Gibbs,et al.  Software's Chronic Crisis , 1994 .

[10]  Luqi.  Software evolution through rapid prototyping , 1989, Computer.

[11]  Will Tracz,et al.  Parametrized programming in LILEANNA , 1993, SAC '93.

[12]  Will Tracz,et al.  LILEANNA: a parameterized programming language , 1993, [1993] Proceedings Advances in Software Reuse.

[13]  Jonathan P. Bowen,et al.  Seven More Myths of Formal Methods , 1994, FME.

[14]  Valdis Berzins.  Software merging and slicing , 1995 .

[15]  James D. Arthur,et al.  Assessing the adequacy of documentation through document quality indicators , 1989, Proceedings. Conference on Software Maintenance - 1989.

[16]  Alan M. Davis,et al.  Software requirements - analysis and specification , 1990 .

[17]  L. Bernstein.  Get the design right (software prototyping) , 1993, IEEE Software.

[18]  Joseph A. Goguen,et al.  Requirements engineering as the reconciliation of social and technical issues , 1994 .

[19]  Lowell Jay Arthur.  Software evolution: the software maintenance challenge , 1988 .

[20]  Luqi,et al.  Suggestions for progress in software analysis, synthesis and certification , 1994, SEKE.

[21]  Luqi,et al.  Software engineering with abstractions , 1991 .