6581 search results - page 179 / 1317 » Formalizing Design Patterns |
118
Voted
CSEE
2000
Springer
15 years 7 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
136
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
131
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Design patterns are applied in software development to decouple individual concerns, so that a change in a design decision is isolated to one location of the code base. However, m...
111
Voted
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quality goals have to be under a special consideration during software architectural design. Evolvability constitutes a quality goal with a special relevance for business...
138
Voted
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...