Lotos Tools Based on the Cornell Synthesizer Generator
Author | : P. Van Eijk |
Publisher | : |
Total Pages | : 13 |
Release | : 1989 |
Genre | : |
ISBN | : |
Download Lotos Tools Based on the Cornell Synthesizer Generator Book in PDF, ePub and Kindle
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Lotos Tools Based On The Cornell Synthesizer Generator PDF full book. Access full book title Lotos Tools Based On The Cornell Synthesizer Generator.
Author | : P. Van Eijk |
Publisher | : |
Total Pages | : 13 |
Release | : 1989 |
Genre | : |
ISBN | : |
Author | : Tommaso Bolognesi |
Publisher | : Springer Science & Business Media |
Total Pages | : 490 |
Release | : 2012-12-06 |
Genre | : Computers |
ISBN | : 146152203X |
LOTOS (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. LOTOSphere: Software Development with LOTOS 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. LOTOSphere: Software Development with LOTOS 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.
Author | : K.R. Parker |
Publisher | : Elsevier |
Total Pages | : 596 |
Release | : 2013-10-22 |
Genre | : Computers |
ISBN | : 1483293335 |
Formality is becoming accepted as essential in the development of complex systems such as multi-layer communications protocols and distributed systems. Formality is mandatory for mathematical verification, a procedure being imposed on safety-critical system development. Standard documents are also becoming increasingly formalised in order to capture notions precisely and unambiguously. This FORTE '91 proceedings volume has focussed on the standardised languages SDL, Estelle and LOTOS while, as with earlier conferences, remaining open to other notations and techniques, thus encouraging the continuous evolution of formal techniques. This useful volume contains 29 submitted papers, three invited papers, four industry reports, and four tool reports organised to correspond with the conference sessions.
Author | : |
Publisher | : |
Total Pages | : 576 |
Release | : 1991 |
Genre | : Aeronautics |
ISBN | : |
Author | : Pierre Deransart |
Publisher | : Springer Science & Business Media |
Total Pages | : 374 |
Release | : 1990-09-07 |
Genre | : Computers |
ISBN | : 9783540531012 |
Proceedings
Author | : Ed Brinksma |
Publisher | : North Holland |
Total Pages | : 428 |
Release | : 1990 |
Genre | : Computer network protocols |
ISBN | : |
Researchers and practitioners concerned with the application of formal methods to the design, description, analysis, implementation and testing of open systems contributed to this book. It is the ninth in a successful series of annual volumes.
Author | : Son T. Vuong |
Publisher | : North Holland |
Total Pages | : 572 |
Release | : 1990 |
Genre | : Computers |
ISBN | : |
Selected research papers collected in this volume cover various theoretical and practical aspects of Formal Description Techniques (FDTs), e.g. LOTOS, Estelle, SDL, TTCN and ASN.1, for communications protocols. The main subject areas covered by the papers are: ndash; Theoretical and practical aspects of analysing formal descriptions, including translation, implementation and test generation ndash; Practical experience of using FDTs ndash; Software tools to support the applications of FDTs ndash; FDT language design issues and FDT extensions ndash; Perspective on FDTs.
Author | : |
Publisher | : |
Total Pages | : 894 |
Release | : 1989 |
Genre | : Computer network architectures |
ISBN | : |
Author | : Juan Quemada |
Publisher | : North Holland |
Total Pages | : 612 |
Release | : 1991 |
Genre | : Computers |
ISBN | : |
This proceedings contains a selection of papers covering the most relevant areas of application of standardized FDTs, including ASNI, Estelle, LOTOS and SDL. An extensive description of tools for FDTs is provided as well as applications related to implementation derivation, design by stepwise refinement, testing, transformation, formalization of standards, industrial transfer, and others. A small number of papers dealing with language issues, basic theoretical aspects of the target FDTs, and comparisons between standardized FDTs and alternative approaches have also been included.
Author | : Maurice Nivat |
Publisher | : Springer |
Total Pages | : 598 |
Release | : 1992 |
Genre | : Computers |
ISBN | : |
This volume contains the proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST '91). The aim of the AMAST conferences is to promote the use of algebraic methodology as a foundation for software technology, and to examine how it can be used to provide practical mathematical alternatives to the ad hoc methods commonly used in software development. In particular the conferences provide a showcase for software systems which have been developed in this way, focusing on the conceptual developments which made them possible. The resulting volume covers a variety of software development issues, and testifies to the versality of algebraic methods when used as conceptual tools in the software development process. It features a distinguished collection of invited papers from leading researchers in the field, many of which break new ground, or represent an important step forward in current research. Among the specific topics covered are: language design; compiler construction; software testing; symbolic computation and partial evaluation; incremental implementation; and the verification of program and specification properties. Algebraic Methodology and Software Technology (AMAST '91) provides a comprehensive overview of this important field of science. It will provide invaluable reading for students and researchers, both in industry and academia.