813 search results - page 89 / 163 » Correctness Properties for Multiagent Systems |
97
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
117
click to vote
WICSA
2001
15 years 5 months ago
2001
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
124
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
111
Voted
ECOOPWEXCEPTION
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
116
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...