IJSEKE, Volume 3

Volume 3, Number 1, March 1993

• Jonathan Lee, John Yen:
  Enhancing the Software Life Cycle of Knowledge-Based Systems Using a Task-Based Specification Methodology. 3-15
  
• Alun D. Preece:
  Specifications and Tools for Building Reliable Expert Systems. 17-52
  
• Sandro Bologna, Terje Sivertsen, Heikki Välisuo:
  Rigorous Engineering Practice and Formal Reasoning of Deep Domain Knowledge - the Basis of Dependable Knowledge Based Systems for Process Plant Control. 53-98
  
• Farokh B. Bastani, Ing-Ray Chen, Ta-Wei Tsao:
  A Software Reliability Model for Artificial Intelligence Programs. 99-114
  
• Xu Wu, Tadao Ichikawa:
  A Knowledge-Based System for Correcting Users' Misconceptions in Database Retrieval. 115-138
  
• Anthony S. Karrer, Walt Scacchi:
  Meta-Environments for Software Production. 139-162
  

Volume 3, Number 2, June 1993

• Bruce W. Weide:
  Guest Editor's Introduction. 163-164
  
• Don S. Batory, Devang Vasavada:
  Software Components for Object-Oriented Database Systems. 165-192
  
• Stephen H. Edwards:
  Common Interface Models for Reusable Software. 193-206
  
• Murali Sitaraman, Lonnie R. Welch, Douglas E. Harms:
  On Specification of Reusable Software Components. 207-229
  
• Miin-Jeng Pan, Shi-Kuo Chang, Chien-Chiao Yang:
  A Two-Level Metadata Dictionary Approach for Semantic Query Processing in Multidatabase Systems. 231-255
  
• Jacques H. J. Lenting, Peter J. Braspenning:
  The Frame Problem from an Engineering Perspective. 257-265
  
• Lalit M. Patnaik, Rajib Mall:
  Specification of Real-Time Systems. 267-285
  

Volume 3, Number 3, September 1993

• Alex Delis, Victor R. Basili:
  Ada Reusability and System Design Assessment Using the Data Binding Tool. 287-318
  
• José M. Drake, Wei-Tek Tsai, H. J. Lee, Imran A. Zualkernan:
  Object-Oriented Analysis: Criteria and Case Study. 319-350
  
• Bruce W. Weide, Samuel DeFazio:
  A Framework for Modeling Software Engineering Processes. 351-368
  
• Cui Zhang, Richard F. Walters:
  An Abstract, Shared and Persistent Data Structure for Supporting Database Management and Multilingual Natural Language Processing. 369-382
  
• Daniel E. Cooke:
  Possible Effects of the Next Generation Programming Language on the Software Process Model. 383-399
  
• Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti:
  A Survey and Assessment of Software Process Representation Formalisms. 401-426
  

Volume 3, Number 4, December 1993

• Vladimir D. Mazurov:
  Guest Editor's Introduction. 427-428
  
• I. I. Eremin, L. D. Popov:
  Delta-Plan-Es - the Interactive System of Numerical Analysis of improper Linear Programs. 429-438
  
• Vladimir S. Kazantsev:
  The "kvazar" Package for Pattern Recognition and its Applications. 439-444
  
• Serge V. Plotnikov:
  Modeling under Local Structure Hypotheses. 445-451
  
• A. P. Cherenkov, V. V. Mikhailenko, B. S. Shusterman:
  Determination of Solvability Boundaries of Optimization Problems in Parameter Space. 453-462
  
• E. A. Mukhachiova, V. A. Zalgaller:
  Linear Programming Cutting Problems. 463-476
  
• L. T. Aschepkov, D. V. Dolgy:
  The Universal Solutions of Interval Systems of Linear Algebraical Equations. 477-485
  
• A. I. Tyatushkin, A. I. Zholudev, N. M. Erinchek:
  The Program System for Solving Optimal Control Problems with Phase Constraints. 487-497
  
• Robert J. Gautier, Huw Oliver, Mark Ratcliffe, Ben Whittle:
  CDL - a Component Description Language for Reuse. 499-518