IJSEKE, Volume 4

Volume 4, Number 1, March 1994

Kathleen Brade, Mark Guzdial, Mark Steckel, Elliot Soloway:
Whorf: a Hypertext Tool for Software Maintenance. 1-16
Electronic Edition (link) BibTeX
Pankaj K. Garg, Thuan Q. Pham, Brian Beach, Anand Deshpande, Audrey Ishizaki, Kevin Wentzel, Wendy Fong:
Matisse: a Knowledge-Based Team Programming Environment. 17-59
Electronic Edition (link) BibTeX
Kunihiko Higa, Milam W. Aiken, Olivia R. Liu Sheng:
Structured Design of a Knowledge-Based Message Dissemination System. 61-80
Electronic Edition (link) BibTeX
Chung-Horng Lung, Jeffery K. Cochran, Gerald T. Mackulak, Joseph E. Urban:
Computer Simulation Software Reuse by Generic/Specific Domain Modeling Approach. 81-102
Electronic Edition (link) BibTeX
Allen S. Parrish, David Cordes:
Applying Conventional Unit Testing Techniques to Abstract Data Type Operations. 103-122
Electronic Edition (link) BibTeX
B. R. Whittle, R. J. Gautier, M. Ratcliffe:
Trends in Structure-Oriented Environments. 123-157
Electronic Edition (link) BibTeX
Koen Vanhoof, Jerzy Surma:
Comparing Two Hybrid Expert System Shells. 159-164
Electronic Edition (link) BibTeX

Alfs T. Berztiss:
Safety-Critical Software: a Research Agenda. 165-181
Electronic Edition (link) BibTeX
Gerald C. Gannod, Betty H. C. Cheng:
Facilitating the Maintenance of Safety-Critical Systems. 183-204
Electronic Edition (link) BibTeX
Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair:
Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach. 205-228
Electronic Edition (link) BibTeX
Wolfgang Deiters, Volker Gruhn:
The FUNSOFT Net Approach to Software Process Management. 229-256
Electronic Edition (link) BibTeX
Grigoris Antoniou:
Modularity and Correctness for Logic Programs and Knowledge Bases. 257-275
Electronic Edition (link) BibTeX
Aniello Cimitile, Giuseppe Visaggio:
A Formalism for Structured Planning of a Software Project. 277-300
Electronic Edition (link) BibTeX

Frank W. Calles:
Reverse Engineering Guest Editor's Introductions. 301
Electronic Edition (link) BibTeX
Thomas Kunz:
Reverse Engineering Distributed Applications: an Event Abstraction Tool. 303-323
Electronic Edition (link) BibTeX
Santanu Paul, Atul Prakash:
Supporting Queries on Source Code: a Formal Framework. 325-348
Electronic Edition (link) BibTeX
Hyeon Soo Kim, Yong Rae Kwon, In Sang Chung:
Restructuring Programs through Program Slicing. 349-368
Electronic Edition (link) BibTeX
Sophie Renault, Pierre Deransart:
Design of Redundant Formal Specifications by Logic Programming: Merging Formal Text and Good Comments. 369-390
Electronic Edition (link) BibTeX
Eugeniusz Eberbach:
Semal: a Cost Language Based on the Calculus of Self-Modifiable Algorithms. 391-408
Electronic Edition (link) BibTeX
Christopher M. Lott:
Measurement Support in Software Engineering Environments. 409-426
Electronic Edition (link) BibTeX

Yi Deng, Shi-Kuo Chang, Xiaola Lin:
Executable Specification and Analysis for the Design of Concurrent Object-Oriented Systems. 427-450
Electronic Edition (link) BibTeX
Jean-Louis Sourrouille:
A Knowledge-Based Framework of Object-Oriented Software Development Environments. 451-479
Electronic Edition (link) BibTeX
Carlo Montangero, F. Scarselli:
Software Process Monitoring Mechanisms in Oikos. 481-499
Electronic Edition (link) BibTeX
Scott R. Tilley, Kenny Wong, Margaret-Anne D. Storey, Hausi A. Müller:
Programmable Reverse Engineering. 501-520
Electronic Edition (link) BibTeX
Norman Wilde, Allen Chapman, Raymond Richardson:
The Extensible Dependency Analysis Tool Set: a Knowledge Base for Understanding Industrial Software. 521-534
Electronic Edition (link) BibTeX
Sandrine Blazy, Philippe Facon:
Partial Evaluation for the Understanding of Fortran Programs. 535-559
Electronic Edition (link) BibTeX
Jianxin Li, Arun Lakhotia:
Using Mathematical Induction in Systematic Program Development. 561-574
Electronic Edition (link) BibTeX