Verwandte Artikel zu Formal Methods for Distributed System Development:...

Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology) - Hardcover

 
9780792379683: Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology)

Inhaltsangabe

th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --'Fonna! Methods­ Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM's), with their conflicts between evangelistic and agnostic attitudes, with their over­ optimistic applications to toy examples and over-skeptical views about scalability to industrial cases, with their misconceptions and myths . . . , all this is essentially over. Many FM's have successfully reached their maturity, having been 'implemented' into concrete development practice: a number of papers in this book report about successful experiences in specifYing and verifYing real distributed systems and protocols. Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy. A total of 63 papers have been submitted to FORTEIPSTV 2000, out of which the Programme Committee has selected 22 for presentation at the Conference and inclusion in the Proceedings.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --'Fonna! Methods­ Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM's), with their conflicts between evangelistic and agnostic attitudes, with their over­ optimistic applications to toy examples and over-skeptical views about scalability to industrial cases, with their misconceptions and myths . . . , all this is essentially over. Many FM's have successfully reached their maturity, having been 'implemented' into concrete development practice: a number of papers in this book report about successful experiences in specifYing and verifYing real distributed systems and protocols. Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy. A total of 63 papers have been submitted to FORTEIPSTV 2000, out of which the Programme Committee has selected 22 for presentation at the Conference and inclusion in the Proceedings.

Reseña del editor

