1121 search results - page 69 / 225 » Building Formal Requirements Models for Reliable Software |
SIMUTOOLS
2008
15 years 1 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
EVOW
2010
Springer
15 years 6 months ago
2010
Springer
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
119
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...