5243 search results - page 62 / 1049 » Reasoning About Strategies |
153
Voted
PPDP
2007
Springer
16 years 26 days ago
2007
Springer
198
click to vote
SIGADA
2007
Springer
16 years 26 days ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
178
click to vote
COMPSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...