5591 search results - page 183 / 1119 » Design patterns: between programming and software design |
125
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
Frameworks provide means to reuse existing design and functionality, but first require developers to understand how to use them. Learning the correct usage of a framework can be ...
138
Voted
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
132
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
138
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
126
click to vote
CC
2001
Springer
15 years 9 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....