1782 search results - page 62 / 357 » Tool Support for Proof Engineering |
155
click to vote
KBSE
2008
IEEE
15 years 12 months ago
2008
IEEE
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
141
click to vote
RE
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...
155
Voted
COMPSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
157
click to vote
AUIC
2004
IEEE
15 years 9 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...
137
click to vote
EWSPT
2000
Springer
15 years 9 months ago
2000
Springer
This paper describes a prototype for supporting distributed, mobile software processes. The prototype allows instantiated process models to be distributed in different workspaces, ...