2969 search results - page 315 / 594 » The Case for User-Centered CASE Tools |
179
click to vote
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
206
click to vote
ICSM
1998
IEEE
15 years 11 months ago
1998
IEEE
Visual impact analysis is a software visualisation technique that lets software maintainers judge the impact of proposed changes and plan maintenance accordingly. An existing CASE...
168
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
157
click to vote
IWPC
1998
IEEE
15 years 11 months ago
1998
IEEE
An approach to recover object oriented design patterns from design and code is presented. The pattern recovery process is based on a multi-stage filtering strategy to avoid combin...
147
click to vote
TIME
1998
IEEE
15 years 11 months ago
1998
IEEE
The use of causal rules or fluent dependency constraints has proven to provide a versatile means of dealing with the ramification problem. In this paper we show how fluent depende...