Zhytaruk A. Formalized conceptual models of the application domains of information systems and computing methods for their analysis

A research object is a process of conceptual design of subject domains during development of the informative systems. Purpose is a decline of labour intensiveness of development of the informative systems due to the improvement of facilities of conceptual design, namely the use of formalized conceptual model of subject domain and calculable methods of her analysis. Research methods are a theory of logic of first-order and multimodal logic, theory of the graphs, theory of design of the difficult systems, theory of databases, languages and facilities of programming. Scientific novelty: the formal language of determination of pre-charts in the process of conceptual design of subject domains and method of their presentation are first offered in terms of quantificational of first-order logic; description of semantics of pre-charts is improved; the formal language of description of structural limitations and calculable method of verification of them are offered; procedure of transformation of pre-charts got further development in the depository of data.