2487 search results - page 203 / 498 » Collaborative Engineering Software Development: Ontology-Bas... |
137
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
137
click to vote
ICSEA
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, an integrated approach for cross platform automated software builds and the implementation of a test framework is described. The system introduced here utilizes s...
134
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
147
click to vote
NIME
2005
Springer
15 years 9 months ago
2005
Springer
The iltur system features a novel method of interaction between expert and novice musicians through a set of musical controllers called Beatbugs. Beatbug players can record live m...
110
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...