13137 search results - page 350 / 2628 » A Science of Software Design |
173
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
189
click to vote
SCP
2010
15 years 5 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
317
click to vote
Book
Book web site includes links to a full course, software, and other material.
136
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
The rigidity of a matrix A for target rank r is the minimum number of entries of A that
144
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.