2430 search results - page 81 / 486 » Tool support for quality-driven development of software arch... |
121
click to vote
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
104
click to vote
IWPC
2003
IEEE
15 years 6 months ago
2003
IEEE
Increasingly, applications are being built by combining existing software components. For the most part, a software developer can treat components as black-boxes. However, for som...
118
click to vote
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
104
click to vote
ACSC
2006
IEEE
15 years 7 months ago
2006
IEEE
Despite its long history and its benefits, software reuse has yet to become a common practise among software programmers. While there is much ongoing research, it focuses on larg...
117
click to vote
EICS
2009
ACM
15 years 6 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...