2685 search results - page 74 / 537 » A Formal Semantics for SPKI |
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 7 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...
ESOP
2010
Springer
13 years 11 months ago
2010
Springer
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
RR
2007
Springer
14 years 1 months ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
ICCS
2003
Springer
14 years 1 months ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
ADAEUROPE
2001
Springer
14 years 10 days ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...