803 search results - page 31 / 161 » Building Formal Models for Software Requirements |
WOSP
2004
ACM
15 years 5 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
DICS
2006
15 years 1 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
SC
2009
ACM
15 years 6 months ago
2009
ACM
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...
104
click to vote
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
ADAEUROPE
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...