3192 search results - page 278 / 639 » A Requirements-Driven Development Methodology |
176
click to vote
IAT
2003
IEEE
15 years 12 months ago
2003
IEEE
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
160
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
171
click to vote
ER
2003
Springer
15 years 12 months ago
2003
Springer
A possible measure of quality for any model or methodology is the degree of acceptance and usage. This paper discusses the factors that contribute to the industrial acceptability o...
164
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
150
click to vote
DAC
2000
ACM
15 years 11 months ago
2000
ACM
This paper develops the noise-counterparts to familiar delay formulas like Elmore or PRIMO. By matching the first few moments of the network’s transfer impedance, we obtain effi...