6079 search results - page 380 / 1216 » Aspect-Oriented Process Engineering |
136
click to vote
CSMR
1997
IEEE
15 years 11 months ago
1997
IEEE
Redocumentation is the recovery and recording of software comprehension. Since software comprehension is the most expensive part of software maintenance, redocumentation is the ke...
149
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Handshake protocols are asynchronous protocols that enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. W...
141
click to vote
AGILEDC
2004
IEEE
15 years 10 months ago
2004
IEEE
DecisionSpace Infrastructure was an effort to develop new software in a company where the corporate culture was geared to support old products. The team was large and distributed,...
164
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
We prove that if a finite alphabet of actions contains at least two elements, then the equational theory for the process algebra BCCSP modulo any semantics no coarser than readines...
171
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
We prove that the equational theory of the process algebra BCCSP modulo completed simulation equivalence does not have a finite basis. Furthermore, we prove that with a finite alph...