| 1 | -- | 3 | Paolo Ciancarini, Leon Sterling. Guest Editor s Introduction |
| 5 | -- | 19 | Atsushi Togashi, Glenn Mansfield, Norio Shiratori. Animating LOTOS Specifications Using Amlog |
| 21 | -- | 61 | Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto, Ernani Crivelli. Specifying Industrial Real-Time Systems with a Temporal Logic Framework |
| 63 | -- | 87 | Leon Sterling, Paolo Ciancarini, Todd Turnidge. On the Animation of not Executable Specifications by Prolog |
| 89 | -- | 112 | Michael Gelfond, Halina Przymusinska. Towards a Theory of Elaboration Tolerance: Logic Programming Approach |
| 113 | -- | 133 | Ulrich Geske, Michael Nitsche. Representing COBOL in Prolog - towards Program Comprehension and Reengineering |
| 135 | -- | 158 | Paul A. Savory, Gerald T. Mackulak. The Impact of Intelligent Tools on Simulation Methodology |