Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.) Springer (2004) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Willem-Paul de Roever; Frank de Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers Cambridge University Press (2012) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Willem-Paul de Roever; Frank de Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers Cambridge University Press (2001) Saatavuus: Tilaustuote Kovakantinen kirja
Willem Boer; Robert R Bolgar; Walter Burkert; Kenneth J Dover; Fritz Krafft; Arnaldo Momigliano; Evelyne Patlagean Fondation Hardt (1980) Saatavuus: Hankintapalvelu Kovakantinen kirja
Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.) Springer (2007) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.) Springer (2006) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Frank S. de Boer (ed.); Marcello M. Bonsangue (ed.); Susanne Graf (ed.); Willem-Paul de Roever (ed.) Springer (2005) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Rinus Ferdinandusse; Ad von Denderen; Willem Diepraam; Bert Nienhuis; Eddy Posthuma de Boer; Hans Singels Thames & Hudson Ltd (1986) Saatavuus: Hankintapalvelu Pehmeäkantinen kirja
Sarah de Boer-Schultz; Kanae Hasegawa; Merel Kokhuis; Carmel McNamara; Marlous van Rossum-Willems Frame Publishers BV (2012) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Johnny H. Søraker (ed.); Jan-Willem Van der Rijt (ed.); Jelle de Boer (ed.); Pak-Hang Wong (ed.); Philip Brey (ed.) Springer (2014) Saatavuus: Tilaustuote Kovakantinen kirja
Marlous van Rossum-Willems; Enya Moore; Sarah de Boer-Schultz; Kanae Hasegawa; Jane Szita Frame Publishers BV (2014) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Johnny H. Søraker; Jan-Willem Van der Rijt; Jelle de Boer; Pak-Hang Wong; Philip Brey Springer International Publishing AG (2016) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Marijn De Kroon; Willem Van't Spijker; Christa Boerke; Jc Klok Vandenhoeck & Ruprecht GmbH & Co KG (2018) Saatavuus: Hankintapalvelu Kovakantinen kirja
Springer Sivumäärä: 512 sivua Asu: Pehmeäkantinen kirja Painos: 2003 Julkaisuvuosi: 2003, 09.10.2003 (lisätietoa) Kieli: Englanti
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 are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci?cation and veri?cation techniques supporting the concepts of reusability and modi?ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5–8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the ?elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering.
