CRL REPORTS


CRL Report 238     "Formal and Abstract Software Module Specifications - A Survey (Version 2)"    
                                        Wang, Y.    
                                        abstract
                                        August 1994 (Reprinted Date)

CRL Report 241     "Predicate Logic for Software Engineering"    
                                        Parnas, D.L.    
                                        abstract
                                        February 1992

CRL Report 242     "The A-7 Requirements Model: Re-Examination for Real-Time Systems and an Application To Monitoring Systems"    
                                        Van Schouwen, A.J.     abstract (Previously printed as Queen's Technical Report 90-276
                                        May 1992

CRL Report 245     "An Analysis of Black-Box Testing Techniques"    
                                        Woit, D.M.    
                                        abstract
                                        May 1995

CRL Report 246     "Realistic Expectations of Random Testing"    
                                        Woit, D.M.    
                                        abstract
                                        May 1992

CRL Report 247     "Trace Rewriting Systems"    
                                        Parnas, D.L.   Wang, Y.    
                                        abstract
                                        October 1992

CRL Report 258     "The Usefulness of the Trace Assertion Method for Specifying Device Module Interfaces"    
                                        Erskine, N.S.    
                                        abstract
                                        August 1992

CRL Report 259     "Formal Documentation of Well-structured Programs"    
                                        Parnas, D.L.   Madey, J.   Iglewski, M.    
                                        abstract
                                        September 1992

CRL Report 260     "Tabular Representation of Relations"    
                                        Parnas, D.L.    
                                        abstract   compressed ps file   or   PDF file
                                        October 1992

CRL Report 263     "Estimating Software Reliabiltiy with Hypothesis Testing"    
                                        Woit, D.M.    
                                        abstract   ps file
                                        April 1993

CRL Report 264     "Towards a Formal Semantics of Tables",    
                                        Janicki, R.    
                                        abstract
                                       

CRL Report 265     "Normal and Inverted Function Tables"    
                                        Zucker J.I.    
                                        abstract   ps file
                                        December 1993

CRL Report 267     "Black-Box Software Testing Using Module Interface Specifications"    
                                        Abraham, R.F.    
                                        abstract   compressed ps file   or   PDF file
                                        April 1993

CRL Report 268     "Table Holder Interface Black-Box Testing Report",    
                                        Abraham, R.F.    
                                        abstract
                                       

CRL Report 269     "Formally Specifying a Communications Protocol Using the Trace Assertion Method"    
                                        Courtois, F., Parnas, D.L.    
                                        abstract
                                        July 1993

CRL Report 270     "Documentation Paradigms (A Progress Report)",    
                                        Iglewski, M. Madey, J. Parnas, D.L. Kelly, P.,    
                                        abstract
                                        July 1993

CRL Report 281     "Operational Profile Specification, Test Case Generation and Reliability Estimation
                                        for Modules"     Woit, D.M.    
                                        abstract     ps file
                                        February 1994

CRL Report 288     "Six Recent Papers for Software Engineering"    
                                        Parnas, D.L.     and     Peters, D.K.    
                                        June 1994

CRL Report 289     "A Template/Overlay Approach to Displaying and Printing Tables"    
                                        Zhang, L.
                                        June 1994

CRL Report 290     "Computable Functions on Stream Algebras"    
                                        Tucker J.V.     Zucker J.I.    
                                        abstract   ps file
                                        July 1994

CRL Report 291     "Transformations of Normal and Inverted Function Tables"    
                                        Zucker J.I.    
                                        abstract   ps file
                                        August 1994

CRL Report 292     "Specifying and Simulating The Externally Observable Behaviour of Modules"    
                                        Wang, Y.    
                                        abstract
                                        August 1994

CRL Report 293     "Experience with the Use of Precise Documentation",    
                                        Bauer, B., Parnas, D.L.    
                                        abstract
                                        August 1994

CRL Report 297     "Display Management System, A tool to support the Display Method"    
                                        Wang, Y.    
                                        abstract
                                        April 1995

CRL Report 302     "Generating a Test Oracle from Program Documentation"    
                                        Peters, D.K.    
                                        abstract     compressed ps file   or   PDF file
                                        April 1995

CRL Report 303     ""Direct" Model Checking of Temporal Properties"    
                                        Bharadwaj, R.,    
                                        abstract     compressed ps file   or   PDF file
                                        May 1995

CRL Report 304     "SNAP: A Validator/Annotator for Proofs of Distributed Programs"    
                                        Bharadwaj, R., Stomp, F.A.    
                                        abstract     compressed ps file   or   PDF file
                                        May 1995

CRL Report 305     "On Trace Specifications"    
                                        Norvell, T.S.    
                                        abstract   ps file
                                        July 1995

CRL Report 306     "System Documentation Using Tables - a short course"    
                                        Wilder, A.J.   Tucker J.V.    
                                        abstract     compressed ps with pictures   or   compressed ps w/o pictures
                                        May 1995

CRL Report 307     "Comparing Function Tables Using Partition Predicates",    
                                        Dudek, Z.,    
                                        abstract
                                        September 1995

CRL Report 309 (substantially revised version of CRL #237)     "Functional Documentation for Computer Systems Engineering"    
                                        Parnas, D.L.   Madey, J.    
                                        abstract       ps file       PDF file
                                        October 1995

CRL Report 313     "Tabular Representations in Relational Documents",    
                                        Janicki, R.   Parnas, D.L.   Zucker J.I.    
                                        abstract      ps file       PDF file
                                        December 1995

CRL Report 314     "Refined Simulation Techniques for the Trace Assertion Method"    
                                        Stencel K.    
                                        abstract
                                        December 1995

CRL Report 315     "Implementation of Table Inversion Algorithms"    
                                        Shen, H.    
                                        abstract   compressed ps file
                                        December 1995

CRL Report 316     "Documenting Complicated Programs",    
                                        Bauer, B.,    
                                        abstract   tar file (Report is 300 pgs.)
                                        December 1995

CRL Report 317     ""Direct" Model Checking of Temporal Properties (Version 2)"    
                                        Bharadwaj, R.,     Zucker J.I.    
                                        abstract     compressed ps file   or   PDF file
                                        January 1996

CRL Report 325 & 326 "Program Functions and Abstraction Functions for the TTP Table Holder"    
                                        Wang M.H.    
                                        abstract
                                        July 1996

CRL Report 327     "Tools to Support a Formal Verification Method for Systems with Concurrency and Nondeterminism"    
                                        Bharadwaj, R.,    
                                        abstract     compressed ps file   or   PDF file
                                        April 1996

CRL Report 328     "Table Transformation Tools: Why and How"    
                                        Shen, S.,   Zucker J.I.   Parnas, D.L.  
                                        abstract     ps file
                                        April 1996

CRL Report 330     "Table Construction Tool"    
                                        Li, W.    
                                        abstract
                                        July 1996

CRL Report 337     "Software Reliability Estimation Tool"    
                                        Li, ChunMing    
                                        abstract
                                        December 1996

CRL Reports 339 & 340     "Table Tool System Developer's Guide"    
                                        McMaster University Software Engineering Research Group    
                                        abstract     339 - compressed ps file   or   340 - compressed ps file
                                        January 1997

CRL Report 346     "Evaluating Generalized Tabular Expressions in Software Documentation"    
                                        Abraham, R.F.    
                                        abstract     compressed ps file
                                        February 1997

CRL Report 348     "Foundations of the Trace Assertion Method of Module Interface Specification"    
                                        Janicki, R.    
                                        abstract   compressed ps file   or   PDF file
                                        March 1997

CRL Report 350     "Algebra of Normal Function Tables"    
                                        von Mohrenschildt, M.    
                                        abstract   compressed ps file   or   PDF file
                                        May 1997

CRL Report 351     "Estimating Software Reliability Using Inverse Sampling"    
                                        Singh, B.   Viveros, R.   Parnas, D.L.    
                                        abstract compressed ps file   compressed graphs ps file   or   PDF file   graphs PDF file
                                        August 1997

CRL Report 352     "A Grand Table Interface Specification/Developer's/User's Guide"    
                                        Vulanovic, I.,   von Mohrenschildt, M.    
                                        abstract   GTI Homepage
                                        August 1997

CRL Report 355     "On a Formal Semantics of Tabular Expressions"    
                                        Janicki, R.    
                                        abstract   compressed ps file   or   PDF file
                                        October 1997

CRL Report 359     "Precisely Annotated Hierarchial Pictures of Programs"    
                                        Parnas, D.L.   Lawton, A.    
                                        abstract   compressed ps file   or   ps zipped   or   PDF file  
                                       
                                        NOTE: Appendix not online. For a complete copy of the report, please email dburns@mcmaster.ca March 1998

CRL Report 360     "Specialization: An Approach to Simplifying Tables in Software Documentation"    
                                        Rastogi, P.    
                                        abstract   compressed ps file   or   PDF file
                                        March 1998

CRL Report 361     "Software Engineering Programmes are not Computer Science Programmes"    
                                        Parnas, D.L.    
                                        abstract   ps file   or   compressed ps file   or   zipped   or   PDF file
                                        June 1998

CRL Report 363     "Table Transformations: Theory and Tools"    
                                        Zucker J.I.     Shen, H.    
                                        abstract   ps file   or   compressed ps file   or   PDF file
                                        August 1998

CRL Report 364     "Function Composition Tool"    
                                        Tyson, A.H.,     abstract   compressed ps file   or   PDF file
                                        September 1998

CRL Report 367     "Requirements Specification and Design of a Simplified Telephone Network by Functional Documentation"    
                                        Bredereke, J.,    
                                        abstract   ps file
                                        December 1998

CRL Report 368     "Inspection Procedures for Critical Programs that Model Physical Phenomena",
                                        Kreyman, K.   Parnas, D.L.   Qiao, S.,    
                                        abstract     compressed ps file   or   PDF file
                                        February 1999

CRL Report 369     "Myths and Methods: Is There a Scientific Basis for Y2k Inspections?"    
                                        Parnas, D.L.    
                                        abstract   compressed ps file   or   PDF file
                                        February 1999

CRL Report 371     "Closed Form Solutions of Hybrid Systems"    
                                        von Mohrenschildt, M.    
                                        abstract   ps file   or   PDF file
                                        March 1999

CRL Report 372     "Improvements to the Trace Assertion Method for Software Engineering"    
                                        Dookhan, A.    
                                        abstract
                                        The complete report (parts 1 & 2), is 214 pages long.
                                        part one - compressed ps file - abstract, table of contents, lists and figures.
                                        part two - compressed ps file - Chapters 1 - 6 and references.
                                        part one - PDF file - abstract, table of contents, lists and figures.
                                        part two - PDF file - Chapters 1 - 6 and references.
                                        March 1999

CRL Report 373     "Communicating Software Specifications using XML: OpenSpec"    
                                        von Mohrenschildt, M.    
                                        abstract   compressed ps file   or   PDF file
                                        June 1999

CRL Report 374     "Sequential Scenarios Verification and Integration using Tabular Expressions"    
                                        Khedri, R.    
                                        abstract compressed ps file   or   PDF file
                                        June 1999