Articoli correlati a Modular Specification and Verification of Object-Oriented...
Sinossi
Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci?cation and veri?cation. Speci?cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri?cation, one can then prove that an implementation really has the desired, speci?ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: Formal speci?cation techniques have to be smoothly integrated into the software and program development process. The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller ¨ has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware. The speci?cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Mojave and the Universe Type System.- The Semantics of Mojave.- Modular Specification and Verification of Functional Behavior.- Modular Specification and Verification of Frame Properties.- Modular Specification and Verification of Type Invariants.- Conclusion.- Formal Background and Notations.- Predefined Type Declarations.- Examples.- Auxiliary Lemmas, Proofs, and Models.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: molto buonoZustand: Gut | Seiten: 312 | Sprache...
Visualizza questo articolo
EUR 42,18
EUR 9,90 per la spedizione da Germania a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Modular Specification and Verification of Object-Oriented...
Foto dell'editore
Modular Specification and Verification of Object-Oriented Programs
Editore:
Springer Berlin Heidelberg, 2002
ISBN 10: 3540431675
ISBN 13: 9783540431671
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Zustand: Gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher. Codice articolo 997198/3
Quantità: 1 disponibili
Immagini fornite dal venditore
Modular Specification and Verification of Object-Oriented Programs
Editore:
Springer Berlin Heidelberg, 2002
ISBN 10: 3540431675
ISBN 13: 9783540431671
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how e. Codice articolo 4890291
Quantità: Più di 20 disponibili
Foto dell'editore
Modular Specification and Verification of Object-Oriented Programs
Editore:
Springer Verlag, New York, 2002
ISBN 10: 3540431675
ISBN 13: 9783540431671
Antico o usato
Rilegato
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2262. [xiv, 292 p. : ill. ; 24 cm]. Codice articolo 011816
Quantità: 1 disponibili
Foto dell'editore
Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science, 2262, Band 2262) M??ller, Peter
Da: online-buch-de, Dozwil, Svizzera
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: gebraucht; wie neu. Softcover, ungebraucht. Codice articolo 174-3-46
Quantità: 1 disponibili
Immagini fornite dal venditore
Modular Specification and Verification of Object-Oriented Programs
Editore:
Springer Berlin Heidelberg Jan 2002, 2002
ISBN 10: 3540431675
ISBN 13: 9783540431671
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software systems play an increasingly important role in modern societies. Smart cards for personal identi cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci cation and veri cation. Speci cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri cation, one can then prove that an implementation really has the desired, speci ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: - Formal speci cation techniques have to be smoothly integrated into the software and program development process. - The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci cation and veri cation of object-oriented so- ware. The speci cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming. 312 pp. Englisch. Codice articolo 9783540431671
Quantità: 2 disponibili
Immagini fornite dal venditore
Modular Specification and Verification of Object-Oriented Programs
Editore:
Springer Berlin Heidelberg, 2002
ISBN 10: 3540431675
ISBN 13: 9783540431671
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software systems play an increasingly important role in modern societies. Smart cards for personal identi cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci cation and veri cation. Speci cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri cation, one can then prove that an implementation really has the desired, speci ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: - Formal speci cation techniques have to be smoothly integrated into the software and program development process. - The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci cation and veri cation of object-oriented so- ware. The speci cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming. Codice articolo 9783540431671
Quantità: 1 disponibili
Immagini fornite dal venditore
Modular Specification and Verification of Object-Oriented Programs
ISBN 10: 3540431675
ISBN 13: 9783540431671
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -Software systems play an increasingly important role in modern societies. Smart cards for personal identi cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci cation and veri cation. Speci cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri cation, one can then prove that an implementation really has the desired, speci ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: ¿ Formal speci cation techniques have to be smoothly integrated into the software and program development process. ¿ The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller ¿ has developed new te- niques for the formal speci cation and veri cation of object-oriented so- ware. The speci cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch. Codice articolo 9783540431671
Quantità: 2 disponibili
Immagini fornite dal venditore
Modular Specification and Verification of Object-Oriented Programs
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 916357-n
Quantità: Più di 20 disponibili
Foto dell'editore
Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science, 2262)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540431671_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Modular Specification and Verification of Object-Oriented Programs
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 916357-n
Quantità: Più di 20 disponibili