838 search results - page 113 / 168 » Should software engineers be licensed |
APSEC
2007
IEEE
14 years 4 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
CISIS
2007
IEEE
14 years 4 months ago
2007
IEEE
: The availability of enormous amounts of un-used computing power and data storage over the In-ternet makes the development of a globally distributed computing platform, called Ove...
CSMR
2007
IEEE
14 years 4 months ago
2007
IEEE
Libraries provide implementation for the concepts of a particular domain. When programmers use a library, they do not work any more with the real-world concepts but with their imp...
ICSM
2007
IEEE
14 years 4 months ago
2007
IEEE
Many small and medium-sized systems have little or no design documentation, which makes program understanding during maintenance enormously more difficult when performed by outsi...
B
2007
Springer
14 years 4 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...