2935 search results - page 319 / 587 » An Integrated Approach to High Integrity Software Verificati... |
199
click to vote
AICOM
2004
15 years 6 months ago
2004
Abstract. We address the problem of answering queries using expressive symmetric inter-schema constraints which allow to establish mappings between several heterogeneous informatio...
165
click to vote
JUCS
2002
15 years 6 months ago
2002
: Community web sites exhibit the property that multiple content providers exist. Of course, any portal is only as useful as the quality and amount of its content. Developing origi...
160
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
In this paper we demonstrate a framework for efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of le...
159
click to vote
ISOLA
2007
Springer
16 years 20 days ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
176
click to vote
QSIC
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...