SQRL REPORTS


SQRL Report No. 1     "On Documenting the Requirements for Computer Programs Based on Models of Physical Phenomena"    
                                        Parnas, D.L.   Kreyman, K.                                                                                  
                                        abstract     compressed ps file   PDF file
                                        January 2002

SQRL Report No. 2     "Hierarchical Interface-based Supervisory Control: AIP Example for Parallel Case"    
                                        Leduc, R.J.,   Lawford, M.,   Wonham, W.M.                                                                                 
                                        abstract     compressed ps file   PDF file
                                        February 2002

SQRL Report No. 3     "A Model of Concurrency in Object-Oriented Databases"    
                                        Daniela Rosu                                                                                
                                        abstract     compressed ps file   PDF file
                                        February 2002

SQRL Report No. 4     "Table Input Method: A Tool for the Construction of Tabular Expression is the Table Tool System"    
                                        Kowalik, J.G.                                                                                 
                                        abstract     compressed ps file   PDF file
                                        May 2002

SQRL Report No. 5     "Computing the Singular Values of 2-by-2 Complex Matrices"    
                                        Qiao, S.,   Wang, X.                                                                                
                                        abstract     compressed ps file   PDF file
                                        June 2002

SQRL Report No. 6     "The Design and Implementation of an Object-Oriented Validated ODE Solver"    
                                        Nedialkov, N.,   Jackson, K.R.                                                                                
                                        abstract     compressed ps file   PDF file
                                        June 2002

SQRL Report No. 7     "Basic Science for Software Developers"    
                                        Parnas, D.L.,   Soltys, M.,                                                                                  
                                        abstract     compressed ps file   PDF file
                                        October 2002

SQRL Report No. 8     "Right on Time: Pre-verified Software Components for Construction of Real-Time Systems"    
                                        Lawford, M.,   Hu, X.                                                                                
                                        abstract     compressed ps file   PDF file
                                        November 2002

SQRL Report No. 9     "Robust Nonblocking Supervisory Control of Discrete-Event Systems"    
                                        Bourdon, S.E.,   Lawford, M.,   Wonham, W.M.                                                                                
                                          abstract     compressed ps file   PDF file
                                          February 2003

SQRL Report No. 10     "Verification of the WAP Transaction Layer Using the Model Checker SPIN"    
                                          He, T.Y.,  
                                          abstract     PDF file
                                          August 2003

SQRL Report No. 11     "Modelling Concurrency by Tabular Expressions"    
                                          Yang, Y.                                                                                  
                                          abstract     compressed ps file   PDF file
                                          August 2003

SQRL Report No. 12     "Hierarchical Interface-based Supervisory Control: Part I: Serial Case"    
                                          Leduc, R.J.,   Brandin, B.A.,   Lawford, M.,   Wonham, W.M.                                                                        
                                          abstract     compressed ps file   PDF file
                                          August 2003

SQRL Report No. 13     "Hierarchical Interface-based Supervisory Control: Part II: Parallel Case"    
                                          Leduc, R.J.,   Lawford, M.,   Wonham, W.M.                                                                                 
                                          abstract     compressed ps file   PDF file
                                          August 2003

SQRL Report No. 14 (rev 2)     "A Basic Extended Simple Type Theory"    
                                          Farmer, W.M.                                                                                  
                                          abstract     PDF file
                                          June 2004

SQRL Report No. 15     "Compositional Syntax and Semantics of Tables"    
                                          Kahl, W.,                                                                                  
                                          abstract     compressed ps file   compressed ps file (2 pages per sheet)   PDF file
                                          October 2003

SQRL Report No. 16     "Basic Pattern Matching Calculi"    
                                          Kahl, W.,                                                                                  
                                          abstract     compressed ps file   compressed ps file (2 pages per sheet)   PDF file
                                          October 2003

SQRL Report No. 17     "Formal Verification of Timed Transition Models"    
                                          Zhang, H.                                                                                  
                                          abstract     compressed ps file   PDF file
                                          November 2003

SQRL Report No. 18 (rev 2)     "The Seven Virtues of Simple Type Theory"    
                                          Farmer, W.M.                                                                                  
                                          abstract     PDF file
                                          November 2006

SQRL Report No. 19     "Inspecting the Source Code that Implements the PPP Protocol in Linux"    
                                          Rusovan, S.,                                                                                  
                                          abstract     compressed ps file   PDF file
                                          January 2004

SQRL Report No. 20     "Declarative Assembler"    
                                          Anand, C., Carette, J., Kahl, W., Gibbard, C., Lortie, R.                                                                                
                                          abstract     PDF file
                                          October 2004

SQRL Report No. 21     " Supervisory Control of Probabilistic Discrete Event Systems."    
                                          Pantelic, V., Postma, S., and Lawford, M.                                                                      
                                          abstract     PDF file
                                          July 2008

SQRL Report No. 23     "Generating Test Cases From Software Documentation"    
                                          Shilei Liu                                                                                
                                          abstract     compressed ps file PDF file
                                          July 2001

SQRL Report No. 24     "A Comparative Study of Pre/postcondition and Relational Approaches to Program Development"    
                                          Hong Duan                                                                                
                                          abstract     compressed ps file PDF file
                                          January 2005

SQRL Report No. 25     "Use of Tabular Expressions in the Inspection of Concurrent Programs"    
                                          Xiao-Hui Jin                                                                                
                                          abstract     PDF file
                                          February 2005

SQRL Report No. 26     "Inspection of Software with Incomplete Description"    
                                          Michael Sharygin                                                                                
                                          abstract     compressed ps file PDF file
                                          February 2005

