IEE Proceedings - Software, Volume 147

Volume 147, Number 1, February 2000

J.-S. Lee, S.-D. Cha: Qualitative formal method for requirements specification and validation of hybrid real-time safety systems. 1-11
Gordon S. Blair, Anders Andersen, Lynne Blair, Geoff Coulson, D. Sanchez: Supporting dynamic QoS management functions in a reflective middleware platform. 13-21

Hans-Gerhard Groß, Bryan F. Jones, David E. Eyres: Structural performance measure of evolutionary testing applied to worst-case timing of real-time systems. 25-30
M. F. Bott: Software as a corporate asset. 31-36
Martin Fleury, Andy C. Downton, Adrian F. Clark: Analysis prediction template toolkit (APTT) for object-based computation. 37-47
Edward D. Willink, Vyacheslav B. Muchnick: Object-oriented preprocessor fit for C++. 49-58

José Mira, José R. Álvarez, Rafael Martínez: Knowledge edition and reuse in Diagen: a relational approach. 151-162
Mar Marcos, Angel P. Del Pobil, Sabine Moisan: Model-based verification of knowledge-based systems: a case study. 163-167
P. A. González: Applying knowledge modelling and case-based reasoning to software reuse. 169-177
Monique Thonnat, Sabine Moisan: What can program supervision do for program reuse? 179-185
Steve A. Chien, Forest Fisher, Tara A. Estlin: Automated software module reconfiguration through the use of artificial intelligence planning techniques. 186-192
Juan Carlos Herrero, José Mira: Causality levels in SCHEMA: a knowledge edition interface. 193-200

Christelle Chaudet, R. Mark Greenwood, Flávio Oquendo, Brian Warboys: Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems. 203-214
David S. Rosenblum, R. Natarajan: Supporting architectural concerns in component interoperability standards. 215-223
Alexander Egyed, Nenad Medvidovic, Cristina Gacek: Component-based perspective on software mismatch detection and resolution. 225-236
Stan Jarzabek, Rudolph E. Seviora: Engineering components for ease of customisation and evolution. 237-248
M. M. Lehman, Juan F. Ramil: Software evolution in the age of component-based software engineering. 249-255