Mathematical Foundations of Software Development: Volume 2: Colloquium on Software Engineering. TAPSOFT Proceedings ; Berlin, Germany; March, 1985. Volume 186 Lecture Notes in Computer Science.. Questo articolo non è disponibile.
Editore: Springer-Verlag, OHG, Berlin, Germany, 1985
- Prima edizione
- Brossura
- Usato
Da: SUNSET BOOKS 2, Newark, OH, U.S.A.SUNSET BOOKS 2
Venditore con 5 stelle
Venditore AbeBooks dal 31 luglio 2009
Non disponibile
Brossura
Condizione: Usato - Buono
EUR 15,08
Descrizione dell’articolo da parte del venditore
Wear/soil. W/full markings and pocket. 455 numbered pages, 459 for Amz. Size: 8vo Size: 8vo - over 7¾ - 9¾" tall.
Codice articolo 009049
- Titolo
- Mathematical Foundations of Software Development: Volume 2: Colloquium on Software Engineering. TAPSOFT Proceedings ; Berlin, Germany; March, 1985. Volume 186 Lecture Notes in Computer Science.
- Autore
- Ehrig, Hartmut (Editor), et al.; Goos, G. (Editor); Hartmanis, J. (Editor)
- Editore
- Springer-Verlag, OHG, Berlin, Germany
- Anno di pubblicazione
- 1985
- Condizione
- Good
- Sovraccoperta
- No Jacket
- Tipo di libro
- Ex-Library
- Rilegatura
- Paperback
- ISBN 10
- 3540151990
- ISBN 13
- 9783540151999
- Edizione
- 1st.
- Cataloghi dei venditori
- PROGRAMMING
Contenuti
On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of modules.- Intuition in software development.- A rational design process: How and why to fake it.- Formalization in systems development.- Specifying and prototyping: Some thoughts on why they are successful.- A formal specification of line representations on graphics devices.- Experiences with the PSG — Programming System Generator.- Software construction using typed fragments.- Graph grammar engineering: A method used for the development of an integrated programming support environment.- Multidimensional tree-structured file spaces.- A theory of abstract data types for program development: Bridging the gap?.- Program development and documentation by informal transformations and derivations.- ASSPEGIQUE: An integrated environment for algebraic specifications.- Application of PROLOG to test sets generation from algebraic specifications.- A PROLOG environment for developing and reasoning about data types.- Algebraic specification of synchronisation and errors: A telephonic example.- Modelling concurrent modules.- Synthesis of parallel programs invariants.- Analyzing safety and fault tolerance using Time Petri nets.- Algebraic specification of a communication scheduler.- The integration and distribution phase in the software life cycle.- Formalized software development in an industrial environment.- Object oriented concurrent programming and industrial software production.- Experience of introducing the Vienna development method into an industrial organisation.- EDP system development methodology: Auditability and control.- Experiences with object oriented programming.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Risultati della ricerca per Mathematical Foundations of Software Development: Volume 2: Colloquium on Software Engineering. TAPSOFT Proceedings ; Berlin, Germany; March, 1985. Volume 186 Lecture Notes in Computer Science.
Ci sono altre 2 copie di questo libroVisualizza tutti i risultati