Large-scale software verification relies critically on the use of compositional languages, semantic models, specifications, and techniques. Recent work certified abstraction layers synthesizes game semantics, refinement calculus, algebraic effects to enable composition heterogeneous components into larger systems. However, in existing models layers, compositionality is restricted by lack encaps...

One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...

One of the modern paradigms to develop a system is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles. There is a sequence of activities to develop an analysis model. In the first step, we work in developing an initial use case model. Then in the second step, they identify a number of concepts and build a glossary of partic...