2030 search results - page 260 / 406 » Checklists for Software Engineering Case Study Research |
WCRE
2002
IEEE
14 years 29 days ago
2002
IEEE
Over the past few years, we are experiencing a surge of evolution problems related to legacy object-oriented systems. Object orientation provides means for systems to be well-desi...
CSMR
2000
IEEE
14 years 14 days ago
2000
IEEE
Object-oriented programming is about the creation of reusable classes that are to be extended to capture the specific requirements of the application at hand. However, instead of...
IWSSD
2000
IEEE
14 years 13 days ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
IWPC
1999
IEEE
14 years 10 days ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
ICRE
1998
IEEE
14 years 9 days 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...