Sciweavers

1005 search results - page 6 / 201
» Patterns for Refinement Automation
Sort
View
ICSR
2009
Springer
15 years 6 days ago
Reusing Patterns through Design Refinement
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
Jason O. Hallstrom, Neelam Soundarajan
100
Voted
DATE
2007
IEEE
100views Hardware» more  DATE 2007»
15 years 6 months ago
Abstraction and refinement techniques in automated design debugging
Sean Safarpour, Andreas G. Veneris
CAV
2008
Springer
112views Hardware» more  CAV 2008»
15 years 4 months ago
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dim...
102
Voted
IADIS
2004
15 years 3 months ago
Pattern definition to refine navigation structure in hypermedia/Web applications
When building Hypermedia/Web Applications, (different) designers are often faced with the same problems over and over again. Those recurring problems soon yield elegant solutions,...
Sven Casteleyn, Irene Garrigós, Peter Pless...