223 search results - page 38 / 45 » Dafny: An Automatic Program Verifier for Functional Correctn... |
MBEES
2010
13 years 6 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
End-user programming tools for creating spreadsheets and webforms offer no data types except "string" for storing many kinds of data, such as person names and street add...
24
Voted
CASES
2003
ACM
14 years 27 days ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
TDSC
2010
13 years 2 months ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
LCTRTS
2010
Springer
14 years 2 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...