MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Use of Formal Methods in Software Development." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

39 documents found, showing 1 through 10. Next 10 →

ATOM

Why Engineers Should Consider Formal Methods
by C. Michael Holloway — 1997 — In 1997 AIAA/IEEE 16th Digital Avionics Systems Conference
… presents a logical analysis of a typical argument favoring the use of formal methods for software…
Cited by 7 (0 self) – Add To MetaCart

A Generic Proof Checker
by Ba Pgdipinftech (qld, Geoffrey Norman Watson, Geoffrey Norman Watson — 2001
… must not forget my bo-bo dogs - Tara and Toby!) iv ABSTRACT The use of formal methods in software…
Add To MetaCart

TinMan - A Test Derivation and Management Tool for Specification-based Class Testing
by Leesa Murray, David Carrington, Ian Maccoll, Paul Strooper — 1999 — In Technology of ObjectOriented Languages and Systems (TOOLS
…, ianm, pstroop@(email omitted); Abstract Even with increasing use of formal methods for software…
Cited by 1 (1 self) – Add To MetaCart

Abstraction of Formal Specifications from Program Code
by Betty H.C. Cheng, Gerald C. Gannod — 1990 — in Proceedings for the IEEE 3rd International Conference on Tools for Artificial Intelligence
… Abstract The use of formal methods in software development is gaining increasing attention as software…
Cited by 7 (1 self) – Add To MetaCart

Why Are Formal Methods Not Used More Widely?
by John C. Knight, Colleen L. DeJong, Matthew S. Gibble, Luís G. Nakano — 1997 — Fourth NASA Formal Methods Workshop
… have claimed that the use of formal methods in software development would help industry meet its goals…
Cited by 13 (0 self) – Add To MetaCart

The Application of Formal Methods to the Reverse Engineering of Imperative Program Code
by Gerald C. Gannod, Gerald C. Gannod, Gerald C. Gannod, Gerald C. Gannod — 1994
… in the forward engineering aspect of software development. One of the advantages of using formal methods…
Add To MetaCart

System Design Validation Using Formal Models
by Peter Henderson — 1999
… use of formal methods in software development would lead to a great improvement in quality…
Cited by 3 (2 self) – Add To MetaCart

From requirements to C++ code via ASM models. A case study: The production cell control program.
by Egon Börger — 2000
… competition as comparative case study for the use of formal methods in software development, see [12] for a…
Add To MetaCart

Facilitating the Maintenance of Safety-Critical Systems
by Gerald Gannod, Betty H. C. Cheng — 1994 — The International Journal of Software Engineering and Knowledge Engineering
… of software development [3, 4, 5, 6, 7]. One of the advantages of using formal methods in software development…
Cited by 4 (4 self) – Add To MetaCart

Why Are Formal Methods Not Used More Widely?
by John Knight Colleen, John C. Knight, Colleen L. Dejong, Matthew S. Gibble, Luís G. Nakano
… both in the use of formal methods in software development and their evaluation. Then we present a…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB