2493 search results - page 218 / 499 » Tool Support for Design by Contract |
139
click to vote
AOSD
2006
ACM
16 years 17 days ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...
175
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents an approach to designing interactive systems that enables critical performance parameters to be identified and models of performance to be constructed. The met...
209
click to vote
IUSED
2008
15 years 8 months ago
2008
One trend in software development is to implement application functionalities through Web services. This eases the possibility of developing interactive applications exploiting fu...
177
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
206
click to vote
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...