6197 search results - page 58 / 1240 » Sandbridge Software Tools |
FAC
2006
13 years 7 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
BMCBI
2008
13 years 8 months ago
2008
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
TAPSOFT
1995
Springer
13 years 11 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
APSEC
1997
IEEE
14 years 10 hour ago
1997
IEEE
The problems posed by mission-critical legacy systems - brittleness, inflexibility, isolation, non-extensibility, lack of openness etc. - are well known, but practical solutions h...
WSC
1998
13 years 9 months ago
1998
A truly integrated modeling and analysis environment, which facilitates multi-use and multi-tool models, is necessary for today's enterprises to meet the challenges of the co...