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