The two most critical phases of SDLC are the specification and the designing phase as they
involve the transformation of the semantics from real world domain to computer software …

Requirements analysis and design specification are serious issues in systems development
because of the semantics involved in transformation of real world problems to computer …

Although, Unified Modeling Language (UML) has become a de-facto standard for design
and specification of object oriented systems but its structures being semi-formal in nature …

Access control is nowadays ubiquitous in physical and software systems and has been the
subject of a wide range of studies. Many of these studies have focused on Role-Based …

The aim of this paper is to propose an augmented framework for verifying and validating the
static aspect of safety critical systems by analysing the UML class diagrams and the …

Design and specification is a serious issue in software engineering because of the
semantics involved in transforming the real world problems to computer software systems …

Unified Modeling Language (UML) has become a de facto standard for design, specification
and modeling of object oriented software systems. UML structures being graphical in nature …

Design specification and requirement analysis, during development process involved in
transformation of real world problems to software system are subjected to severe issues …

Constrained policy graph (CPG) is an imaginative graph and is in a high level
understanding in comparison with pure logic. In this model we can describe the policies in …

Nowadays we encounter an increasing need for electronic services that spans all over the
services' taxonomy. E-services ease access to processes and resources that have implied a …