Sciweavers

1326 search results - page 35 / 266
» Semantic Coherence in Software Engineering
Sort
View
VMCAI
2005
Springer
14 years 1 months ago
An Overview of Semantics for the Validation of Numerical Programs
Interval computations, stochastic arithmetic, automatic diļ¬€erentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
Matthieu Martel
WWW
2003
ACM
14 years 8 months ago
A software framework for matchmaking based on semantic web technology
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
Lei Li, Ian Horrocks
KBSE
1995
IEEE
13 years 11 months ago
Classification and Retrieval of Reusable Components Using Semantic Features
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
John Penix, Phillip Baraona, Perry Alexander
ICSE
2003
IEEE-ACM
14 years 7 months ago
Recovering Documentation-to-Source-Code Traceability Links using Latent Semantic Indexing
An information retrieval technique, latent semantic indexing, is used to automatically identify traceability links from system documentation to program source code. The results of...
Andrian Marcus, Jonathan I. Maletic
EUROMICRO
2004
IEEE
13 years 11 months ago
Towards a Semantic Framework for Non-functional Specifications of Component-Based Systems
It is now widely recognized that the so-called nonfunctional or extra-functional properties of a software system are at least as important as its somewhat more classical functiona...
Steffen Zschaler