5243 search results - page 62 / 1049 » Reasoning About Strategies |
92
Voted
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
124
Voted
SIGADA
2007
Springer
15 years 6 months 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...
66
Voted
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
WEBI
2007
Springer
15 years 6 months ago
2007
Springer
100
click to vote
COMPSAC
2005
IEEE
15 years 6 months 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...