About this Book

This book presents a new technique for analyzing software systems using an object-oriented approach. The technique is based on proven methods of data modelling and system behaviour specification that have been successfully applied to software problems ranging from traditional data processing to real-time system control.