1856 search results - page 8 / 372 » Formal Dialectic Specification |
EUROPAR
2006
Springer
14 years 1 months ago
2006
Springer
In order to foster uptake by scientific and business users we need an easy way to access Grid resources. This is the motivation for the A-WARE project. We build upon a fabric layer...
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 9 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
ICSE
1997
IEEE-ACM
14 years 1 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
FMCAD
2000
Springer
14 years 1 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...