Formal Modeling in a Commercial Setting: A Case Study

Wong, Andre; Chećhik, Marsha

doi:10.1007/3-540-48119-2_33

Search citation statements

Order By: Relevance

Paper Sections

Select...

Know Exactly Where You Need the Extra Effort1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2002

2003

Publication Types

Select...

Book2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Easterbrook describes the use of lightweight formal methods used selectively on identified problems with the results fed back into the existing process. NASA has used this process successfully in several cases, and a group at Nortel has concluded that selecting the right problem is critical to successful use of formal methods [48].…”

Section: Know Exactly Where You Need the Extra Effortmentioning

confidence: 99%

Managerial Issues for the Consideration and Use of Formal Methods

Stidolph¹,

Whitehead

2003

FME 2003: Formal Methods

View full text Add to dashboard Cite

The introduction of formal methods into the commercial community has been slow. This might, in part, be due to lack of guidance for program managers responsible for execution of a program, who must justify added expense or time to delivery. This paper first provides managers with guidance in deciding if a particular project is a good candidate for the use of formal methods. After the go/no go conditions are considered, the paper describes some of the management and reporting issues that may arise if the decision is made to use formal methods on a program.

show abstract

Section: Know Exactly Where You Need the Extra Effortmentioning

confidence: 99%