Formal Methods: List of References
References on Formal Specification Methods

Statecharts

[Har87] David Harel. Statecharts: A visual formulation for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.

[Har88] David Harel. "On Visual Formalisms" Communications of the ACM. Vol. 31, Num. 5, May 1988, pp. 514-530.

[iLo87] D. Harel, A. Pnueli, J. P. Schmidt, R. Sherman. "On the formal semantics of statecharts (extended abstract)" In Proceedings, Symposium on Logic in Computer Science, pages 54-64, Ithaca, New York, 22-25 June 1987. The Computer Society of the IEEE.

[STM] iLogix. The Languages of Statemate. 22 Third Avenue, Burlington, MA 01803. November 1987.

[iLo90] David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403-414, April 1990.

[STMweb] An overview of the STATEMATE family can be found online, 1997.

[iLoweb] Some industrial uses of iLogix tools can be found online, 1997.

[Day93] Nancy Day. "A Model Checker for Statecharts (Linking CASE tools with Formal Methods)" Technical Report 93-35, Department of Computer Science, University of British Columbia, October 1993.

[Day94] N. Day, J.Joyce, and M. Donat. "S : A Machine Readable Specification Notation based on Higher Order Logic" Proceedings of the 1994 International Meeting on Higher Order Logic Theorem Proving and its Applications, Lecture Notes in Computer Science, vol. 859, pp.285-299, Springer-Verlag.

[Dayweb] Ongoing progress on Fusion (Fuss + scsim) available online, 1997.

[JM94] F. Jahanian and A. Mok. "Modechart: a specification language for real-time systems" IEEE Transactions on Software Engineering, 12(9):890-904.

[CTLR93] P. C. Clements, C. L. Heitmeyer, B. G. Labaw, A. T. Rose. "MT: A Toolset for Specifying and Analyzing Real-Time Systems" Proceedings of the Real-Time Symposium, Raleigh-Durham, NC, December 1-3, 1993, pp. 12-22.

[PMS95] Carlos Puchol, Aloysius K. Mok and Douglas A. Stuart. "Compiling Modechart Specifications" Technical Report CS-TR-95-38, Department of Computer Science, University of Texas at Austin, October 1, 1995.

[NW96] C. R. Nobe and W. E. Warner. "Lessons Learned from a Trial Application of Requirements Modeling using Statecharts" Proceedings the Second International Conference on Requirements Engineering, April 15-18, 1996, pp. 86-93.

[BMweb] Information on BetterMate, a product of R-Active Concepts, Inc. can be found online, 1997.

Z

[Dil94] Antoni Diller. Z: An Introduction to Formal Methods. John Wiley & Sons, Chichester: 1994.

[Zweb] Information on the Z language can be found online, 1997.

[Jac95] Jonathan Jacky. "Specifying a Safety-Critical Control System in Z" IEEE Transactions on Software Engineering, Vol. 21, No. 2, February 1995, pp. 99-106.

[AA92] Amla, Nina and Paul Ammann. "Using Z Specifications in Category Partition Testing" IEEE, 1992, pp. 3-10.

PVS

[AH96] Myla M. Archer and Constance L. Heitmeyer. "Mechanical Verification of Timed Automata: A Case Study," Proceedings of the 1996 Real-Time Technology and Applications Symposium, 1996.

SCR

[Hen80] Kathryn L. Heninger. "Specifying Software Requirements for Complex Systems: New Techniques and Their Application" IEEE Transactions on Software Engineering, Vol. 6, No. 1, January, 1980, pp. 2-13.

[HJL96] Constance L. Heitmeyer, Ralph D. Jeffords, and Bruce G. Labaw. "Automated Consistency Checking of Requirements Specifications" ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3, July 1996, pp. 231-261.

[HBGL95] C. Heitmeyer, A. Bull, C. Gasarch and B. Labaw, "SCR*: A Toolset for Specifying and Analyzing Requirements," Proceedings of the Tenth Annual Conference on Computer Assurance (COMPASS `95), Gaithersburg, MD, June 25-29, 1995, pp. 109-122.

[SPC92] Stuart Faulk, John Brackett, Paul Ward, James Kirby. "The Core Method for Real-Time Requirements" IEEE Software, September 1992.

Evaluation of Formal Specification Languages

[CGR93] Dan Craigen, Susan Gerhart, Ted Ralston. "An International Survey of Industrial Applications of Formal Methods" U.S. Department of Commerce, March 1993.

[Rus93] John Rushby. "Formal Methods and the Certification of Critical Systems" Technical Report CSL-93-7, SRI International, December 1993.

[Fau95] Stuart Faulk. "Software Requirements: A Tutorial" Technical Report NRL/MR/5546--95-7775, Naval Research Laboratories, November 14, 1995.

[Ard96] Mark A. Ardis, John A. Chaves, Lalita J. Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, and James Von Olnhausen. "A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report" IEEE Transactions on Software Engineering, Vol. 22, No. 6, June 1996, pp. 378-389.


References compiled by Colleen DeJong