5255 search results - page 565 / 1051 » Formal Methods for Privacy |
181
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
194
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
194
Voted
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...
203
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this short paper we describe the setup and results of a new initiative to compare graph transformation tools, carried out as part of the AGTIVE 2007 symposium on “Ap...
206
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the subm...