2832 search results - page 460 / 567 » Flexible Modelling for Requirements Engineering |
187
click to vote
FMSP
2000
ACM
15 years 10 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
159
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
183
click to vote
COOPIS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...
174
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and Grid applications. Current ...
191
click to vote
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...