1856 search results - page 37 / 372 » Formal Dialectic Specification |
CAISE
1997
Springer
14 years 2 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
DAC
2006
ACM
14 years 11 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
KBSE
1994
IEEE
14 years 2 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
FAC
2008
13 years 10 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
DSVIS
1998
Springer
14 years 2 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...