7380 search results - page 710 / 1476 » Engineering Software Intensive Systems |
175
click to vote
AMAST
1997
Springer
15 years 11 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
195
click to vote
ICSM
1996
IEEE
15 years 11 months ago
1996
IEEE
During the maintenance of legacy systems, the structure and the documentationofthe system usually deteriorates, and hence the maintenance becomesprogressively harder and harder. I...
174
click to vote
ICSE
1997
IEEE-ACM
15 years 11 months ago
1997
IEEE-ACM
Large scale distributed systems are becoming of paramount importance, due to the evolution of technology and to the interest of market. Their development, however, is not yet supp...
197
click to vote
FSTTCS
1993
Springer
15 years 11 months ago
1993
Springer
This paper will show the usefulness and elegance of strict intersection types for the Lambda Calculus; these are strict in the sense that they are the representatives of equivalen...
205
click to vote
AUIC
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper considers the problem of computer user support and workplace learning in general. Theoretically our work is influenced by ideas on knowledge management, expertise netwo...