SERG REPORTS


SERG Report 375     "Generating Indexed Formal Software Documents"    
                                        Wang, L.,    
                                        abstract compressed ps file   or   PDF file
                                        July 1999

SERG Report 376     "Foundations of the Trace Assertion Method of Module Interface Specificationi"    
                                        Janicki, R.     Sekerinski, E.    
                                        abstract     compressed ps file   or   PDF file
                                        July 1999

SERG Report 377     "Tabular Expressions and Their Relational Semantics"    
                                        Janicki, R.    
                                        abstract     compressed ps file   or   PDF file
                                        July 1999

SERG Report 378     "Semantic Equality of Tables"    
                                        Nadarajah, K.,    
                                        abstract     compressed ps file   or   PDF file
                                        August 1999

SERG Report 379     "On a Formal Semantics of Tabular Expressions"    
                                        Janicki, R.     Khedri, R.    
                                        abstract     compressed ps file   or   PDF file
                                        September 1999


SERG Report 380     "Structured Decision Table <=> Generalized Decision Table Conversion Tool"    
                                        Fu, T.    
                                        abstract     compressed ps file  
                                        September 1999

SERG Report 381     Use of Aliases in Tabular Expressions"    
                                        Hu, J.    
                                        abstract     compressed ps file  
                                        September 1999

SERG Report 382     "Concurrency: a relational approach"    
                                        Khedri, R.     Desharnais, J.    
                                        abstract     compressed ps file   PDF file
                                        October 1999

SERG Report 383     "Deriving Real-Time Monitors from System Requirements Documentation"    
                                        Peters, D.K.    
                                        abstract     gzipped ps file   gzipped PDF file
                                        January 2000

SERG Report 384     "A Table Checking Tool"    
                                        Jing, M.    
                                        abstract     compressed ps file   PDF file
                                        March 2000

SERG Report 385     "Automatically Testing Numerical Stability"    
                                        Qiao, S.    
                                        Wang, S.    
                                        abstract     compressed ps file   PDF file
                                        May 2000

SERG Report 386     "The Trace Assertion Method of Module Interface Specification with Concurrency"   
                                        Liu, Y.    
                                        abstract     compressed ps file   PDF file
                                        May 2000

SERG Report 387     "Appliation of the Four Variable Model to a CAD System for Microwave Communication Devices"   
                                        Zou, Y.                                            
                                        abstract     Table of Contents - ps file   Report text - ps file   Case Study - ps file  
                                        This report is 170 pgs.
                                        June 2000

SERG Report 388     "Organizing, and Documenting Component-Oriented Toolkits"    
                                        Radaideh, M.A.                                                                                    
                                        abstract     tar file  
                                        There are 23 files within the tar file. This report is 336 pgs.
                                        June 2000

SERG Report 389     "Limitations of Backward Error Analysis"    
                                        Qiao, S.    
                                        Parnas, D.L.    
                                        abstract     compressed ps file   PDF file
                                        August 2000

SERG Report 390     "Data Network Language Design"    
                                        Yan, X.                                                                                    
                                        abstract     compressed ps file   PDF file
                                        September 2000

SERG Report 391     "Program Reliability Estimation Tool"    
                                        Nejat, S.M.R.                                                                                    
                                        abstract     compressed ps file   PDF file
                                        October 2000

SERG Report 392     "Modelling Object Oriented Non-Sequential Systems by Coloured Petri Nets"    
                                        Lin, H.                                                                                    
                                        abstract     compressed ps file   PDF file
                                        April 2001

SERG Report 393     "Remarks on Mereology of Direct Products and Relations"    
                                        Janicki, R.                                                                                    
                                        abstract     compressed ps file   PDF file
                                        April 2001

SERG Report 394     "Formal Verification of Real-Time Software"    
                                        Wu, H.Y.                                                                                    
                                        abstract     compressed ps file   PDF file
                                        April 2001

SERG Report 395     "Preliminary Requirements Checking Tool"    
                                        Wei, O.                                                                                    
                                        abstract     compressed ps file   PDF file
                                        April 2001

SERG Report 396     "Interpreting Data Network Language on a Single Processor"    
                                        Cui, F.                                                                                    
                                        abstract     compressed ps file   PDF file
                                        June 2001

SERG Report 397     "Design Guidelines and Documentation Paradigms for Object Oriented Programs"    
                                        Andexer, J.                                                                                    
                                        abstract     compressed ps file   PDF file
                                        Note: This report is 422 pages in length.
                                        September 2001

SERG Report 398     "Using Tabular Expression Input to Specify and Generate Program Family Members"    
                                        Han, D.                                                                                    
                                        abstract     compressed ps file   PDF file
                                        September 2001