2558 search results - page 429 / 512 » Model Composition Contracts |
167
click to vote
VMCAI
2009
Springer
16 years 27 days ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
156
click to vote
EUROMICRO
2009
IEEE
16 years 26 days ago
2009
IEEE
—Success in the software product business requires timely release of new products and upgrades with proper quality and the right features. For this, a systematic approach for man...
164
click to vote
COSIT
2009
Springer
16 years 21 days ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
135
click to vote
ICPR
2008
IEEE
16 years 17 days ago
2008
IEEE
The conventional octree construction method is implemented iteratively at consecutive subdivision levels. The resultant octree models at different subdivision levels contain quite...
176
click to vote
RTCSA
2008
IEEE
16 years 15 days ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...