2430 search results - page 60 / 486 » Tool support for quality-driven development of software arch... |
113
click to vote
HASE
1997
IEEE
15 years 5 months ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
119
click to vote
FM
1998
Springer
15 years 5 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
End-user programming tools for creating spreadsheets and webforms offer no data types except "string" for storing many kinds of data, such as person names and street add...
110
click to vote
ECSA
2010
Springer
15 years 2 months ago
2010
Springer
Modern middleware platforms provide the applications deployed on top of them with facilities for their adaptation. However, the level of adaptation support provided by the state-of...
108
click to vote
CHI
2007
ACM
16 years 1 months ago
2007
ACM
Software developers are rooted in the written form of their code, yet they often draw diagrams representing their code. Unfortunately, we still know little about how and why they ...