Terug Terug

Modelling Systems Practical Tools and Techniques in Software Development

Name: Modelling Systems
Author: John Fitzgerald

Auteur: John Fitzgerald

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Uitgever: Cambridge University Press

Auteur: John Fitzgerald Peter Gorm Larsen

Co-auteur: Peter Gorm Larsen

Engels
Hardcover
9780521899116
11 juni 2009
288 pagina's

Alle productspecificaties

Samenvatting

How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Hardcover
Oorspronkelijke releasedatum: 11 juni 2009
Aantal pagina's: 288
Illustraties: Nee

Betrokkenen

Hoofdauteur: John Fitzgerald
Tweede Auteur: Peter Gorm Larsen
Co Auteur: Peter Gorm Larsen
Hoofduitgeverij: Cambridge University Press

Overige kenmerken

Editie: 2
Extra groot lettertype: Nee
Product breedte: 177 mm
Product hoogte: 20 mm
Product lengte: 253 mm
Studieboek: Ja
Verpakking breedte: 177 mm
Verpakking hoogte: 20 mm
Verpakking lengte: 253 mm
Verpakkingsgewicht: 690 g

EAN

EAN: 9780521899116

Je vindt dit artikel in

Categorieën: Computers & Informatica

Programmeren

Programmeertalen

Softwareontwikkeling

Boeken
Taal: Engels
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Algemene boeken
Beschikbaarheid: Leverbaar

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.