Object-Oriented Behavioral Specifications encourages builders of complex information systems to accelerate their move to using the approach of a scientific disc

Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented in this book descr

\My tailor is Object-Oriented". Most software systems that have been built - cently are claimed to be Object-Oriented. Even older software systems that are stil

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools,

The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; t