2419 search results - page 229 / 484 » A Formal Approach to Software Testing |
133
click to vote
ICPPW
2002
IEEE
15 years 9 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...
128
Voted
DATAMINE
2006
15 years 4 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...
125
click to vote
CSREAESA
2006
15 years 5 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...
168
click to vote
AOSD
2009
ACM
15 years 1 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...
129
click to vote
RULEML
2007
Springer
15 years 10 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...