Verifying properties of process definitions

Proceedings of the ACM SIGSOFT 2000 International Symposium on Software Testing and Analysis

Volumn , Issue , 2000, Pages 96-101

  Cobleigh, Jamieson M ^a   Clarke, Lori A ^a   Osterweil, Leon J ^a  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; PROBLEM SOLVING;

SOFTWARE PROCESSES;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0034592876     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/347324.348876     Document Type: Conference Paper

References (14)

1. A. Bröckers and V. Gruhn. Computer-aided verification of software process model properties. In Proc. of the 5th Int. Conf. on Advanced Information Systems Engineering, pages 521-546, 1993.
2. A.G. Cass, H. Lee, B. S. Lerner, and L. J. Osterweil. Formally defining coordination process to support contract negotiations. TR 99-39, University of Massachusetts, Department of Computer Science, 1999.
3. J. C. Corbett and G. S. Avrunin. Using integer programming to verify general safety and liveness properties. Formal Methods in System Design, 6:97-123, Jan. 1995.
4. M. B. Dwyer and L. A. Clarke. Data flow analysis for verifying properties of concurrent programs. In Proc. of the ACM SIGSOFT '94 Symp. on the Foundations of Software Engineering, pages 62-75, Dec. 1994.
5. C. Fernström. PROCESS WEAVER: Adding process support to UNIX. In Second Int. Conf. on the Software Process, pages 12-26, 1993.
6. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtul-Trauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. on Software Engineering, 16(4):403-414, Apr. 1990.
7. G.J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279-295, May 1997.
8. R. Kadia. Issues encountered in building a flexible software development environment: Lessons from the Arcadia project. In Fifth ACM SIGSOFT Symp. on Software Development Environments, pages 169-180, 1992.
9. M. Kumar and S. I. Feldman. Internet auctions. TR, IBM Institute for Advanced Commerce, Nov 1998.
10. K. L. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic, 1993.
11. National Institute of Standards and Technology. Integration Definition For Function Modeling (IDEFO), 1993. Federal Information Processing Standards 183.
12. G. Naumovich, G. S. Avrunin, and L. A. Clarke. Data flow analysis for checking properties of concurrent Java programs. In Proc. of the Int. Conf. Software Engineering, pages 399-410, 1999.
13. L. Osterweil. Software processes are software too. In Proc. of the Int. Conf. on Software Engineering, pages 2-13, 1987.
14. A. Wise. Little-JIL 1.0 language report. TR 98-24, University of Massachusetts, Department of Computer Science, 1998.