1799 search results - page 96 / 360 » The Logic of Correctness in Software Engineering |
224
Voted
CORR
2011
Springer
15 years 18 days ago
2011
Springer
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
166
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
142
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
166
Voted
ISSTA
2006
ACM
16 years 2 days ago
2006
ACM
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...
166
click to vote
SEE
2010
Springer
15 years 4 months ago
2010
Springer
How can a course on engineering ethics affect an undergraduate student’s feelings of responsibility about moral problems? In this study, three groups of students were interviewed...