684 search results - page 40 / 137 » Requirements for an Elucidative Programming Environment |
159
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
148
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Distributed computing has taken a new importance in order to meet the requirements of users demanding information “anytime, anywhere.” Inferno facilitates the creation and sup...
145
click to vote
ENTCS
2008
15 years 6 months ago
2008
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
144
click to vote
IROS
2009
IEEE
16 years 18 days ago
2009
IEEE
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...
148
click to vote
SEKE
2001
Springer
15 years 10 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...