Journal: International Journal of Software Engineering and Knowledge Engineering

Volume 6, Issue 4

531 -- 547Lonnie 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
549 -- 583Bernhard Westfechtel. A Graph-Based System for Managing Configurations of Engineering Design Documents
585 -- 608Kai 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
609 -- 640Mikhail Auguston, Peter Fritzson. Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications
641 -- 671Sanjay Bhansali. A Knowledge-Assisted Approach to Parameterized Reuse
673 -- 697Rose F. Gamble, Teresa M. Shaft. Eliminating Redundancy, Conflict, and Incompleteness from Knowledge-Based Systems
699 -- 716Norman Wilde, Suzanne W. Dietrich, Frank W. Calliss. Designing Knowledge-Base Tools for Program Comprehension: a Comparison of EDATS & IMCA

Volume 6, Issue 3

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

Volume 6, Issue 2

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

Volume 6, Issue 1

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