685 search results - page 21 / 137 » Towards a Tool Support for a Living Software Development Pro... |
HICSS
2000
IEEE
14 years 4 days ago
2000
IEEE
This paper presents work conducted towards the development of an effective software engineering-based methodology for integrity control in the process of spreadsheet development. ...
FM
1998
Springer
13 years 12 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
EHCI
2004
13 years 9 months ago
2004
This paper addresses software adaptation to context of use. It goes one step further than our early work on plasticity [5]. Here, we propose a revision of the notion of software pl...
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...
COMPSAC
2002
IEEE
14 years 21 days ago
2002
IEEE
Current trends in collaborative business emphasize the importance of business process support within and between organizations. These process participants are increasingly distrib...