2514 search results - page 67 / 503 » The use of industrial-strength formal methods |
161
click to vote
SFM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
161
click to vote
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
175
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
149
click to vote
COLING
1996
15 years 7 months ago
1996
This paper presents a unified theory of verbal irony tbr developing a computational model of irony. The theory claims that an ironic utterance implicitly communicates the fact tha...
167
click to vote
FAC
2010
15 years 4 months ago
2010
For more than a decade, the trend in geometric constraint systems solving has been to use a geometric decomposition/recombination approach. These methods are generally grounded on...