1288 search results - page 64 / 258 » On Analysis of Design Component Contracts: A Case Study |
SCS
2003
15 years 1 months ago
2003
The decomposition of complex systems into manageable parts is an essential principle when dealing with complex technical systems. However, many safety and reliability modelling te...
FASE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
116
click to vote
ESWA
2008
14 years 11 months ago
2008
The severe competition in the market has driven enterprises to produce a wider variety of products to meet consumers' needs. However, frequent variation of product specificat...
114
click to vote
AGILE
2008
Springer
15 years 6 months ago
2008
Springer
The purpose of multi-modal route planners is to provide the user with the optimal route between trip start and destination, where the route may utilize several transportation modes...
FASE
2006
Springer
15 years 3 months ago
2006
Springer
Modern software codebases are frequently large, heterogeneous, and constantly evolving. The languages and tools for software construction, including code builds and configuration m...