1397 search results - page 9 / 280 » On the Need for Practical Formal Methods |
MEMOCODE
2003
IEEE
14 years 26 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
FMCAD
1998
Springer
13 years 11 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
HICSS
2012
IEEE
12 years 3 months ago
2012
IEEE
The success of open government initiatives depends on understanding the informational needs of the concerned citizens and other stakeholders as prerequisite for open access to rel...
AFP
2004
Springer
14 years 1 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
SRDS
1999
IEEE
13 years 12 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...