23 search results - page 2 / 5 » Requirements Documentation: Why a Formal Basis is Essential |
ICPR
2008
IEEE
14 years 6 months ago
2008
IEEE
In real-world Digital Libraries, Artificial Intelligence techniques are essential for tackling the automatic document processing task with sufficient flexibility. The great variab...
CIKM
2005
Springer
13 years 10 months ago
2005
Springer
XML documents are frequently used in applications such as business transactions and medical records involving sensitive information. Typically, parts of documents should be visibl...
ZUM
1997
Springer
13 years 9 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
AUSAI
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...
CASCON
2007
13 years 6 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...