1799 search results - page 245 / 360 » The Logic of Correctness in Software Engineering |
176
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
171
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
136
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
Identification of design patterns can deliver important information to designers. Therefore, automated design pattern detection (DPD) is highly desirable when it comes to underst...
168
click to vote
MOMPES
2009
IEEE
16 years 1 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
154
click to vote
ADAEUROPE
2009
Springer
16 years 1 months ago
2009
Springer
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...