IJSEKE, Volume 6

Volume 6, Number 1, March 1996

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

Volume 6, Number 2, June 1996

• Sourav Bhattacharya, Ramin Mojdehbakhsh, Wei-Tek Tsai:
  Software Engineering Practices and Tools for Real-Time Systems (Part I): Guest Editor's Introduction. 159
  Electronic Edition (link) BibTeX
• Jane W.-S. Liu, Chung Laung Liu, Zhong Deng, Too-Seng Tia, Jun Sun, Matthew F. Storch, David Hull, J. L. Redondo, Riccardo Bettati, A. Silberman:
  Perts: a Prototyping Environment for Real-Time Systems. 161-177
  Electronic Edition (link) BibTeX
• Kenneth J. Fowler:
  A Software Engineering Design Tool for Modeling Hard Real-Time Performance. 179-200
  Electronic Edition (link) BibTeX
• Pam Binns, Matt Englehart, Mike Jackson, Steve Vestal:
  Domain-Specific Software Architectures for Guidance, Navigation and Control. 201-227
  Electronic Edition (link) BibTeX
• Krishna M. Kavi, Frederick T. Sheldon, Sherman Reed:
  Specification and Analysis of Real-Time Systems Using CSP and Petri Nets. 229-248
  Electronic Edition (link) BibTeX
• David B. Stewart, Pradeep K. Khosla:
  The Chimera Methodology: Designing Dynamically Reconfigurable and Reusable Real-Time Software Using Port-Based Objects. 249-277
  Electronic Edition (link) BibTeX
• Zahir Tari, Xue Li:
  A Framework for Method Evolution and Behavior Consistency in Object-Oriented Databases. 279-305
  Electronic Edition (link) BibTeX
• James H. Cross II, R. Stephen Dannelly:
  Reverse Engineering Graphical Representations of X Source Code. 307-327
  Electronic Edition (link) BibTeX

Volume 6, Number 3, September 1996

• Sourav Bhattacharya, Ramin Mojdehbakhsh, Wei-Tek Tsai:
  Software Engineering Practices and Tools for Real-Time Systems (Part II): Guest Editor's Introduction. 329-330
  Electronic Edition (link) BibTeX
• Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Spuri:
  A Development Environment for Hard Real-Time Applications. 331-354
  Electronic Edition (link) BibTeX
• Jeffrey J. P. Tsai, Yao-Dong Bi, Stephen J. H. Yang:
  A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support. 355-400
  Electronic Edition (link) BibTeX
• Douglas A. Stuart, Aloysius K. Mok, Farnam Jahanian:
  A Methodology and Support Tools for Analysis of Real-Time Specifications. 401-426
  Electronic Edition (link) BibTeX
• Giorgio Bruno, Rakesh Agarwal:
  Modeling and Developing Real-Time Concurrent Applications. 427-446
  Electronic Edition (link) BibTeX
• Angelo Perkusich, Maria Ligia B. Perkusich, Shi-Kuo Chang:
  Object Oriented Design, Modular Analysis, and Fault-Tolerance of Real-Time Control Software Systems. 447-476
  Electronic Edition (link) BibTeX
• Harald Gall, René Klösch, Roland T. Mittermeir:
  Using Domain Knowledge to Improve Reverse Engineering. 477-505
  Electronic Edition (link) BibTeX
• B. L. Achee, Doris L. Carver:
  Object Extensions to Z: a Survey. 507-530
  Electronic Edition (link) BibTeX

Volume 6, Number 4, December 1996

• Lonnie R. Welch, Guohui Yu, Binoy Ravindran, Franz J. Kurfess, Jorge Henriques, Mark Wilson, Antonio L. Samuel, Michael W. Masters:
  Reverse Engineering of Computer-Based Control Systems. 531-547
  Electronic Edition (link) BibTeX
• Bernhard Westfechtel:
  A Graph-Based System for Managing Configurations of Engineering Design Documents. 549-583
  Electronic Edition (link) BibTeX
• Kai H. Chang, James H. Cross II, W. Homer Carlisle, Shih-Sung Liao:
  A Performance Evaluation of Heuristics-Based Test Case Generation Methods for Software Branch Coverage. 585-608
  Electronic Edition (link) BibTeX
• Mikhail Auguston, Peter Fritzson:
  Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications. 609-640
  Electronic Edition (link) BibTeX
• Sanjay Bhansali:
  A Knowledge-Assisted Approach to Parameterized Reuse. 641-671
  Electronic Edition (link) BibTeX
• Rose F. Gamble, Teresa M. Shaft:
  Eliminating Redundancy, Conflict, and Incompleteness from Knowledge-Based Systems. 673-697
  Electronic Edition (link) BibTeX
• Norman Wilde, Suzanne W. Dietrich, Frank W. Calliss:
  Designing Knowledge-Base Tools for Program Comprehension: a Comparison of EDATS & IMCA. 699-716
  Electronic Edition (link) BibTeX