Bibliography on the Trace Assertion Method

Bartussek, W., Parnas, D.L., "Using Traces to Write Abstract Specifications for Software Modules", in Proc. 2nd Conference of European Cooperation in Informatics, Springer-Verlag, LNCS 65, 1978, pp. 211-236; Reprinted in Gehani, N., McGettrick, A.D. (Eds.), Software Specification Techniques, AT&T Bell Telephone Laboratories, 1985, pp. 111-130.

Bojanowski, J., Iglewski, M., Madey, J., Obaid, A., "Functional Approach to Protocols Specification", in Protocol Specification, Testing and Verification XIV, Vuong, S.T., Chanson, S.T. (Eds.), Chapman & Hall, 1995, pp. 395-402.

Britton, K.H., Clements, P.C., Parnas, D.L., Weiss, D.M., "Interface Specifications for the SCR (A-7E) Extended Computer Module", U.S. Naval Res. Lab., Washington D.C., NRL Memorandum Rep. 5502, 1984; p. 129.

Desrosiers, B., Iglewski, M., Obaid, A., "Utilisation de la méthode de traces pour la définition formelle d'un protocole de communication", Electronic Journal on Networks and Distributed Processing, No. 2, September 1995, pp. 57-73.

Iglewski, M., Kubica, M., Madey, J., "An Editor for the Trace Assertion Method", in Proceedings of the 10th International Conference of CAD/CAM, Robotics and Factories of the Future: CARs & FOF'94, M.Zaremba (Ed.), OCRI, Ottawa, Ontario, Canada,1994, pp.876-881.

Iglewski, M., Kubica, M., Madey, J., "Trace Specifications of Non-deterministic Multi-object Modules", in Algorithms, Concurrency and Knowledge, K.Kanchacasut, J-J.Levy (Eds.), Proceedings of the 1995 Asian Computer Science Conference, Pathumthani, Thailand, December 1995, Springer-Verlag LNCS 1023, 1995, pp.381-395.

Iglewski, M., Kubica, M., Madey, J., Mincer-Daszkiewicz, J., Stencel, K., "The Fun-Project: From Requirements Specification to Program Presentation", Warsaw University, Institute of Informatics, Warsaw, Poland, Technical Report TR 95-18 (218), 1995, p. 27.

Iglewski, M., Kubica, M., Madey, J., Mincer-Daszkiewicz, J., Stencel, K., "Report on TAM'97: the Trace Assertion Method of Module Interface Specification. Reference Manual", Warsaw University, Institute of Informatics, Warsaw, Poland, Technical Report TR 97-01 (238), 1997, p. 72.

Iglewski, M., Madey, J., Parnas, D.L., Kelly, P.C., "Documentation Paradigms", CRL Report No. 270, McMaster University, CRL, Telecommunication Research Institute of Ontario (TRIO), Hamilton, Ontario, Canada, 1993.

Iglewski, M., Madey, J., Stencel, K., "On Fundamentals of the Trace Assertion Method", Technical Report RR 94/09-6, Université du Québec à Hull, Hull, Québec, Canada, 1994.

Iglewski, M., Mincer-Daszkiewicz, J., Stencel, K., "Case Study in Trace Specification of Non-deterministic Modules", in Proceedings of the CS&P'95 Workshop, Warsaw, Poland, October 11-13, 1995.

Janicki, R., "On Foundations of the Trace Assertion Method", Technical Report TR 95-04, McMaster University, Dep. of Computer Science and Systems, Hamilton, Ont. 1995, p.35.

Kolodziejski, P., Majewska, M., "Specification of UNIX File System in the Trace Assertion Method" [in Polish], MSc Thesis, Warsaw University, Institute of Informatics, 1996, p.196.

Kubica, M., "TAM'97: the Trace Assertion Method of Module Interface Specification. Formal Semantics", Warsaw University, Institute of Informatics, Warsaw, Poland, Technical Report, in preparation.

Lasota, S., "Semantics of specifications in the Trace Assertion Method" [in Polish], MSc Thesis, Warsaw University, Institute of Informatics, 1995, p.44.

McLean, J.D., "A Formal Foundation for the Abstract Specification of Software", Journal of the ACM, Vol. 31, No. 3, July 1984, pp. 600-627.

Norvell, T.S., "On Trace Specifications", CRL Report 305, McMaster University, Communications Research Laboratory (CRL), July 1995, p.45.

Parnas, D.L., "The Use of Precise Specifications in the Development of Software", Proceedings of the IFIP Congress, 1977, North Holland Publishing Company, pp. 861-867.

Parnas, D.L., Madey, J., "Functional Documents for Computer Systems", Science of Computer Programming, Vol. 25, 1995, pp. 41-61.

Parnas, D.L., Wang, Y., "The Trace Assertion Method of Module Interface Specification", Technical Report 89-261, Queen's University, C&IS, Telecommunication Research Institute of Ontario (TRIO), Kingston, Ontario, Canada, 1989.

Stencel, K., "Refined Simulation Techniques for the Trace Assertion Method", Warsaw University, Institute of Informatics, Warsaw, Poland, Technical Report TR 95-17 (217), 1995, p. 11.

Wang, Y., "Specifying and Simulating the Externally Observable Behavior of Modules", (Ph.D. Thesis), CRL Report No. 292, McMaster University, CRL, Telecommunication Research Institute of Ontario (TRIO), Hamilton, Ontario, Canada, 1994.