6704 search results - page 691 / 1341 » Testing Scenario-Based Models |
225
click to vote
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
210
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
213
click to vote
EUROGP
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Theoretical models of Turing complete linear genetic programming (GP) programs suggest the fraction of halting programs is vanishingly small. Convergence results proved f...
177
click to vote
ICFEM
2000
Springer
15 years 11 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
183
click to vote
IDEAL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. An off-line hand-written Chinese character recognizer supporting a vocabulary of 4,616 Chinese characters, alphanumerics and punctuation symbols has been reported. Traine...