{"product_id":"9781461359241","title":"LOTOSphere: Software Development with LOTOS","description":"\u003ch1\u003eLOTOSphere: Software Development with LOTOS\u003c\/h1\u003e \u003ch2\u003eBolognesi, Tommaso; van de Lagemaat, Jeroen; Vissers, Chris\u003c\/h2\u003e \u003cp\u003eLOTOS (Language Of Temporal Ordering Specification) became an  international standard in 1989, although application of preliminary  versions of the language to communication services and protocols of  the ISO\/OSI family dates back to 1984. This history of the use of  LOTOS made it apparent that more advantages than the pure production  of standard reference documents were to be expected from the use of  such formal description techniques. \u003cbr\u003e  \u003cem\u003eLOTOSphere: Software Development with LOTOS\u003c\/em\u003e describes in depth a  five year project that moved LOTOS out of the ISO tower into software  engineering practice. LOTOS became a vehicle for efficient, yet  formally based industrial software specification, design,  verification, implementation and testing. \u003cbr\u003e  \u003cem\u003eLOTOSphere: Software Development with LOTOS\u003c\/em\u003e is divided into six  parts. The first introduces the reader to LOTOS and the project  LOTOSphere. The five remaining each treat an important part of the  software development life cycle using LOTOS. This is the first book to  give a comprehensive treatment of the use of these formal description  techniques in a software engineering environment. It will thus be a  valuable reference for researchers and software developers and can  also be used as a text for an advanced course on the subject. \u003cbr\u003e\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2012-12-05\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781461359241\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-2203-4\u003c\/p\u003e \u003cp\u003eDimensions: 240cm x160cm\u003c\/p\u003e \u003cp\u003ePages: 488\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":44340839448716,"sku":"9781461359241","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781461359241.jpg?v=1771530852","url":"https:\/\/lateknightbooks.com\/products\/9781461359241","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}