5591 search results - page 559 / 1119 » Design patterns: between programming and software design |
196
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
219
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
In this paper, we survey the models and approaches applied to the middleware services of pervasive computing environments. Architectural styles and patterns introduced in the doma...
205
click to vote
JIPS
2010
15 years 1 months ago
2010
The growing number of web applications in the global economy has made it critically important to develop secure and reliable software to support the economy's increasing depen...
214
click to vote
KBSE
2005
IEEE
16 years 18 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
190
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...