4895 search results - page 155 / 979 » Tools for Grammar Engineering |
131
click to vote
RE
2005
Springer
15 years 10 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...
132
click to vote
ITNG
2010
IEEE
15 years 9 months ago
2010
IEEE
This paper, the third in a series of four papers, describes a subsystem with integrative function named Geographic Intelligence (GI), from SNIRH, The National Water Resource Infor...
144
click to vote
COMPSAC
2000
IEEE
15 years 9 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...
151
click to vote
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
125
click to vote
ICSE
1992
IEEE-ACM
15 years 8 months ago
1992
IEEE-ACM
This paper describes a language-independent program representation--the program dependence graph--and discusses how program dependence graphs, together with operations such as pro...