CHF 69.00

Algebraic Foundations of Systems Specification

Inglese · Tascabile

Spedizione di solito entro 1 a 2 settimane

Questo articolo non può essere restituito.

Descrizione

Ulteriori informazioni

The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab stract data types and the formal development of first-order applicative pro grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati cally founded in universal algebra, category theory and logic.

Dettagli sul prodotto

Con la collaborazione di Egidio Astesiano (Editore), Hans-Jörg Kreowski (Editore), Bernd Krieg-Brückner (Editore), Hans-Jör Kreowski (Editore)
Editore Springer, Berlin
 
Contenuto Libro
Forma del prodotto Tascabile
Data pubblicazione 16.11.2012
Categoria Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica
 
EAN 9783642641510
ISBN 978-3-642-64151-0
Numero di pagine 616
Illustrazioni XII, 616 p.
Dimensioni (della confezione) 15.5 x 3.3 x 23.5 cm
Peso (della confezione) 942 g
 
Serie IFIP State-of-the-Art Reports
IFIP State-of-the-Art Reports
IFIP State - of - the - Art Reports
 

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.