Computer-aided Specification Techniques

Download or read book Computer-aided Specification Techniques written by Janos Demetrovics and published by World Scientific. This book was released on 1986-01-01 with total page 125 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.