1088 search results - page 137 / 218 » Tools for support of automata-based programming |
138
click to vote
C5
2008
IEEE
15 years 11 months ago
2008
IEEE
Introducing technology as a sustainable means of creating, connecting, and collaborating introduces the need to carefully consider subtle aspects of deployment strategies and supp...
108
click to vote
JSS
2002
15 years 4 months ago
2002
Most software development errors are caused by incorrect or ambiguous requirement specifications gathered during the requirement elicitation and analysis phase. For the past decad...
216
Voted
Book
"TeX is a tool for creating professional quality, typeset pages of any kind. It is particularly good, perhaps unsurpassed, at typesetting mathematics ; as a result, it is wide...
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Behavioral reflection is crucial to support for example functional upgrades, on-the-fly debugging, or monitoring critical applications. However the use of reflective f...
136
click to vote
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...