Volume 7,
Number 1,
March 1997
- Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo:
Formal Requirements and Design Specifications: The Clepsydra Methodology.
1-42
- Hans van der Schoot, Hasan Ural:
Data Flow Analysis of System Specifications in Lotos.
43-68
- Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini:
Writing and Analyzing System Specifications by Integrated Linguistic Tools.
69-99
- Jack Campin, Norman W. Paton, M. Howard Williams:
Specifying Active Database Systems in an Object-Oriented Framework.
101-123
- Chi-Ming Chung, Timothy K. Shih, Chun-Chia Wang, Ming-Chi Lee:
Integration Object-Oriented Software Testing and Metrics.
125-144
- Andrew M. Olson:
Transforming an HCI Model to a Software Design Model.
145-167
Volume 7,
Number 2,
June 1997
Special Section:
Understanding Knowledge-based Software Processes
Special Section:
Knowledge Engineering Based on Optimization and Pattern Recognition
- Guest Editors' Introduction.
217
- Vladimir V. Mazalov:
Method of Cumulative Sums and Problems of Optimal Control by Technological Processes.
219-229
- A. P. Cherenkov:
Knowledge Aspects of Resource Allocation Problems with Saturation.
231-245
- A. N. Kirillov:
The Stabilization Problem for Certain Class of Ecological Systems.
247-251
- Mária Bieliková, Pavol Návrat:
An Experience with the Use of Systems Engineer Case Tool.
253-259
Volume 7,
Number 3,
September 1997
Special Issue:
Software Engineering and Knowledge Engineering for Multimedia Systems
- Phillip C.-Y. Sheu, Moon-hae Kim:
Guest Editors' Introduction.
261-262
- Yukio Mizuno, Shiro Sakata, Sachio Watanabe:
Multimedia Technologies in Japan: General Status and Future Trends.
263-288
- Atsuo Yoshitaka, Masahito Hirakawa, Tadao Ichikawa:
Knowledge-Assisted Retrieval of Spatiotemporal Content in Multimedia Databases.
289-303
- Chee Yong Chan, Louis-François Pau:
A Survey of Access Methods for Image Data.
305-319
- Chien-I Lee, Ye-In Chang, Wei-Pang Yang:
An Efficient Conflict-Resolution Approach to Support Read/Write Operations in a Video Server.
321-349
- Sankyu Park, Key-Sun Choi, K. H. Kim:
A Framework for Multi-Agent Systems with Multi-Modal User Interfaces in Distributed Computing Environments.
351-369
- Veli Hakkoymaz, Taieb Znati, Erdogan Dogdu:
User Control and Dynamic Reorganization of Multimedia Presentations During Playout.
371-395
Volume 7,
Number 4,
December 1997
Special Issue:
Graph Grammar Based Specifications
Regular Papers
Copyright © Fri Mar 12 17:28:43 2010
by Michael Ley (ley@uni-trier.de)
