Articoli correlati a Engineering Theories of Software Intensive Systems:...

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... Germany, from 3 to 15 August 2004: 195 - Brossura

 
9781402035319: Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... Germany, from 3 to 15 August 2004: 195

Sinossi

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.

The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Preface. Part I Architectures, Design and Interfaces Incremental Software Construction with Refinement Diagrams; R.-J. Back. Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures; M. Broy. Interface-based Design; T.A. Henzinger, L. de Alfaro. The Dependent Delegate Dilemma; B. Meyer.- Part II System and Program Verification, Model Checking and Theorem Proving Formalizing Counterexample-driven Refinement with Weakest Preconditions; T. Ball. A Mechanically Checked Proof of a Comparator Sort Algorithm; J Strother Moore, B. Brock. Keys in Formal Verification: Abstractions for Progress; A. Pnueli. On the utility of canonical abstraction; S. Sagi et al.- Part III Process Algebras and Experimental Calculi Process Algebra: a Unifying Approach; T. Hoare. Computation Orchestration; J. Misra. A Tree Semantics of an Orchestration Language; T. Hoare et al.- Part IV Security, System Development and Special Aspects Model Driven Security; D. Basin et al. Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction; David Harel.

Product Description

Book by Fletcher Beverly R

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: come nuovo
Like New
Visualizza questo articolo

EUR 29,03 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

GRATIS per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9781402035302: Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... Germany, from 3 to 15 August 2004: 195

Edizione in evidenza

ISBN 10:  1402035306 ISBN 13:  9781402035302
Casa editrice: Kluwer Academic Pub, 2005
Rilegato

Risultati della ricerca per Engineering Theories of Software Intensive Systems:...

Foto dell'editore

0
Editore: Springer, 2005
ISBN 10: 1402035314 ISBN 13: 9781402035319
Nuovo Brossura

Da: Basi6 International, Irving, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-166507

Contatta il venditore

Compra nuovo

EUR 100,26
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Broy, Manfred; Harel, David; Hoare, Tony; Gruenbauer, Johannes
Editore: Springer, 2005
ISBN 10: 1402035314 ISBN 13: 9781402035319
Nuovo Brossura

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: 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. Codice articolo ABNR-85249

Contatta il venditore

Compra nuovo

EUR 100,26
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Manfred Broy
ISBN 10: 1402035314 ISBN 13: 9781402035319
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004. 416 pp. Englisch. Codice articolo 9781402035319

Contatta il venditore

Compra nuovo

EUR 139,09
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Broy, Manfred|Gruenbauer, Johannes|Harel, David
Editore: Springer Netherlands, 2005
ISBN 10: 1402035314 ISBN 13: 9781402035319
Nuovo Kartoniert / Broschiert
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal MethodsSoftware EngineeringEmbedded SystemsSystem and Program VerificationSecurity EngineeringSoftware engineering has over the years been applied in many different fields, ranging from telecommunications to . Codice articolo 4093397

Contatta il venditore

Compra nuovo

EUR 180,07
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Manfred Broy
ISBN 10: 1402035314 ISBN 13: 9781402035319
Nuovo Taschenbuch
Print on Demand

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch. Codice articolo 9781402035319

Contatta il venditore

Compra nuovo

EUR 213,99
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Broy, Manfred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Editore: Springer, 2005
ISBN 10: 1402035314 ISBN 13: 9781402035319
Nuovo Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 3496709-n

Contatta il venditore

Compra nuovo

EUR 216,15
Convertire valuta
Spese di spedizione: EUR 17,42
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Manfred Broy
ISBN 10: 1402035314 ISBN 13: 9781402035319
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004. Codice articolo 9781402035319

Contatta il venditore

Compra nuovo

EUR 223,11
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Broy, Manfred; Harel, David; Hoare, Tony; Gruenbauer, Johannes
Editore: Springer, 2005
ISBN 10: 1402035314 ISBN 13: 9781402035319
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In English. Codice articolo ria9781402035319_new

Contatta il venditore

Compra nuovo

EUR 228,70
Convertire valuta
Spese di spedizione: EUR 10,44
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Broy, Manfred; Harel, David; Hoare, Tony; Gruenbauer, Johannes
Editore: Springer, 2005
ISBN 10: 1402035314 ISBN 13: 9781402035319
Antico o usato Paperback

Da: dsmbooks, Liverpool, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Like New. Like New. book. Codice articolo D7F7-3-M-1402035314-6

Contatta il venditore

Compra usato

EUR 211,80
Convertire valuta
Spese di spedizione: EUR 29,03
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Broy, Manfred (EDT); Grunbauer, Johannes (EDT); Harel, David (EDT); Hoare, Tony (EDT)
Editore: Springer, 2005
ISBN 10: 1402035314 ISBN 13: 9781402035319
Antico o usato Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: As New. Unread book in perfect condition. Codice articolo 3496709

Contatta il venditore

Compra usato

EUR 227,90
Convertire valuta
Spese di spedizione: EUR 17,42
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Vedi altre 3 copie di questo libro

Vedi tutti i risultati per questo libro