1217 search results - page 51 / 244 » Directions in Software Development and Maintenance |
FASE
2000
Springer
15 years 1 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
103
click to vote
CSMR
2004
IEEE
15 years 1 months ago
2004
IEEE
Outsourcing has become common practice in the software industry. Organizations routinely subcontract the maintenance of their software assets to specialized companies. A great cha...
COMPSAC
1996
IEEE
15 years 1 months ago
1996
IEEE
Cohesion was rst developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally de ned, could not be objectively assessed, ...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
Component-based reuse is a hopeful solution to the software crisis. Research on software architecture (SA) has revealed a component-based vision of the gross structure of software...