1516 search results - page 185 / 304 » Trends in Software Verification |
137
Voted
ESEM
2008
ACM
15 years 5 months ago
2008
ACM
Benchmarks provide an experimental basis for evaluating software engineering processes or techniques in an objective and repeatable manner. We present the FAULTBENCH v0.1 benchmar...
137
Voted
IIWAS
2008
15 years 5 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
144
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
129
Voted
IADIS
2003
15 years 5 months ago
2003
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
153
Voted
ASWSD
2004
Springer
15 years 9 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...