1252 search results - page 94 / 251 » Complex Systems and Agent-Oriented Software Engineering |
140
Voted
ASWSD
2006
Springer
15 years 4 months ago
2006
Springer
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...
119
Voted
WSC
1997
15 years 2 months ago
1997
In response to the expressed needs of MedModel users, PROMODEL Corporation has made substantial improvements in its MedModel healthcare simulation software. Beginning with its inc...
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
Software products released into the field typically have some number of residual defects that either were not detected or could not have been detected during testing. This may be...
108
Voted
GCSE
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
137
click to vote
CBSE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...