4895 search results - page 677 / 979 » Tools for Grammar Engineering |
161
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
181
click to vote
EMSOFT
2005
Springer
16 years 6 days ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
191
click to vote
EMSOFT
2005
Springer
16 years 6 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
176
click to vote
EMSOFT
2005
Springer
16 years 6 days ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
187
click to vote
FASE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...