1856 search results - page 119 / 372 » Formal Dialectic Specification |
146
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
114
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
157
click to vote
SEW
2005
IEEE
15 years 9 months ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
132
click to vote
IAT
2003
IEEE
15 years 9 months ago
2003
IEEE
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
129
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...