2935 search results - page 467 / 587 » An Integrated Approach to High Integrity Software Verificati... |
195
click to vote
AADEBUG
2005
Springer
15 years 11 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
173
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
158
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
- In concert with customer and marketing staffs, systems engineers often formulate and codify an initial overall software system solution to fulfill customer needs. Without a focus...
163
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
Many aspect-oriented middleware platforms support run-time aspect weaving, but do not support coordinating distributed changes to a set of aspects at run-time. A distributed chang...
161
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...