Computer-Aided Specification Techniques

Computer-Aided Specification Techniques

Author: J Demetrovics

Publisher: World Scientific

ISBN: 9789814507981

Category:

Page: 128

View: 774

Download BOOK »

This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer applications. The approach presented explores various conceptual descriptive methods of specification processing. Contents: IntroductionConceptional ModelsFormal ModelsPrinciples of DescriptionsAn Application Example Readership: Computer scientists.
Computer-Aided Specification Techniques
Language: en
Pages: 128
Authors: J Demetrovics, E Knuth, P Radó
Categories:
Type: BOOK - Published: 1986-01-01 - Publisher: World Scientific

This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer applications.
Formal Methods in Computer-Aided Design
Language: en
Pages: 448
Authors: Alan J. Hu, Andrew K. Martin
Categories: Computers
Type: BOOK - Published: 2005-01-18 - Publisher: Springer

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004. The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The
The Agile Safety Case
Language: en
Pages: 235
Authors: Thor Myklebust, Tor Stålhane
Categories: Computers
Type: BOOK - Published: 2018-01-29 - Publisher: Springer

The safety case (SC) is one of the railway industry’s most important deliverables for creating confidence in their systems. This is the first book on how to write an SC, based on the standard EN 50129:2003. Experience has shown that preparing and understanding an SC is difficult and time consuming,
Safety and Reliability of Complex Engineered Systems
Language: en
Pages: 730
Authors: Luca Podofillini, Bruno Sudret, Bozidar Stojadinovic, Enrico Zio, Wolfgang Kröger
Categories: Technology & Engineering
Type: BOOK - Published: 2015-09-03 - Publisher: CRC Press

Safety and Reliability of Complex Engineered Systems contains the Proceedings of the 25th European Safety and Reliability Conference, ESREL 2015, held 7-10 September 2015 in Zurich, Switzerland. It includes about 570 papers accepted for presentation at the conference. These contributions focus on theories and methods in the area of risk,
Problem Solving: Methods, Programming and Future Concepts
Language: en
Pages: 421
Authors: O.V. German, D.V. Ofitserov
Categories: Mathematics
Type: BOOK - Published: 1995-11-28 - Publisher: Elsevier

Problem solving is the very area of articifical intelligence AI which, probably, will never result in a complete set of formalized theories, in a pragmatic philosphy, or in a "universal" applied discipline. Studying questions concerning this area, encompasses different concepts, models and theories. This volume of the series looks at