1856 search results - page 89 / 372 » Formal Dialectic Specification |
136
click to vote
ENTCS
2006
15 years 4 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
134
click to vote
KER
2006
15 years 4 months ago
2006
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
158
click to vote
JSA
2008
15 years 3 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
151
click to vote
RSP
1998
IEEE
15 years 8 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
123
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...