2897 search results - page 322 / 580 » Test Case Integration: From Components to Systems |
136
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Traditionally in industrial system development, the total project is decomposed into phases. The result from one phase, normally a document or a system component, is passed to the...
174
click to vote
ICFEM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
172
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
186
click to vote
COMPUTER
2007
15 years 6 months ago
2007
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
167
click to vote
DIAGRAMS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...