106 search results - page 1 / 22 » DOM: Towards a Formal Specification |
PLANX
2008
13 years 5 months ago
2008
We present an initial attempt at providing a formal specification for a mini
PODS
2008
ACM
14 years 4 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
EMSOFT
2006
Springer
13 years 8 months ago
2006
Springer
IFM
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...