1527 search results - page 73 / 306 » From Requirements to Design: Formalizing the Key Steps |
133
click to vote
SEW
2006
IEEE
16 years 1 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
334
click to vote
FCCM
2011
IEEE
14 years 9 months ago
2011
IEEE
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
172
click to vote
EGICE
2006
15 years 9 months ago
2006
Reusing or modifying known design concepts cannot meet new challenges for engineering systems. However, engineers can find inspiration outside their traditional domains in order to...
148
Voted
ICCSA
2009
Springer
16 years 25 days ago
2009
Springer
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
164
click to vote
HCI
2009
15 years 3 months ago
2009
Using computer games for educational purposes is a fascinating idea that is getting increasingly popular amongst educators, researchers, and developers. From a technical as well as...