1199 search results - page 38 / 240 » Software Verification and Software Engineering a Practitione... |
140
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
154
click to vote
AUTONOMICS
2008
ACM
15 years 6 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
122
click to vote
APSEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
CBSE
2007
Springer
15 years 10 months ago
2007
Springer
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE