2419 search results - page 229 / 484 » A Formal Approach to Software Testing |
191
click to vote
ICPPW
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
188
click to vote
DATAMINE
2006
15 years 7 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
175
click to vote
CSREAESA
2006
15 years 8 months ago
2006
- A systematic approach to building layered software architecture is proposed. Separate layering models required oper abstracting of hardware, persistent data, and communication pr...
236
click to vote
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
179
click to vote
RULEML
2007
Springer
16 years 1 months ago
2007
Springer
Nowadays the increasing complexity of cars has become a major challenge due to the growing rate of electronic components and software. This trend has an impact on all phases of the...