1356 search results - page 37 / 272 » The ideal of verified software |
SCM
2003
15 years 1 months ago
2003
Abstract. Software Configuration Management has been a big success in research and creation of tools. There are also many vendors in the market of selling courses to companies. How...
CBSE
2007
Springer
15 years 6 months ago
2007
Springer
In component-based software development, the design of components should be carried out separately from the deployment of components, in order to enable composition by independent ...
DAC
1996
ACM
15 years 3 months ago
1996
ACM
Concurrent verification of hardware and software as part of the development process can shorten the time to market of complex systems. The objectives of the Virtual CPU approach i...
PKDD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
103
click to vote
TCAD
2008
14 years 11 months ago
2008
Safety-critical feedback-control applications may suffer faults in the controlled plant as well as in the execution platform, i.e., the controller. Control theorists design the con...