6167 search results - page 1026 / 1234 » Can Refinement be Automated |
C5
2004
IEEE
14 years 2 months ago
2004
IEEE
Young children often build various structures with wooden blocks; structures that are often used for pretend play, subtly improving children's creativity and imagination. Bas...
ATVA
2006
Springer
14 years 2 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
COMPSAC
2004
IEEE
14 years 2 months ago
2004
IEEE
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...
CSMR
2004
IEEE
14 years 2 months ago
2004
IEEE
In software product families, the full benefit of reuse can only be achieved if traceability of requirements to architecture, components and further down to source code is support...
CBSE
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Today we see more and more services being brought to connected homes, such as entertainment or home automation. These services are published and operated by a variety of ...