Message Sequence Charts (MSC) have had an unanticipated success, both with SDL, on its own and in conjunction with other methods and tools. Major tool vendors n

As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL i

This is the first handbook to cover comprehensively both software engineering and knowledge engineering - two important fields that have become interwoven in re

This is the first handbook to cover comprehensively both software engineering and knowledge engineering OCo two important fields that have become interwoven in

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It