2935 search results - page 305 / 587 » An Integrated Approach to High Integrity Software Verificati... |
166
click to vote
OOIS
2001
Springer
15 years 11 months ago
2001
Springer
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...
176
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
182
click to vote
DELOS
2004
15 years 8 months ago
2004
Abstract. The transition from traditional paper libraries to digital libraries enables new strategies for the use and maintenance of artifact collections. Distributed software deve...
161
click to vote
JISBD
2003
15 years 8 months ago
2003
Separation of concerns is a fundamental software engineering principle that proposes the encapsulation of each matter of interest in a separate module. Software engineering develop...
166
click to vote
ICMCS
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper introduces a new approach of approximating the selectivity of multimedia range queries. Estimating the selectivity of a range query is a pre-requisite to optimize a mul...