A. Wong and M. Chechik. Formal modeling in a commercial setting: a case study. In J.M. Wing, J. Woodcock, and J. Davies, editors, FM'99 - World Congress on Formal Methods in the Development of Computing Systems., volume I of Lecture Notes in Computer Science, pages 590--607, Toulouse, France, 1999. Springer-Verlag.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Methods When Money is Tight - Chechik, Wong (1999) Self-citation (Wong Chechik) (Correct)
....systems are defined as large software systems that do not require a level of assurance necessary in safety critical systems and are developed for profit. Observations made below are based on our experience conducting a formal methods feasibility study in collaboration with Nortel Networks (Nortel) [21]. 2 Making Formal Methods Economical The major challenge in making formal methods economical is to find ways to obtain immediate savings to compensate for the up front cost. One possible way is to leverage the investment in other stages of the software lifecycle, in particular in testing. An ....
....With the growing use of model checking techniques, such properties can often be verified quickly and effectively. If this verification is virtually free, it will be adopted. 3 Our Results We applied some of the principles mentioned above to the study that we have recently conducted at Nortel [21, 20]. We started by looking for a tool [19] that allowed combining formal modeling with generation (not necessarily automatic) of testcases and could be applied in the telecommunications domain, and chose SDT [17] an integrated software modeling and testing tool suite 3 that utilizes the ....
[Article contains additional citation context not shown here]
Andre Wong and Marsha Chechik. "Formal Modeling in a Commercial Setting: A Case Study". (submitted for publication), February 1999. 6
Managerial Issues for the Consideration and Use of Formal.. - Stidolph, Whitehead (2003) (Correct)
No context found.
A. Wong and M. Chechik. Formal modeling in a commercial setting: a case study. In J.M. Wing, J. Woodcock, and J. Davies, editors, FM'99 - World Congress on Formal Methods in the Development of Computing Systems., volume I of Lecture Notes in Computer Science, pages 590--607, Toulouse, France, 1999. Springer-Verlag.
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