7380 search results - page 143 / 1476 » Engineering Software Intensive Systems |
FSTTCS
1998
Springer
15 years 6 months ago
1998
Springer
In [NO88], a particular trace monoid M is constructed such that for the class of length
101
click to vote
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
System and program verification has been a large
116
click to vote
NLDB
2007
Springer
15 years 8 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
15 years 8 months ago
2008
IEEE
This paper describes the ADDSS tool which enables capturing and documenting architectural design decisions in order to avoid knowledge vaporization.
94
Voted
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
