Sciweavers

860 search results - page 18 / 172
» Describing Process Patterns with UML
Sort
View
IEEEARES
2007
IEEE
15 years 6 months ago
Using Privacy Process Patterns for Incorporating Privacy Requirements into the System Design Process
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 ...
Christos Kalloniatis, Evangelia Kavakli, Stefanos ...
UML
2000
Springer
15 years 3 months ago
From Use Cases to System Operation Specifications
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...
Shane Sendall, Alfred Strohmeier
FDL
2008
IEEE
15 years 1 months ago
Scenario-based Validation of Embedded Systems
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...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
UML
2005
Springer
15 years 5 months ago
Simplifying Transformations of OCL Constraints
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...
Martin Giese, Daniel Larsson
RE
2010
Springer
14 years 6 months ago
A UML-based static verification framework for security
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...
Igor Siveroni, Andrea Zisman, George Spanoudakis