977 search results - page 142 / 196 » Formal methods integration in software engineering |
129
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
150
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
144
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
123
click to vote
CSMR
2007
IEEE
15 years 10 months ago
2007
IEEE
Libraries provide implementation for the concepts of a particular domain. When programmers use a library, they do not work any more with the real-world concepts but with their imp...
134
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...