This book addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. The early, pioneering phases in the development of Formal Methods, with their conflicts between evangelistic and skeptical attitudes, are essentially over. Many Fms have reached maturity, and a number of papers in this book report on successful experiences in specifying and verifying real distributed systems and protocols. The main topics covered are:

  • model checking theory and applications;
  • verification and theorem proving;
  • testing theory and applications;
  • multicast protocol analysis and simulation;
  • hardware specification, implementation, and testing;
  • FMs for security. £/LIST£
    Formal Methods for Distributed System Development compiles the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing, and Verification (PSTV XX), which was sponsored by the International Federation for Information Processing (IFIP) and held in Pisa, Italy, in October 2000.
    This volume is suitable as a secondary text for graduate-level courses on software engineering, distributed systems, and communications, and as a reference both for researchers and for industry practitioners.
  • „Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

    • VerlagSpringer
    • Erscheinungsdatum2000
    • ISBN 10 0792379683
    • ISBN 13 9780792379683
    • EinbandTapa dura
    • SpracheEnglisch
    • Anzahl der Seiten428
    • HerausgeberBolognesi Tommaso, Latella Diego
    • Kontakt zum HerstellerNicht verfügbar

    Gebraucht kaufen

    Zustand: Sehr gut
    408 Seiten ex Library Book / aus...
    Diesen Artikel anzeigen

    EUR 4,00 für den Versand innerhalb von/der Deutschland

    Versandziele, Kosten & Dauer

    Gratis für den Versand von USA nach Deutschland

    Versandziele, Kosten & Dauer

    Weitere beliebte Ausgaben desselben Titels

    9781475752649: Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology)

    Vorgestellte Ausgabe

    ISBN 10:  1475752644 ISBN 13:  9781475752649
    Verlag: Springer, 2013
    Softcover

    Suchergebnisse für Formal Methods for Distributed System Development:...

    Foto des Verkäufers

    Bolognesi, Tommaso and Diego Latella:
    Verlag: Springer 30.09.2000., 2000
    ISBN 10: 0792379683 ISBN 13: 9780792379683
    Gebraucht Hardcover

    Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland

    Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

    Zustand: Sehr gut. Auflage: 2000. 408 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 23,6 x 15,2 x 2,8 cm, Gebundene Ausgabe. Bestandsnummer des Verkäufers 367805

    Verkäufer kontaktieren

    Gebraucht kaufen

    EUR 149,99
    Währung umrechnen
    Versand: EUR 4,00
    Innerhalb Deutschlands
    Versandziele, Kosten & Dauer

    Anzahl: 1 verfügbar

    In den Warenkorb

    Beispielbild für diese ISBN

    Tommaso Bolognesi, Diego Latell,
    Verlag: Springer, 2000
    ISBN 10: 0792379683 ISBN 13: 9780792379683
    Neu Hardcover

    Anbieter: Basi6 International, Irving, TX, USA

    Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

    Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-331782

    Verkäufer kontaktieren

    Neu kaufen

    EUR 158,22
    Währung umrechnen
    Versand: Gratis
    Von USA nach Deutschland
    Versandziele, Kosten & Dauer

    Anzahl: 1 verfügbar

    In den Warenkorb

    Beispielbild für diese ISBN

    Tommaso Bolognesi, Diego Latell,
    Verlag: Springer, 2000
    ISBN 10: 0792379683 ISBN 13: 9780792379683
    Neu Hardcover

    Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA

    Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

    Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-148496

    Verkäufer kontaktieren

    Neu kaufen

    EUR 158,22
    Währung umrechnen
    Versand: Gratis
    Von USA nach Deutschland
    Versandziele, Kosten & Dauer

    Anzahl: 1 verfügbar

    In den Warenkorb

    Foto des Verkäufers

    Bolognesi, Tommaso|Latella, Diego
    Verlag: Springer US, 2000
    ISBN 10: 0792379683 ISBN 13: 9780792379683
    Neu Hardcover
    Print-on-Demand

    Anbieter: moluna, Greven, Deutschland

    Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

    Gebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time. Bestandsnummer des Verkäufers 5970571

    Verkäufer kontaktieren

    Neu kaufen

    EUR 180,07
    Währung umrechnen
    Versand: Gratis
    Innerhalb Deutschlands
    Versandziele, Kosten & Dauer

    Anzahl: Mehr als 20 verfügbar

    In den Warenkorb

    Foto des Verkäufers

    Diego Latella
    ISBN 10: 0792379683 ISBN 13: 9780792379683
    Neu Hardcover
    Print-on-Demand

    Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

    Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

    Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --'Fonna! Methods Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM's), with their conflicts between evangelistic and agnostic attitudes, with their over optimistic applications to toy examples and over-skeptical views about scalability to industrial cases, with their misconceptions and myths . . . , all this is essentially over. Many FM's have successfully reached their maturity, having been 'implemented' into concrete development practice: a number of papers in this book report about successful experiences in specifYing and verifYing real distributed systems and protocols. Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy. A total of 63 papers have been submitted to FORTEIPSTV 2000, out of which the Programme Committee has selected 22 for presentation at the Conference and inclusion in the Proceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch. Bestandsnummer des Verkäufers 9780792379683

    Verkäufer kontaktieren

    Neu kaufen

    EUR 213,99
    Währung umrechnen
    Versand: Gratis
    Innerhalb Deutschlands
    Versandziele, Kosten & Dauer

    Anzahl: 1 verfügbar

    In den Warenkorb

    Foto des Verkäufers

    Diego Latella
    Verlag: Springer US, Springer US, 2000
    ISBN 10: 0792379683 ISBN 13: 9780792379683
    Neu Hardcover

    Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

    Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

    Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --'Fonna! Methods Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM's), with their conflicts between evangelistic and agnostic attitudes, with their over optimistic applications to toy examples and over-skeptical views about scalability to industrial cases, with their misconceptions and myths . . . , all this is essentially over. Many FM's have successfully reached their maturity, having been 'implemented' into concrete development practice: a number of papers in this book report about successful experiences in specifYing and verifYing real distributed systems and protocols. Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy. A total of 63 papers have been submitted to FORTEIPSTV 2000, out of which the Programme Committee has selected 22 for presentation at the Conference and inclusion in the Proceedings. Bestandsnummer des Verkäufers 9780792379683

    Verkäufer kontaktieren

    Neu kaufen

    EUR 223,11
    Währung umrechnen
    Versand: Gratis
    Innerhalb Deutschlands
    Versandziele, Kosten & Dauer

    Anzahl: 1 verfügbar

    In den Warenkorb

    Beispielbild für diese ISBN

    Ifip Tc6 Wg6 1 Joint International Confe
    Verlag: Springer, 2000
    ISBN 10: 0792379683 ISBN 13: 9780792379683
    Neu Hardcover

    Anbieter: Books Puddle, New York, NY, USA

    Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

    Zustand: New. pp. 428. Bestandsnummer des Verkäufers 26315940

    Verkäufer kontaktieren

    Neu kaufen

    EUR 228,08
    Währung umrechnen
    Versand: EUR 7,89
    Von USA nach Deutschland
    Versandziele, Kosten & Dauer

    Anzahl: 1 verfügbar

    In den Warenkorb

    Beispielbild für diese ISBN

    Ifip Tc6 Wg6 1 Joint International Confe
    Verlag: Springer, 2000
    ISBN 10: 0792379683 ISBN 13: 9780792379683
    Neu Hardcover

    Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

    Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

    Zustand: New. In. Bestandsnummer des Verkäufers ria9780792379683_new

    Verkäufer kontaktieren

    Neu kaufen

    EUR 233,75
    Währung umrechnen
    Versand: EUR 5,91
    Von Vereinigtes Königreich nach Deutschland
    Versandziele, Kosten & Dauer

    Anzahl: Mehr als 20 verfügbar

    In den Warenkorb

    Beispielbild für diese ISBN

    Latella Diego Bolognesi Tommaso
    Verlag: Springer, 2000
    ISBN 10: 0792379683 ISBN 13: 9780792379683
    Neu Hardcover

    Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

    Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

    Zustand: New. pp. 428. Bestandsnummer des Verkäufers 18315950

    Verkäufer kontaktieren

    Neu kaufen

    EUR 240,95
    Währung umrechnen
    Versand: EUR 2,30
    Innerhalb Deutschlands
    Versandziele, Kosten & Dauer

    Anzahl: 1 verfügbar

    In den Warenkorb

    Beispielbild für diese ISBN

    Ifip Tc6 Wg6 1 Joint International Confe
    Verlag: Springer, 2000
    ISBN 10: 0792379683 ISBN 13: 9780792379683
    Neu Hardcover

    Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

    Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

    Zustand: New. pp. 428 Illus. Bestandsnummer des Verkäufers 7564795

    Verkäufer kontaktieren

    Neu kaufen

    EUR 234,43
    Währung umrechnen
    Versand: EUR 10,50
    Von Vereinigtes Königreich nach Deutschland
    Versandziele, Kosten & Dauer

    Anzahl: 1 verfügbar

    In den Warenkorb

    Es gibt 3 weitere Exemplare dieses Buches

    Alle Suchergebnisse ansehen