Sciweavers

4029 search results - page 161 / 806
» Experience with Software Watermarking
Sort
View
ICSM
2005
IEEE
15 years 10 months ago
Ontology-Based Software Analysis and Reengineering Tool Integration: The OASIS Service-Sharing Methodology
A common and difficult maintenance activity is the integration of existing software components or tools into a consistent and interoperable whole. One area in which this has prov...
Dean Jin, James R. Cordy
ITCC
2005
IEEE
15 years 10 months ago
Analyzing Relations among Software Patterns based on Document Similarity
In software development, many kinds of knowledge are shared and reused as software patterns. Howevel; the relation analysis among software by hand is on the large scale. In this w...
Atsuto Kubo, Hironori Washizaki, Atsuhiro Takasu, ...
EWSA
2005
Springer
15 years 10 months ago
On the Systematic Conformance Check of Software Artefacts
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
Hylke W. van Dijk, Bas Graaf, Rob Boerman
COMPSAC
2000
IEEE
15 years 9 months ago
Effort-Index-Based Software Reliability Growth Models and Performance Assessment
In this paper, we first show that the logistic testing-effort function is practically acceptable/helpful for modeling software reliability growth and providing a reasonable descri...
Chin-Yu Huang, Sy-Yen Kuo, Michael R. Lyu
SPIN
1999
Springer
15 years 8 months ago
Assume-Guarantee Model Checking of Software: A Comparative Case Study
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...