Willem-Paul de Roever – författare
Visar alla böcker från författaren Willem-Paul de Roever. Handla med fri frakt och snabb leverans.
26 produkter
Programming Concepts and Methods PROCOMET '98
IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA
Av Willem-Paul de Roever, David Gries
E-bok, 2013
2925 kr
Lägg i varukorg
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 Description of Programming Concepts and 2.3 Programming Methodology. WG2.2 and WG2.3 have …
Programming Concepts and Methods PROCOMET ’98
IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA
Av David Gries, Willem-Paul de Roever
Inbunden, 1998
2245 kr
Lägg i varukorg
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 Description of Programming Concepts and 2.3 Programming Methodology. WG2.2 and WG2.3 have been …
Data Refinement
Model-Oriented Proof Methods and their Comparison
Av Willem-Paul de Roever, Kai Engelhardt
Häftad, 2008
972 kr
Lägg i varukorg
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data …
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Av Willem-Paul de Roever, Frank de Boer m. fl.
Häftad, 2012
1341 kr
Lägg i varukorg
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the …
Data Refinement
Model-Oriented Proof Methods and their Comparison
Av Willem-Paul de Roever, Kai Engelhardt
Inbunden, 1998
2214 kr
Lägg i varukorg
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data …
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Av Willem-Paul de Roever, Frank de Boer m. fl.
Inbunden, 2001
3709 kr
Lägg i varukorg
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the …
Programming Concepts and Methods PROCOMET ’98
IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA
Av David Gries, Willem-Paul de Roever
Häftad, 2013
2248 kr
Lägg i varukorg
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 Description of Programming Concepts and 2.3 Programming Methodology. WG2.2 and WG2.3 have been …
Current Trends in Concurrency
Overviews and Tutorials
Av Jacobus W. De Bakker, Willem-Paul De Roever m. fl.
Häftad, 1986
1128 kr
Lägg i varukorg
Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Av Frank S.de Boer, Marcello Bonsangue m. fl.
Häftad, 2003
567 kr
Lägg i varukorg
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions …
Formal Methods for Components and Objects
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
Av Frank S. de Boer, Marcello M. Bonsangue m. fl.
Häftad, 2004
567 kr
Lägg i varukorg
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 object-oriented and the more recent component-based software engineering paradigms, requires further …
Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Av Frank S. de Boer, Marcello M. Bonsangue m. fl.
Häftad, 2005
567 kr
Lägg i varukorg
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 more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2004
755 kr
Lägg i varukorg
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 object-oriented and the more recent component-based software engineering paradigms, requires further …
Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2005
755 kr
Lägg i varukorg
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 more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Av Frank S. de Boer, Marcello M. Bonsangue m. fl.
Häftad, 2006
567 kr
Lägg i varukorg
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 more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
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 more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2003
739 kr
Lägg i varukorg
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions …
Compositionality: The Significant Difference
International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
Av Amir Pnueli, Hans Langmaack m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
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 current state of the art in the area of compositional reasoning about concurrency. The book is a …
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
Av Jacobus W. de Bakker, Willem-Paul de Roever m. fl.
Häftad, 1989
1128 kr
Lägg i varukorg
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - …
Stepwise Refinement of Distributed Systems
Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Av Jaco W. de Bakker, Willem-Paul de Roever m. fl.
Häftad, 1990
1128 kr
Lägg i varukorg
The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active …
Formal Techniques in Real-Time and Fault-Tolerant Systems
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Av Hans Langmaack, Willem-Paul de Roever m. fl.
Häftad, 1994
1128 kr
Lägg i varukorg
This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994.The book contains full versions of 5 invited talks and 33 …
Compositionality: The Significant Difference
International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
Av Willem-Paul de Roever, Hans Langmaack m. fl.
Häftad, 1998
1128 kr
Lägg i varukorg
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 current state of the art in the area of compositional reasoning about concurrency. The book is a …
Formal Methods for Components and Objects
5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
Av Frank S. de Boer, Marcello M. Bonsangue m. fl.
Häftad, 2007
567 kr
Lägg i varukorg
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 more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
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 more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Av Marcello M. Bonsangue, Susanne Graf m. fl.
Häftad, 2008
567 kr
Lägg i varukorg
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 more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2008
739 kr
Lägg i varukorg
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 more emphasis on specification, modelling and validation techniques supporting the concepts of …
