2153 search results - page 182 / 431 » From Requirements Models to Formal Specifications in B |
130
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
161
click to vote
GLVLSI
2006
IEEE
16 years 15 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
174
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. In order to reconstruct 3-D Euclidean shape by the TomasiKanade factorization, one needs to specify an affine camera model such as orthographic, weak perspective, and par...
190
click to vote
CAISE
2000
Springer
15 years 10 months ago
2000
Springer
Process know-how is instrumental to govern engineering processes in a network of engineering departments as well as migrate changes of processes due to emerging technological or ot...
198
click to vote
SPLC
2007
15 years 7 months ago
2007
Product lines need decision models that guide the derivation of product variants satisfying specific requirements. In dynamic product lines, whose requirements vary during runtime...