default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIJSEKE, Volume 6
Volume 6, Number 1, March 1996
- Paolo Ciancarini, Leon Sterling:
Guest Editor's Introduction. 1-3 - Atsushi Togashi, Glenn Mansfield, Norio Shiratori:
Animating LOTOS Specifications Using Amlog. 5-19 - Emanuele Ciapessoni
, Edoardo Corsetti, Manlio Migliorati, Elena Ratto, Ernani Crivelli:
Specifying Industrial Real-Time Systems with a Temporal Logic Framework. 21-61 - Leon Sterling, Paolo Ciancarini, Todd Turnidge:
On the Animation of "not Executable" Specifications by Prolog. 63-87 - Michael Gelfond, Halina Przymusinska:
Towards a Theory of Elaboration Tolerance: Logic Programming Approach. 89-112 - Ulrich Geske, Michael Nitsche:
Representing COBOL in Prolog - towards Program Comprehension and Reengineering. 113-133 - Paul A. Savory, Gerald T. Mackulak:
The Impact of Intelligent Tools on Simulation Methodology. 135-158
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 - 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 - Kenneth J. Fowler:
A Software Engineering Design Tool for Modeling Hard Real-Time Performance. 179-200 - Pam Binns, Matt Englehart, Mike Jackson, Steve Vestal:
Domain-Specific Software Architectures for Guidance, Navigation and Control. 201-227 - Krishna M. Kavi, Frederick T. Sheldon, Sherman Reed:
Specification and Analysis of Real-Time Systems Using CSP and Petri Nets. 229-248 - David B. Stewart, Pradeep K. Khosla:
The Chimera Methodology: Designing Dynamically Reconfigurable and Reusable Real-Time Software Using Port-Based Objects. 249-277 - Zahir Tari, Xue Li:
A Framework for Method Evolution and Behavior Consistency in Object-Oriented Databases. 279-305 - James H. Cross II, R. Stephen Dannelly:
Reverse Engineering Graphical Representations of X Source Code. 307-327
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 - Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Spuri:
A Development Environment for Hard Real-Time Applications. 331-354 - 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 - Douglas A. Stuart, Aloysius K. Mok, Farnam Jahanian:
A Methodology and Support Tools for Analysis of Real-Time Specifications. 401-426 - Giorgio Bruno, Rakesh Agarwal:
Modeling and Developing Real-Time Concurrent Applications. 427-446 - 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 - Harald C. Gall, René Klösch, Roland T. Mittermeir:
Using Domain Knowledge to Improve Reverse Engineering. 477-505 - B. L. Achee, Doris L. Carver:
Object Extensions to Z: a Survey. 507-530
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 - Bernhard Westfechtel:
A Graph-Based System for Managing Configurations of Engineering Design Documents. 549-583 - 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 - Mikhail Auguston, Peter Fritzson:
Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications. 609-640 - Sanjay Bhansali:
A Knowledge-Assisted Approach to Parameterized Reuse. 641-671 - Rose F. Gamble, Teresa M. Shaft:
Eliminating Redundancy, Conflict, and Incompleteness from Knowledge-Based Systems. 673-697 - Norman Wilde, Suzanne W. Dietrich, Frank W. Calliss:
Designing Knowledge-Base Tools for Program Comprehension: a Comparison of EDATS & IMCA. 699-716
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-07 00:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
