Autore: Willem-Paul de Roever

This book constitutes the Proceedings of the IFIP Working Conference PRO- COMET’98, held 8-12 June 1998 at Shelter Island, N.Y. The conference is organized by the t’wo IFIP TC 2 Working Groups 2.2 …

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the …

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires …

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires …

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has …

This book originates from the International Symposium on Compositionality, COMPOS’97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the …

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires …

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires …