489 search results - page 2 / 98 » Reasoning about confidentiality at requirements engineering ... |
BIRTHDAY
2009
Springer
14 years 5 days ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
AMAST
1993
Springer
13 years 9 months ago
1993
Springer
ECMDAFA
2008
Springer
13 years 6 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
SBIA
2004
Springer
13 years 10 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
FOSSACS
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...