LOTOSphere: Software Development with LOTOS - edition reliée, livre de poche

EAN (ISBN-13): 9780792395294
ISBN (ISBN-10): 0792395298
Version reliée
Date de parution: 1995
Editeur: Springer
524 Pages
Poids: 0,894 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-10-13T13:40:25+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-07-24T05:46:51+02:00 (Paris)
ISBN/EAN: 0792395298

ISBN - Autres types d'écriture:
0-7923-9529-8, 978-0-7923-9529-4
Autres types d'écriture et termes associés:
Auteur du livre: bolognesi, chris visser
Titre du livre: lotos, software

---

Données de l'éditeur

Auteur: Tommaso Bolognesi; Jeroen van de Lagemaat; Chris Vissers
Titre: LOTOSphere: Software Development with LOTOS
Editeur: Springer; Springer US
488 Pages
Date de parution: 1995-01-31
New York; NY; US
Poids: 1,980 kg
Langue: Anglais
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XXII, 488 p.

BB; Programming Languages, Compilers, Interpreters; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Browser; C programming language; Compiler; Language of Temporal Ordering Specification; Standard; communication; development; production; Software Engineering/Programming and Operating Systems; Artificial Intelligence; Processor Architectures; Electrical Engineering; Compilers and Interpreters; Software Engineering; Artificial Intelligence; Processor Architectures; Electrical and Electronic Engineering; Software Engineering; Künstliche Intelligenz; Rechnerarchitektur und Logik-Entwurf; Elektrotechnik; BC; EA

Preface. Part I: Introduction and Overview. 1. LOTOSphere, an Attempt towards a Design Culture; C.A. Vissers, L. Ferreira Pires, J. van de Lagemaat. 2. The LOTOSphere Design Methodology; J. Quemada, A. Azcorra, S. Pavón. 3. Design and Implementation Strategies; J. Schot, L. Ferreira Pires. 4. Getting to Use the LOTOSphere Integrated Tool Environment (LITE); J.A. Mañas. 5. LOTOS Industrial Applications. 6. Applying LOTOS to OSI Application Layer Protocols; R.E. Booth. Part II: Specification and Transformation. 7. LOTOS Specification Style for OSI; K.J. Turner, M. van Sinderen. 8. Correctness Preserving Transformations for the Early Phases of Software Development; T. Bolognesi, D. De Frutos, R. Langerak, D. Latella. 9. Correctness Preserving Transformations for the Late Phases of Software Development; A. Fantechi, B. Mekhanet, E. Najm, P. Cunha, J. Queiroz. 10. A Case Study on Protocol Design; J.-P. Courtiat, D.-E. Saïdouni. Part II: Analysis. 11. Executing LOTOS Specifications: the SMILE Tool; H. Eertink. 12. A Pragmatic Approach to Verification, Validation and Compilation; T. Miguel, A. Azcorra, J. Quemada, J.A. Mañas. 13. An Exercise in Protocol Verification; S. Gnesi, E. Madelaine, G. Ristori. 14. A Tool for Checking ADT Completeness and Consistency; D. Wolz. 15. Deriving Tests from LOTOS Specifications; T. Bolognesi, D. De Frutos, R. Langerak, D. Latella. Part IV: Implementation. 16. The COLOS Compiler; K. Warkentyne, E. Dubuis.17. TP Protocol from Specification to Implementation; I. Widya, G.-J. van der Heijden, F. Juillot. 18. Realization of CCR in C; V. Jones. 19. ALTO: an Interactive Transformation Tool for LOTOS and LOTOMATION; E. Najm, A. Serhrouchni, A. Lakas, E. Madelaine, R. de Simone. Part V: Graphical LOTOS. 20. G-LOTOS: a Graphical Language for Concurrent Systems; T. Bolognesi, E. Najm, P.A.J. Tilanus. 21. GLOW 3.0 -- a Graphical LOTOS Browser; T. Bolognesi, M. Caneve, E. Salvatori. Part VI: LOTOS Enhancements. 22. Enhancements of LOTOS; E. Brinksma, G. Leih. 23. Data Specifications in Modular LOTOS; R. Roth, J. de Meer, S. Storp. Index.