3901 search results - page 246 / 781 » software 2008 |
162
click to vote
ASWEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Refactoring is a set of operations to improve maintainability or understandability or other attributes of a software system without changing the external behavior of it, and it is...
151
click to vote
SPLC
2008
15 years 7 months ago
2008
SAT solvers technology is now mature enough to be part of the engineer toolbox side by side with Mixed Integer Programming and Constraint Programming tools. As of June 2008, two g...
185
click to vote
ISSRE
2008
IEEE
16 years 18 days ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
152
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
153
click to vote
IJAOSE
2008
15 years 6 months ago
2008
: This paper presents a systematic description of a reusable software architecture for multi-agent systems in the domain of manufacturing control. The architectural description con...