7380 search results - page 143 / 1476 » Engineering Software Intensive Systems |
FSTTCS
1998
Springer
14 years 2 months ago
1998
Springer
In [NO88], a particular trace monoid M is constructed such that for the class of length
TASE
2010
IEEE
13 years 5 months ago
2010
IEEE
System and program verification has been a large
NLDB
2007
Springer
14 years 4 months ago
2007
Springer
Documents written in natural languages constitute a major part of the software engineering lifecycle artifacts. Especially during software maintenance or reverse engineering, seman...
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper describes the ADDSS tool which enables capturing and documenting architectural design decisions in order to avoid knowledge vaporization.
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
