Andre Wong and Marsha Chechik. "Applying Formal Methods to a Telecommunications System in a Commercial Setting'. CSRG Technical Report 377, Department of Computer Science, University of Toronto, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Methods for Communication Services - Dietrich, Hubaux (1999) (2 citations) (Correct)
....methods like Fusion or UML. This trend is likely to continue. An important issue that has been addressed inadequately in FM research, is the iterative development of communication services. Formal models must be kept consistent with the changing system requirements and the code. The authors of [82] point out that this is possibly one of the biggest obstacles in applying formal modelling techniques and that it requires firm commitments from the entire development team. 5 Transferring Formality to Industry: An Example Over the last four years several researchers at the Swiss Federal ....
A. Wong and M. Chechik. Applying formal methods to a telecommunications system in a commercial setting. In 11th International Conference on Software Engineering & its Applications, Paris, France, November 1998.
Applying Formal Methods to a Telecommunications System in a.. - Wong, Chechik (1998) (1 citation) Self-citation (Wong Chechik) (Correct)
....stable requirements; ffl was not too broad in scope but contained complex parts; 1 Nortel, for the purpose of this paper, refers to the Toronto Multimedia Applications Center of Nortel Networks. 2 This paper only highlights important aspects of the project. Readers are advised to consult [14] for more details. 2 ffl was relatively self contained and had loose coupling with the underlying system; ffl was reactive almost all inputs resulted in outputs that accurately indicated the state of the system [10] We worked with a group of Nortel engineers, consisting of developers from ....
Andre Wong and Marsha Chechik. "Applying Formal Methods to a Telecommunications System in a Commercial Setting'. CSRG Technical Report 377, Department of Computer Science, University of Toronto, 1998.
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