The results of literature review show that the need for both reliability and flexibility is
increasingly becoming important among the various classes of software applications …

CONTEXT: It is well-known that the use of formal methods in the software development
process results in high-quality software products. Having specified the software …

Due to the popularity of object-oriented programming approaches, there is a growing
interest in utilizing object-oriented concepts, such as encapsulation and reuse, when …

Object-Z is an object-oriented specification language which extends the Z language with
classes, objects, inheritance and polymorphism that can be used to represent the …

It is well known that the use of formal methods in the software development process results
in a high-quality software product. However, since formal approaches are just reasoning …

Automatic translation of a high-level specification language to an executable implementation
would be highly useful in maximizing the benefits of formal methods. We will introduce a set …

Кваліфікаційна наукова праця на правах рукопису. Дисертація на здобуття ступеня
доктора філософії за спеціальністю 122–Комп'ютерні науки (Галузь знань 12 …

To date, no methodical approach has been found to integrate multiple access control
extensions and concepts proposed for RBAC in an access control model that deals with the …

The validation of a software specification may be viewed as a function of what the
specification is to be used for and any comprehensive validation exercise needs to address …

Ця робота продовжує цикл попередніх досліджень, головною метою яких було
створення ефективних мов, підходів та програмних засобів розробки якісних …