1356 search results - page 2 / 272 » The ideal of verified software |
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
ICSE
2009
IEEE-ACM
13 years 3 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
SOCO
2008
Springer
13 years 5 months ago
2008
Springer
FASE
2010
Springer
14 years 18 days ago
2010
Springer
This paper1 provides a motivation for the application of search based optimization to Software Engineering, an area that has come to be known as Search Based Software Engineering (...
GROUP
2005
ACM
13 years 11 months ago
2005
ACM
Many studies have evaluated different uses of collaborative software. Typically, the research has focused on the shortcomings and, sometimes, the ways end users succeed or fail to...