1709 search results - page 211 / 342 » Precise Modeling of Design Patterns |
106
click to vote
EUROMICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
Getting business stakeholders’ goals formulated clearly and project scope defined realistically increases the chance of success for any application development process. As a cons...
134
click to vote
VL
2005
IEEE
15 years 7 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
143
click to vote
WSC
2004
15 years 3 months ago
2004
We discuss ASAP3, a refinement of the batch means algorithms ASAP and ASAP2. ASAP3 is a sequential procedure designed to produce a confidence-interval estimator for the expected r...
120
click to vote
TSP
2008
15 years 1 months ago
2008
Probabilistic Boolean networks (PBNs) have been recently introduced as a paradigm for modeling genetic regulatory networks. One of the objectives of PBN modeling is to use the netw...
194
click to vote
TSE
2012
13 years 4 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...