11653 search results - page 2144 / 2331 » The Development of the C Language |
154
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
192
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
175
click to vote
PDC
2004
ACM
15 years 12 months ago
2004
ACM
In recent years both companies and research communities call for collaborative work practices and user-centered approaches in various design fields. There are several challenges a...
172
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
216
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...