Lightweight analysis of operational specifications using inference graphs

Proceedings - International Conference on Software Engineering

Volumn 2001-May, Issue , 2001, Pages 57-67

  Dillon, Laura K ^a   Stirewalt, R E Kurt ^a  

^a Michigan State University   (United States)

Author keywords

Analysis and verification; Automated software generators; Formal methods; Lightweight analysis components; Operational specifications; Patterns and frameworks; Testing

Indexed keywords

COMPUTER SIMULATION LANGUAGES; FORMAL SPECIFICATION; SEMANTICS; SOFTWARE TESTING; SPECIFICATION LANGUAGES; ALGORITHMS; COMPUTER SIMULATION; OBJECT ORIENTED PROGRAMMING; SYNTACTICS; TESTING;

ANALYSIS AND VERIFICATIONS; AUTOMATED SOFTWARE GENERATOR; HIGH-LEVEL ANALYSIS; LIGHTWEIGHT ANALYSE COMPONENT; LIGHTWEIGHT COMPONENTS; OPERATIONAL DESIGN; OPERATIONAL SPECIFICATIONS; PATTERN AND FRAMEWORK; SOFTWARE GENERATORS; SPECIFICATION AND DESIGNS; AUTOMATED SOFTWARE GENERATORS; FORMAL METHDS; INTERFERENCE GRAPH; LIGHTWEIGHT ANALYSIS;

MODEL CHECKING; COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0035013224     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2001.919081     Document Type: Conference Paper

References (17)

1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, Reading, MA, 1987.
2. I. Attali and D. Parigot. Integrating natural semantics and attribute grammars: The Minotaur system. Tech. Rep. 2339, INRIA Sophia Antipolis, 1994.
3. G. Berry and G. Gonthier. The ESTEREL synchronous programming language; design, semantics, implementation. Science of Computer Programming, 19:87-152, 1992.
4. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language Lotos. Comp. Netw. ISDN Sys., 14(1), 1987.
5. P. Borras et al. Centaur: The system. In Proc. SIG-SOFT'88, Third Symp. Software Development Environments, Boston, 1988.
6. A. J. Camilleri. Mechanizing CSP trace theory in Higher Order Logic. IEEE Trans. Softw. Eng., 16(9):993-1004, September 1990.
7. R. Cleaveland and S. Sims. Generic tools for verifying concurrent systems. To appear in Science of Computer Programming, 1999.
8. Nancy A. Day and Jeffrey J. Joyce. Symbolic functional evaluation. In 12th Internatl. Conf Theorem Proving in Higher Order Logics, LNCS 1690, pp. 341-358, Springer, 1999.
9. Nancy A. Day and Jeffrey J. Joyce. A framework for multi-notation specification and analysis. In Fourth IEEE Internatl. Conf. RequirementsEngineering, June 2000. To appear.
10. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Publishing Company, Reading, Massachusetts, 1995.
11. B. Gramlich and F. Pfenning. Strategic principles in the design of Isabelle. In Work. Strategies in Automated Deduction, pp. 11-16, Lindau, Germany, July 1998.
12. G. Kiczales et al. Aspect oriented programming. In European Conf. Object-Oriented Programming, 1997.
13. Karl Lieberherr, David Lorenz, and Mira Mezini. Programming with Aspectual Components. Technical Report NU-CCS-99-01, College of Computer Science, Northeastern University, Boston, MA, March 1999.
14. Manna and A. Pneuli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1991.
15. G. D. Plotkin. A structuralapproach to operational semantics. Tech. Rep. DAIMI bFN-19, Computer Science Department, Aarhus University, 1981.
16. R. E. K. Stirewalt and L. K. Dillon. A component-based approach to building formal analysis tools. In Proc. 2001 Internatl. Conf. Software Engineering, 2001. To appear.
17. G. A. Venkatesh and C. N. Fischer. Spare: A development environment for program analysis algorithms. IEEE Trans. Sofw. Eng., 18(4):304-318, April 1992.