ISBN: 9781461359241
LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and pr… More...
BarnesandNoble.com new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs Details... |
2012, ISBN: 9781461359241
LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and pr… More...
Orellfuessli.ch Nr. 29440396. Shipping costs:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 6 - 9 Werktagen, zzgl. Versandkosten. (EUR 16.75) Details... |
2012, ISBN: 9781461359241
LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and pr… More...
Orellfuessli.ch Nr. 29440396. Shipping costs:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 6 - 9 Werktagen, zzgl. Versandkosten. (EUR 16.61) Details... |
2012, ISBN: 1461359244
Softcover reprint of the original 1st ed. 1995 Kartoniert / Broschiert Betriebssysteme, Compiler und Übersetzer, Programmier- und Skriptsprachen, allgemein, Software Engineering, Rechne… More...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2012, ISBN: 9781461359241
Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1995, 516 Seiten, Publiziert: 2012-12-05T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 1.8 kg, Softw… More...
amazon.de |
ISBN: 9781461359241
LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and pr… More...
2012, ISBN: 9781461359241
LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and pr… More...
2012
ISBN: 9781461359241
LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and pr… More...
2012, ISBN: 1461359244
Softcover reprint of the original 1st ed. 1995 Kartoniert / Broschiert Betriebssysteme, Compiler und Übersetzer, Programmier- und Skriptsprachen, allgemein, Software Engineering, Rechne… More...
2012, ISBN: 9781461359241
Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1995, 516 Seiten, Publiziert: 2012-12-05T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 1.8 kg, Softw… More...
Bibliographic data of the best matching book
Details of the book - LOTOSphere: Software Development with LOTOS Tommaso Bolognesi Editor
EAN (ISBN-13): 9781461359241
ISBN (ISBN-10): 1461359244
Paperback
Publishing year: 2012
Publisher: Springer US Core >1
Book in our database since 2014-01-24T10:04:38-05:00 (New York)
Detail page last modified on 2024-02-04T09:34:00-05:00 (New York)
ISBN/EAN: 9781461359241
ISBN - alternate spelling:
1-4613-5924-4, 978-1-4613-5924-1
Alternate spelling and related search-keywords:
Book author: bolognesi, chris visser, lang
Book title: lotos
Information from Publisher
Author: Tommaso Bolognesi; Jeroen van de Lagemaat; Chris Vissers
Title: LOTOSphere: Software Development with LOTOS
Publisher: Springer; Springer US
488 Pages
Publishing year: 2012-12-05
New York; NY; US
Printed / Made in
Weight: 0,815 kg
Language: English
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XXII, 488 p.
BC; 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; BB
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.More/other books that might be very similar to this book
Latest similar book:
9781461522034 LOTOSphere: Software Development with LOTOS (Michael J. Rosen)
< to archive...