6581 search results - page 14 / 1317 » Formalizing Design Patterns |
138
click to vote
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
111
Voted
DDECS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper proposes debug patterns combined with an intuitive flow to accelerate and simplify the debugging of SystemC designs. A debug pattern provides a formalized procedure to f...
85
Voted
SAS
1993
Springer
15 years 6 months ago
1993
Springer
114
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
123
click to vote
WICSA
2008
15 years 3 months ago
2008
Software patterns are generic solutions to recurring problems. They are represented as a triplet (problem, context, solution). Several kinds of software patterns were identified, ...