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

"In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that the

Integration of enterprise applications (EAI) and e-business integration are time-consuming and expensive. This thesis proposes pattern mining to determine ident

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

Computer simulation or a computer model has the task of simulating the behaviour of an abstract model of a particular system. Computer simulations have become a