113 search results - page 5 / 23 » Software Hardware Engineering with the Parallel Object-Orien... |
TCS
2002
13 years 8 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
EUROMICRO
1999
IEEE
14 years 22 days ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
ISORC
2007
IEEE
14 years 2 months ago
2007
IEEE
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
COMPSAC
2007
IEEE
14 years 10 days ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...