1799 search results - page 85 / 360 » The Logic of Correctness in Software Engineering |
175
click to vote
OOPSLA
2007
Springer
16 years 5 days ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
140
click to vote
IUI
1999
ACM
15 years 10 months ago
1999
ACM
Although Programming by Demonstration (PBD) has the potential to improve the productivity of unsophisticated users, previous PBD systems have used brittle, heuristic, domain-speci...
169
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
284
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
137
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...