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
Copyright © Sun May 17 00:03:12 2009
by Michael Ley (ley@uni-trier.de)