K. Koskimies, T. Mannisto, T. Systa, and J. Tuomi, "Automated support for OO software," IEEE Software, vol. 15, no. 1, pp. 87--94, Jan./Feb. 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Inference of Message Sequence Charts - Alur, Etessami, Yannakakis (2002) (24 citations) (Correct)
....Engineering, pages 304 313, 2000. already motivated the development of algorithms for a variety of analyses including detecting race conditions and timing conflicts [3] pattern matching [22] detecting non local choice [6] and model checking [4] and tools such as uBET [13] MESA [7] and SCED [15]. An individual MSC depicts a potential exchange of messages among communicating entities in a distributed software system, and corresponds to a single (partial order) execution of the system. The requirements specification is given as a set of MSCs depicting different possible executions. We show ....
K. Koskimies, T. Mannisto, T. Systa, and J. Tuomi. Automated support for OO software. IEEE Software, 15(1):87--94, Jan./Feb. 1998.
Inference of Message Sequence Charts - Alur, Etessami, Yannakakis (2000) (24 citations) (Correct)
....yields a high pay off. This has already motivated the development of algorithms for a variety of analyses including detecting race conditions and timing conflicts [1] pattern matching [17] detecting non local choice [4] and model checking [2] and tools such as uBET [11] MESA [5] and SCED [13]. An individual MSC depicts a potential exchange of messages among communicating entities in a distributed software system, and corresponds to a single (partial order) execution of the system. The requirements specification is given as a set of MSCs depicting different possible executions. We show ....
K. Koskimies, T. Mannisto, T. Systa, and J. Tuomi. Automated support for OO software. IEEE Software, 15(1):87--94, Jan./Feb. 1998.
Inference of Message Sequence Charts - Alur, Etessami, Yannakakis (2003) (24 citations) (Correct)
No context found.
K. Koskimies, T. Mannisto, T. Systa, and J. Tuomi, "Automated support for OO software," IEEE Software, vol. 15, no. 1, pp. 87--94, Jan./Feb. 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