433 search results - page 10 / 87 » Static Information Flow Analysis of Workflow Models |
COMPSAC
1998
IEEE
13 years 12 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
SAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
ICEIS
2009
IEEE
14 years 2 months ago
2009
IEEE
SPLC
2008
13 years 9 months ago
2008
Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generat...