Analysis of Software Models’ Processing Operations

Abstract

In order to develop such software tools, it is necessary to provide an analytical background for software models processing. This background is based on possibilities of analytical approaches, involved to software engineering fundamentals. Such approaches are logics of the first and second orders, predicate calculus, methods for analysis of some software development artifacts surface and many others.