Articoli correlati a Validated Designs for Object-oriented Systems
Sinossi
This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising software engineers with some prior experience of object-oriented design/programming and at intermediate or advanced students studying object-oriented design or modelling in a short course. The following features make this book particularly attractive to potential instructors: § The relationship with UML and object-oriented programming makes it easy to integrate with the mainstream computing curriculum. Although the book is about formal methods, it does not have to be treated as a specialist topic. § The use of tools and an accessible modelling language improves student motivation. § The industry-based examples and case studies add to the credibility of the approach. § The light touch approach means that the material appeals to students with a wider range of abilities than is the case in a conventional formal methods text. § Support materials as listed above.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
I - Models and Software Development Introduction Building a Model in VDM++: an Overview VDM++ Tool Support II - Modelling Object-oriented Systems in VDM++ Defining Data Defining Functionality Modelling Unordered Collections Modelling Ordered Collections Modelling Relationships III - Modelling in Practice: Three Case Studies Model Structuring: The Enigma Cipher Combining Views: The CSLaM System TradeOne: From Enterprise Architecture to Business Application IV - From Models to Code Concurrency in VDM++ Model Quality Implementing in Java A - Solutions to exercises Bibliography List of Acronyms Subject Index Definitions Index
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2010
- ISBN 10 1849969434
- ISBN 13 9781849969437
- RilegaturaCopertina flessibile
- Numero di pagine416
Compra usato
Condizioni: buonoMost items will be dispatched the... Scopri di più su questo articolo
EUR 48,52
Spese di spedizione:
EUR 9,42
Da: Regno Unito a: U.S.A.
Compra nuovo
Scopri di più su questo articolo
EUR 86,47
Spese di spedizione:
GRATIS
In U.S.A.
Altre edizioni note dello stesso titolo
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Validated Designs for Object-oriented Systems
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: USED_GOOD. Most items will be dispatched the same or the next working day. Codice articolo wbs4307461065
Quantità: 1 disponibili
Immagini fornite dal venditore
Validated Designs for Object-oriented Systems by Fitzgerald, John S. [Paperback ]
Da: booksXpress, Bayonne, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
Soft Cover. Condizione: NEW. Codice articolo 9781849969437
Quantità: 10 disponibili
Foto dell'editore
Validated Designs for Object-oriented Systems
Print on DemandDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9781849969437_lsuk
Quantità: Più di 20 disponibili
Foto dell'editore
Validated Designs for Object-oriented Systems
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: NEW. Codice articolo ABLIING23Mar2912160255206
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Validated Designs for Object-oriented Systems
Editore:
Springer London Okt 2010, 2010
ISBN 10: 1849969434
ISBN 13: 9781849969437
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: NEW. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising software engineers with some prior experience of object-oriented design/programming and at intermediate or advanced students studying object-oriented design or modelling in a short course. The following features make this book particularly attractive to potential instructors: The relationship with UML and object-oriented programming makes it easy to integrate with the mainstream computing curriculum. Although the book is about formal methods, it does not have to be treated as a specialist topic. The use of tools and an accessible modelling language improves student motivation. The industry-based examples and case studies add to the credibility of the approach. The light touch approach means that the material appeals to students with a wider range of abilities than is the case in a conventional formal methods text. Support materials as listed above. 416 pp. Englisch. Codice articolo 9781849969437
Quantità: 2 disponibili
Foto dell'editore
Validated Designs for Object-oriented Systems
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: NEW. Codice articolo 6666-IUK-9781849969437
Quantità: 10 disponibili
Immagini fornite dal venditore
Validated Designs for Object-oriented Systems
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: NEW. Druck auf Anfrage Neuware - Printed after ordering. Codice articolo 9781849969437
Quantità: 1 disponibili
Immagini fornite dal venditore
Validated Designs for Object-oriented Systems
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: NEW. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents formal modelling techniques in a context that will be familiar to practitioners and students with no prior experience of formalism, namely object-oriented designAdvocates formal modelling as an enhancement to common design practice. Codice articolo 4288999
Quantità: Più di 20 disponibili
Foto dell'editore
Validated Designs for Object-oriented Systems
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: NEW. 2010. Paperback. . . . . . Codice articolo V9781849969437
Quantità: 15 disponibili
Foto dell'editore
Validated Designs for Object-oriented Systems
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: NEW. 2010. Paperback. . . . . . Books ship from the US and Ireland. Codice articolo V9781849969437
Quantità: 15 disponibili