Formele specificatie is een methode voor het nauwkeurig modelleren van computergebaseerde systemen die concepten uit software-engineering en wiskundige logica combineert. In dit boek beschrijven de auteurs algebraïsche en state-based specificatietechnieken vanuit de uniforme visie op de Common Object-oriented Language for Design, COLD, een breedspectrumtaal in de traditie van VDM en Z. De kerneltaal wordt in detail uitgelegd met veel voorbeelden, waaronder: setweergave, een weergaveapparaat, een INGRES-achtig databasesysteem en een regeleditor. Fundamentele technieken zoals initiële algebra, semantiek, losse semantiek, partiële functies, verbergen, delen, predicaat en dynamische logica, abstractiefuncties, representatie van invarianten, en black-box correctheid worden ook gepresenteerd. Meer geavanceerde ideeën, bijvoorbeeld hoornlogica en grote systemen, worden in het laatste deel gegeven. Bijlagen bevatten alle details van de syntaxis van de taal en een specificatiebibliotheek. Technieken voor softwareontwikkeling en -ontwerp worden overal benadrukt, dus het boek zal een uitstekende keuze zijn voor cursussen op deze gebieden. Taal: Engels