1992 SITE TECHNICAL REPORTS
School of Information Technology & EngineeringUniversity of Ottawa
Ottawa, Ontario K1N 6N5 CANADA
http://www.site.uottawa.ca/eng/school/publications
| TR-92-01 | Sub-unification: A Tool for Efficient Induction of Recursive Programs. | Stéphane Lapointe, S. Matwin | January 1992. |
| TR-92-02 | Building Macros in Deterministic and Non-Deterministic Domains. | Bertrand Pelletier, Stan Matwin | January 1992. |
| TR-92-03 | A Planning-based Software Reuse System. | Daniel Charlebois, David Goodenough, Stan Matwin, Mike Robson | January 1992. |
| TR-92-04 | Optimal Length Test Sequences: Lower Bounds on their Length and Exact Solutions for their Construction. | Marion Rodrigues and Hasan Ural | January 1992. |
| TR-92-05 | Adding or Removing a Comparability and the Extension Lattice. | Maurice Pouzet, Klaus Reuter, Ivan Rival and Nejib Zaguia | January 1992. |
| TR-92-06 | On a Special Scheduling Problem of Posets. | Nejib Zaguia | January 1992. |
| TR-92-07 | Operational Coverage and Selective Test Sequence Generation for Lotos Specification. | To-Yat Cheung and Shenyu Ren | January 1992. |
| TR-92-08 | Generating Boxes from Ordered Sets and Graphs. | Maurice Pouzet, Robert Woodrow, Nejib Zaguia | January 1992. |
| TR-92-09 | Goal Oriented Execution for LOTOS. | Mazen Haj-Hussein, Luigi Logrippo and Jacques Sincennes | January 1992. |
| TR-92-10 | Example-based Partial Evaluation (EBPE): A New Learning Technique and its Application to Constraint Satisfaction. | Peter Clark and Rob Holte | January 1992. |
| TR-92-11 | A Fault Detection Approach to the Conformance Testing of Nondeterministic Distributed Systems. | To-yat Cheung and Xinming Ye | February 1992. |
| TR-92-12 | Optimal Length Test Sequence Generation Using Distinguishing Sequences. | Hasan Ural and Keqin Zhu | March 1992. |
| TR-92-13 | Systolic Generation of Combinations from Arbitrary Elements. | Hasan El-Hage and Ivan Stojmenovic | March 1992. |
| TR-92-14 | Reusing Database Queries in Analogical Domains. | Hamid Ould-Brahim and Stan Matwin | April 1992. |
| TR-92-15 | Caesar: a system for CAse basEd SoftwAre Reuse. | Gilles Fouqué and Stan Matwin | April 1992. |
| TR-92-16 | Synchronizable Test Sequence Generation Using UIO Sequences. | Hasan Ural and Zhiping Wang | April 1992. |
| TR-92-17 | Reuse and Non-Monotonic Design of User Interfaces. | Denys Duchier | April 1992. |
| TR-92-18 | Routing, Broadcasting, and Job Simulation Techniques on Incomplete and Gray Code Incomplete Hypercubes. | Ivan Stojmenovic and Borivoje Djokic | April 1992. |
| TR-92-19 | Model Checking for LOTOS. | Brahim Ghribi and Luigi Logrippo | May 1992. |
| TR-92-20 | Generalised Backjumping. | Peter Clark and Robert Holte | |
| TR-92-21 | A Prototype of a UNIX-Based Repository Management System. | Martin Hitz, Douglas G. King, Tuncer I. Ören | June 1992. |
| TR-92-22 | A Table Documentation Language. | Martin Hitz, Douglas G. King, Tuncer I. Ören | June 1992. |
| TR-92-23 | Conformance Requirements, Test Purposes and Test Coverage. | Robert L. Probert and Linsheng Wei | June 1992. |
| TR-92-24 | Specifying Telephone Systems in LOTOS and the Feature Interaction Problem. | Rezki Boumezbeur and Luigi Logrippo | June 1992. |
| TR-92-25 | Observable Nondeterministic Propagation Sets of Processes. | Robert L. Probert and Linsheng Wei | June 1992 |
| TR-92-26 | Characterization of Nondeterministic Behaviours of Processes. | Robert L. Probert and Linsheng Wei | June 1992. |
| TR-92-27 | Testability-Directed Specification of Communications Software. | Hua-Long Yu | June 1992. |
| TR-92-28 | A New Behavioral View of Processes Based on Nondeterministic Rippling. | Robert L. Probert and Linsheng Wei | July 1992. |
| TR-92-29 | Text Analysis: How can Machine Learning Help? | Stan Matwin and Stan Szpakowicz | August 1992. |
| TR-92-30 | Compositional Software Reuse with Case-Based Reasoning. | Gilles Fouqué and Stan Matwin | August 1992. |
| TR-92-31 | Constant Time Digital Geometry Algorithms on the Scan Model of Parallel Computation. | Borivoje Djokic and Ivan Stojmenovic | September 1992. |
| TR-92-32 | Interactive Semantic Analysis in TANKA: Designing HAIKU. | Sylvain Delisle, Ken Barker, Terry Copeck and Stan Szpakowicz | September 1992. |
| TR-92-33 | Simulation Environments: Challenges for Advancement. | Tuncer Oren | September 1992. |
| TR-92-34 | Specifying Hardware in LOTOS. | Mohammed Faci and Luigi Logrippo | October 1992. |
| TR-92-35 | Learning Domain Theories Using Abstract Background. | Peter Clark and Stan Matwin | October 1992. |
| TR-92-36 | On Generating B-trees with Constant Average Delay and in Lexicographic Order. | Mounir Belbaraka and Ivan Stojmenovic | October 1992. |
| TR-92-37 | Order, Ice and Surfaces. | Ivan Rival | October 1992. |
| TR-92-38 | Problems About Planar Orders. | Ivan Rival | October 1992. |
| TR-92-39 | New Directions in Ordered Sets. | Ivan Rival | October 1992. |
| TR-92-40 | Reading, Drawing, and Order. | Ivan Rival | October 1992. |
| TR-92-41 | Every Triangle-Free Planar Graph Has a Planar Upward Drawing. | Andrzej Kisielewicz and Ivan Rival | October 1992. |
| TR-92-42 | Validation Activities Based on Static Data Flow Analysis of System Specifications in LOTOS. | Hans van der Schoot and Hasan Ural | November 1992. |
| TR-92-43 | Constructive Inductive Logic Programming. | Stéphane Lapointe, C. Ling and Stan Matwin | November 1992. |
| TR-92-44 | Validation Activities for LOTOS Based on Static Data Flow Analysis. | Hans van der Schoot | November 1992. |
| TR-92-45 | Artificial Intelligence and Simulation. | Tuncer I. Ören | December 1992. |
| TR-92-46 | Testability of Specifications for Large Communication Systems: A Tutorial Survey. | Fuyin Guo and Robert L. Probert | December 1992. |