13137 search results - page 302 / 2628 » A Science of Software Design |
163
click to vote
CSIE
2009
IEEE
16 years 28 days ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...
164
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
166
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
183
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
156
click to vote
ICCS
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. The high level of abstraction necessary to teach data structures and algorithmic schemes has been more than a hindrance to students. In order to make a proper approach to...