255 search results - page 46 / 51 » Introducing software engineering innovations in open source ... |
101
click to vote
SIGSOFT
2008
ACM
16 years 10 days ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
129
click to vote
PPOPP
2009
ACM
16 years 4 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
COBUILD
1998
Springer
1998
Springer
Roomware for Cooperative Buildings: Integrated Design of Architectural Spaces and Information Spaces
15 years 3 months ago
In this paper, we introduce the concepts of "cooperative buildings" and "roomware" and place them in the context of the integrated design of real, physical, res...
102
click to vote
WCRE
2003
IEEE
15 years 4 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...