2249 search results - page 207 / 450 » ILP-based engineering change |
111
click to vote
ASWEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Industrial software projects are not based on a top-down development process relying on refinement but use a more iterative and incremental approach with respect to changing requ...
119
click to vote
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
144
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
When a lack of data inhibits decision making, large scale what-if queries can be conducted over the uncertain parameter ranges. Such what-if queries can generate an overwhelming a...
129
click to vote
UIST
2000
ACM
15 years 8 months ago
2000
ACM
We introduce “fisheye menus” which apply traditional fisheye graphical visualization techniques to linear menus. This provides for an efficient mechanism to select items from ...
133
click to vote
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OOformalisms is closely related to the concept of inheri...