Computer-Aided Specification Techniques

Computer-Aided Specification Techniques

Author: J Demetrovics

Publisher: World Scientific

ISBN: 9789814507981

Category:

Page: 128

View: 445

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.
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
Software Technologies
Language: en
Pages: 385
Authors: Andreas Holzinger, Jorge Cardoso, José Cordeiro, Therese Libourel, Leszek A. Maciaszek, Marten van Sinderen
Categories: Computers
Type: BOOK - Published: 2015-10-16 - Publisher: Springer

This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014. The 15 revised full papers and 6 short papers presented were carefully reviewed and selected from 145 submissions. The papers focus on enterprise software technologies;