Colette Rolland, Fran?ois Bodart, Michel L?onard (Eds.): Temporal Ascpects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987. North-Holland / Elsevier, 1988, ISBN 0-444-70373-X

Time Modeling

• 
  Gad Ariav: Design Requirements for Temporally Oriented Information Systems. 3-16
• 
  James Clifford, A. Rao: A Simple, General Structure for Temporal Domains. 17-28

Temporal Logic

• 
  José Carmo, Amílcar Sernadas: A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. 31-46
• 
  Arie Segev, Arie Shoshani: Modeling Temporal Semantics. 47-57

Systems Specifications

• 
  Jan L. G. Dietz, Kees M. van Hee: A Framework for the Conceptual Modeling of Discrete Dynamic Systems. 61-75
• 
  José Luiz Fiadeiro, Amílcar Sernadas: Behavioural Aspects of Intelligent Knowledge-Based Information Systems. 77-92

Database Approaches I: Temporal Languages

• 
  Nikos A. Lorentzos, Roger G. Johnson: TRA: A Model for a Temporal Relational Algebra. 95-108
• 
  Shamkant B. Navathe, Rafi Ahmed: TSQL: A Language Interface for History Databases. 109-122

Temporal Aspects in Office Systems

• 
  Andreas Oberweis, Georg Lausen: On the Representation of Temporal Knowledge in Office Systems. 125-139
• 
  Federico Barbic, Roberto Maiocchi: Planning in Time. 141-156

Artificial Intelligence Applications

• 
  Claude Le Pape, Stephen F. Smith: Management of Temporal Constraints for Factory Scheduling. 159-170
• 
  Marc Moens: Temporal Databases and Natural Language. 171-183

Version Modeling

• 
  Henk M. Blanken, Alle IJbema: Language Concepts for Versioned Hierarchical Objects. 187-201
• 
  Michel E. Adiba, N. Bui Quang: Dynamic Database Snapshots, Albums and Movies. 203-215

Database Approaches II: Implementation

• 
  David K. Garnick, A. Toni Cohen, H. A. Sowizrai: Timestamping in Virtual Time Systems. 221-234
• 
  Gunter Saake, Udo W. Lipeck: Foundations of Temporal Integrity Monitoring. 235-249