SQRL Report No. 27     "Inspection of OO Software with Incomplete Documentation Using a Document Driven Approach"    
                                          Hongying Shi                                                                                
                                          abstract     PDF file
                                          April 2005

SQRL Report No. 28     "Gaussian Elimination: a case study in efficient genericity with MetaOCaml"    
                                          Jacques Carette                                                                                
                                          abstract     PDF file
                                          June 2005

SQRL Report No. 31     "COG-PETS: Code Generation for Parameter Estimation in Time Series"    
                                          Christopher Kumar Anand, Jacques Carette, Andrew Thomas Curtis, David Miller                                                                                
                                          abstract     PDF file
                                          June 2005

SQRL Report No. 32     "Hierarchical Interface-based Supervisory Control of a Flexible Manufacturing System"    
                                          Leduc, R.J.,   Lawford, M.,   Dai, P.                                                                                 
                                          abstract     compressed ps file   PDF file
                                          December 2005

SQRL Report No. 33     "Bimonadic Semantics for Basic Pattern Matching Calculi"    
                                          Kahl, W.,   Carette, J.,   Ji, X.                                                                                 
                                          abstract     PDF file
                                          June 2006

SQRL Report No. 34     "Topics in Software Design. Volume 1"    
                                          Sekerinski, E.                                                                                  
                                          abstract     PDF file
                                          June 2005

SQRL Report No. 35     "Topics in Software Design. Volume 2"    
                                          Sekerinski, E.                                                                                  
                                          abstract     PDF file
                                          April 2006

SQRL Report No. 36     "Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking"    
                                          Pantelic, V.                                                                                  
                                          abstract     PDF file
                                          May 2006

SQRL Report No. 37     "CERTSOFT06: First International Workshop on Software Certification"    
                                          Gnesi, S.,   Maibaum, T.S.,   Wassyng, A.                                                                                  
                                          abstract     PDF file
                                          August 2006

SQRL Report No. 38     "Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation"    
                                          Farmer, W.M.                                                                                  
                                          abstract     PDF file
                                          March 2009

SQRL Report No. 41     "Trustable Communication Between Mathematics Systems"    
                                          Carette, J.,   Farmer, W.M.,   Wajs, J.                                                                                  
                                          abstract     PDF file
                                          October 2004

SQRL Report No. 42     "A Canonical Form for Piecewise Defined Functions"    
                                          Carette, J.                                                                                  
                                          abstract     PDF file
                                          May 2007

SQRL Report No. 43     "A Domain-Specific Language for the Generation of Optimized SIMD-Parallel Assembly Code"    
                                          Anand, C.K.,   Kahl, W.                                                                                
                                          abstract     PDF file
                                          May 2007

SQRL Report No. 44     "Hierarchical Interface-Based Supervisory Control with Data Events."    
                                          Leduc, R.                                                                                  
                                          abstract     PDF file
                                          July 2007

SQRL Report No. 45     "Developing User-Centric Software Requirements Specifications."    
                                          Sun, Hongqing.                                                                                  
                                          abstract     PDF file
                                          August 2007

SQRL Report No. 46     "Synthesis Method for Hierarchical Interface-Based Supervisory Control."    
                                          Leduc, R.,   Dai, P.,   Song, R.                                                                              
                                          abstract     PDF file
                                          August 2007

SQRL Report No. 47     "Modern Extensible Languages."    
                                          Zingaro, D.                                                                                  
                                          abstract     PDF file
                                          October 2007

SQRL Report No. 48     "Model Manipulation as Part of a Better Development Process for Scientific Computing Code."    
                                          Carette, J.,   Smith, S.,  McCutchan, J.,   Anand, C.,   Korobkine, A.        
                                          abstract     PDF file
                                          December 2007

SQRL Report No. 49     "Teaching the Unifying Mathematics of Software Design."    
                                          Sekerinski, E.                                                                                  
                                          abstract     PDF file
                                          December 2007

SQRL Report No. 50     "Synthesising and Verifying Multi-Core Parallelism in Categories of Nested Code Graphs."    
                                          Anand, C.K.,   Kahl, W.                                                                                
                                          abstract     PDF file
                                          January 2008

SQRL Report No. 51     "Integrated Software Methodologies - An Engineering Approach."    
                                          Wassyng, A.,   Lawford, M.                                                                                
                                          abstract     PDF file
                                          February 2008

SQRL Report No. 52     "Formal Verification of Implementability of Timing Requirements."    
                                          Hu, X., Lawford, M.,   Wassyng, A.                                                                                
                                          abstract     PDF file
                                          February 2008

SQRL Report No. 53     "On the Practice of B-ing Earley."    
                                          Zingaro, D.                                                                                
                                          abstract     PDF file
                                          March 2008

SQRL Report No. 54     "Specifying and Simulating the Externally Observable Behavior of Modules."    
                                          Wang, Y.                                                                                
                                          abstract     PDF file
                                          May 2008

SQRL Report No. 56     " Collagories for Relational Adhesive Rewriting."    
                                          Kahl, W.                                                                                
                                          abstract     PDF file
                                          July 2009

SQRL Report No. 57     " Collagory Notes, Version 1."    
                                          Kahl, W.                                                                                
                                          abstract     PDF file
                                          March 2010

SQRL Report No. 58     " An Experimental Implementation of Action-Based Concurrency."    
                                          Cui, X., Sekerinski, E.                                                                                
                                          abstract     PDF file
                                          July 2009

SQRL Report No. 59     " Challenges in Software Certification."    
                                          Maibaum, T.                                                                                
                                          abstract     PDF file
                                          May 2010