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
  
• 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
  
• Kunihiko Higa, Milam W. Aiken, Olivia R. Liu Sheng:
  Structured Design of a Knowledge-Based Message Dissemination System. 61-80
  
• Chung-Horng Lung, Jeffery K. Cochran, Gerald T. Mackulak, Joseph E. Urban:
  Computer Simulation Software Reuse by Generic/Specific Domain Modeling Approach. 81-102
  
• Allen S. Parrish, David Cordes:
  Applying Conventional Unit Testing Techniques to Abstract Data Type Operations. 103-122
  
• B. R. Whittle, R. J. Gautier, M. Ratcliffe:
  Trends in Structure-Oriented Environments. 123-157
  
• Koen Vanhoof, Jerzy Surma:
  Comparing Two Hybrid Expert System Shells. 159-164
  

Volume 4, Number 2, June 1994

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

Volume 4, Number 3, September 1994

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

Volume 4, Number 4, December 1994

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

Last update Sat May 18 20:34:35 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page