7380 search results - page 439 / 1476 » Engineering Software Intensive Systems |
130
click to vote
COMPSAC
1997
IEEE
15 years 9 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
137
click to vote
ICSE
1998
IEEE-ACM
15 years 9 months ago
1998
IEEE-ACM
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...
106
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
Intermittent failures and nondeterministic behavior complicate and compromise the effectiveness of software testing and debugging. To increase the observability of software faults,...
156
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
128
click to vote
ICSM
2002
IEEE
15 years 9 months ago
2002
IEEE
A large software project may be distributed over multiple sites when the organization believes that there are not enough people to staff a single collocated team. However, previou...