18898 search results - page 49 / 3780 » The Making of a Software Engineer |
147
click to vote
OHS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The task of information integration challenges software engineers on a daily basis. Software artifacts, produced during software development, contain many implicit and ex...
137
click to vote
COMPSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
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...
120
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
100
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying program...