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.