Measuring behavioral correspondence to a timed concurrent model

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2001, Pages 332-341

  Cook, Jonathan E ^a   He, Cha ^a   Ma, Changjun ^a  

^a New Mexico State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT AUTOMATA; CONCURRENT MODEL; FORMAL METHOD; MODEL CHECKING; SOFTWARE PROCESS ANALYSIS;

ALGORITHMS; APPROXIMATION THEORY; CALCULATIONS; COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; FORMAL LOGIC; REAL TIME SYSTEMS; REVERSE ENGINEERING;

SOFTWARE ENGINEERING;

EID: 77956619367     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2001.972746     Document Type: Conference Paper

References (14)

1. R. Alur and D. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126:183-235, 1994.
2. R. Alur, L. Jagadeesan, J. Kott, and J. von Olnhausen. Model-Checking of Real-Time Systems: A Telecommunications Application. In Proceedings of the 19th International Conference on Software Engineering, pages 514-524. ACM Press, May 1997.
3. J. Andrews and Y. Zhang. Broad-Spectrum Studies of Log File Analysis. In Proceedings of the 22nd International Conference on Software Engineering. IEEE Computer Society Press, June 2000. to appear.
4. G. Avrunin, U. Buy, J. Corbett, L. Dillon, and J. Wileden. Automated Analysis of Concurrent Systems with the Constrained Expression Toolset. IEEE Transactions on Software Engineering, 17(11):1204-1222, Nov. 1991.
5. T. Ball. The Concept of Dynamic Analysis. In Proceedings of the Seventh European Software Engineering Conference / Seventh ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 216-234. Springer-Verlag, Sept. 1999.
6. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, MA, 1999.
7. V. Braberman and M. Felder. Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. In Proceedings of the Seventh European Software Engineering Conference / Seventh ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 494-510. Springer-Verlag, Sept. 1999.
8. S. Cheung and J. Kramer. Checking Safety Properties Using Compositional Reachability Analysis. ACM Transactions on Software Engineering and Methodology, 8(1):49-78, Jan. 1999.
9. J. Cook, L. Votta, and A. Wolf, Cost-Effective Analysis of In-Place Software Processes. IEEE Transactions on Software Engineering, 24(8):650-663, Aug. 1998.
10. J. Cook and A. Wolf. Event-Based Detection of Concurrency. In Proceedings of the Sixth ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 35-45, Nov. 1998.
11. J. Cook and A. Wolf. Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model. ACM Transactions on Software Engineering and Methodology, 8(2):147-176, Apr. 1999.
12. P. Godefroid, D. Peled, and M. Staskauskas. Using Partial Order Methods in the Formal Validation of Industrial Concurrent Programs. IEEE Transactions on Software Engineering, 22(7):496-507, 1996.
13. D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333, Oct. 1996.
14. L. Moser, Y. Ramakrishna, G. Kutty, P. Melliar-Smith, and L. Dillon. A Graphical Environment for the Design of Concurrent Real-Time Systems. ACM Transactions on Software Engineering and Methodology, 6(1):31-79, Jan. 1997.