15777 search results - page 2463 / 3156 » Software Engineering |
197
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
199
click to vote
CSCW
2004
ACM
16 years 20 days ago
2004
ACM
Mission critical applications and legacy systems may be difficult to revise and rebuild, and yet it is sometimes desirable to retrofit their user interfaces with new collaborative...
183
click to vote
AOSE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. E-institutions are envisioned as facilities on the Internet for heterogeneous software agents to perform their interactions and thus forming truly open agent systems. We ...
202
click to vote
ACMSE
2007
ACM
15 years 11 months ago
2007
ACM
Testing is an essential but often under-utilized area of software engineering. A variety of software testing techniques have been developed to effectively identify bugs in source ...
195
click to vote
CSSW
2007
15 years 8 months ago
2007
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...