In the online world every person has to hold a number of different data sets so as to be able to have access to various e-services and take part in specific economical and social ...
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...