518 search results - page 79 / 104 » Specification, Implementation, and Validation of Object-Orie... |
EMSOFT
2007
Springer
15 years 1 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
OWLED
2008
14 years 11 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
123
click to vote
VLSID
1999
IEEE
15 years 1 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
115
Voted
DMDW
2003
14 years 11 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...