Formal methods for verification and validation of partial specifications: A case study

Journal of Systems and Software

Volumn 40, Issue 3, 1998, Pages 199-210

  Easterbrook, Steve ^a,b   Callahan, John ^a  

^a NASA HEADQUARTERS   (United States)

^b NASA IV and V Facility   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR ANALYSIS; MATHEMATICAL MODELS; PROBLEM SOLVING; SOFTWARE ENGINEERING; THEOREM PROVING;

FORMAL SPECIFICATION METHODS;

FORMAL LOGIC;

EID: 0032022908     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(97)00167-2     Document Type: Article

References (19)

1. Arthur, J. D., Groener, M. K., Gupta, S., Cannon, M., and Khan, Z. Reducing the Mean Time to Remove Faults Through Early Error Detection: An Experiment in Independent Verification and Validation. 18th Minnowbrook Workshop on Software Engineering, Blue Mountain Lake, NY, 1996.
2. Basili, V. The Experience Factory and Its Relationship to other Improvement Paradigms. Proceedings of the 4th European Software Engineering Conference (ESEC'93), Garmisch-Partenkirchen, Germany, September 1993.
3. Bharadwaj, R. and Heitmeyer, C. L. Verifying SCR Requirements Specifications using State Exploration. Proceedings of the First ACM SIGPLAN Workshop on Automatic Analysis of Software, Paris, France, January 14, 1997.
4. Butler, R. W., Caldwell, J. L., Carreno, V. A., Holloway, C. M., Miner, P. S., and Di Vito, B. L. NASA Langley's Research and Technology Transfer Program in Formal Methods. Tenth Annual Conference on Computer Assurance (COMPASS 95), Gaithersburg, MD, June 1995.
5. Callahan, J. R. and Montgomery, T. L. An Approach to Verification and Validation of a Reliable Multicasting Protocol. International Symposium on Software Testing and Analysis (ISSTA'96), San Diego, CA, 8-10.
6. Callahan, J. D. and Sabolish, G. A Process Improvement Model for Software Verification and Validation. Journal of the Quality Assurance Institute, Vol. 10, pp. 24-32 (1996).
7. Craigen, D., Gerhart, S. L., and Ralston, T. Formal Methods Reality Check: Industrial Usage. IEEE Transactions on Software Engineering, Vol. 21, pp. 90-98 (1995).
8. Easterbrook, S. M. The Role of Independent IV & V in Upstream Software Development Processes. Second World Conference on Integrated Design and Process Technology (IDPT-96), Austin, TX, Dec. 1996
9. Easterbrook, S. M. and Nuseibeh, B. A. Managing Inconsistencies in an Evolving Specification. Second IEEE Symposium on Requirements Engineering, York, UK, 1995.
10. Easterbrook, S. M. and Nuseibeh, B. Using Viewpoints for Inconsistency Management. Software Engineering Journal, Vol. 11, pp. 31-43 (1996).
11. Hall, A, Using Formal Methods to Develop an ATC Information System. IEEE Software, Vol. 13, pp. 66-76 (1996).
12. Heimdahl, M. and Leveson, N. Completeness and Consistency Analysis of State-Based Requirements. IEEE Transactions on Software Engineering, Vol. 22, pp. 363-377 (1996).
13. Heitmeyer, C. L., Labaw, B., and Kiskis, D. Consistency Checking of SCR-Style Requirements Specifications. Second IEEE Symposium on Requirements Engineering, York, UK, March 27-29, 1995.
14. Holtzmann, G. J. Design and Validation of Computer Protocols. Prentice Hall, 1991.
15. Jackson, D. and Damon, C. A. Elements of Style: Analyzing a software design with a counter-example detector. International Symposium on Software Testing and Analysis (ISSTA '96), San Diego, CA, 8-10, January, 1996.
16. Jet Propulsion Lab, Cost-effectiveness of Software Independent Verification and Validation. NASA JPL, Pasadena, CA, NASA RTOP report, 1985.
17. Kemmerer, R. A. Integrating Formal Methods into the Development Process. IEEE Software, Vol. 7, pp. 37-50 (1990).
18. Lewis, R. O. Independent Verification and Validation: A Lifecycle Engineering Process for Quality Software. J. Wiley & Sons, 1992.
19. Saiedian, H., Bowen, J. P., Butler, R. W., Dill, D. L., Glass, R. L., Hall, A., Hinchey, M. G., Holloway, C. M., Jackson, D., Jones, C. B., Lutz, M. J., Parnas, D. L., Rushby, J., Wing, J., and Zave, P. An Invitation to Formal Methods. IEEE Computer, Vol. 29, pp. 16-30 (1996).