1459 search results - page 111 / 292 » Tool Supported Development of Service-Based Systems |
155
Voted
ISPE
2003
15 years 5 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
154
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
The research presented here addresses the problem of change impact analysis CIA for object-oriented software. A major problem for developers in an evolutionary environment is th...
123
Voted
RSCTC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Acute abdominal pain in childhood is a common but diagnostically challenging problem facing Emergency Department personnel. Experienced physicians use a combination of ke...
154
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
123
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...