1782 search results - page 24 / 357 » Tool Support for Proof Engineering |
KBSE
2002
IEEE
14 years 1 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
ECSA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Knowledge management plays an important role in the software architecting process. Recently, this role has become more apparent by a paradigm shift that views a software ...
STEP
2005
IEEE
14 years 2 months ago
2005
IEEE
Maintenance costs make up the bulk of the total life cycle costs of a software system. Besides organizational issues such as knowledge management and turnover, the longterm mainte...
APSEC
2004
IEEE
14 years 12 days ago
2004
IEEE
Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not ...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...