10241 search results - page 204 / 2049 » Goal-Driven Software Development |
130
click to vote
AUIC
2004
IEEE
15 years 6 months ago
2004
IEEE
Developers have long used pictures to aid design activities and there has been a lot of interest in standard notations for design. We have developed delegation diagrams, a graphic...
FUIN
2008
15 years 2 months ago
2008
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
106
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
: In this paper we describe one of the authors’ experiences working for an IT service provider in an SME environment. The paper starts with an analysis of the factors typical for...
XPU
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification. Common challen...
134
click to vote
FASE
2000
Springer
15 years 6 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...