269 search results - page 8 / 54 » A Formal Model for Integrating Multiple Views |
ESEC
1997
Springer
13 years 11 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
KAIS
2010
13 years 6 months ago
2010
We argue that expert finding is sensitive to multiple document features in an organizational intranet. These document features include multiple levels of associations between expe...
DAC
1997
ACM
13 years 11 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
The design and development of complex products invariably involves many actors who have different points of view on the problem they are addressing, the product being developed, a...
DILS
2006
Springer
13 years 11 months ago
2006
Springer
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...