Computer-aided Specification Techniques
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract data types ACTION algebra attributes B-tree buffer call-for-list called CODASYL Computer Science conceptual models conference-database conference-secretariat connection context control-statement data objects data structures database declared defined definition denoted derived derived-by directed graph document electronic-mail element t,e entity example Figure form absolute form information form process form subord-to formal function given graph homomorphism information elements Information System input integer introduced iter-while iteration Knuth language logical data model manual mental manual technical modul morphisms MTA SZTAKI North Holland occ occures ordering relation output stream owned-by owner-data parblock partial ordering PC-member-list personal-data personal-status-information Petri nets program-table programming programming languages qualified reactor reference universe relation-to Result scheme semantic sequence set theoretical operations sign(R signature SIMULA 67 Software specification statement statement(subord-to:control-statement step subfunction subpart subset subtypes Suppose system design tion to-derive type(S universal algebra update used-by utilizing conference-supporting-system vertex vertices