1099 search results - page 126 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
173
click to vote
COMPSAC
2008
IEEE
16 years 24 days ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
159
click to vote
ESE
2002
15 years 6 months ago
2002
Software inspection is one of the key enablers for quality improvement and defect cost reduction. Although its benefits are shown in many studies, a major obstacle to implement an...
128
click to vote
HCI
2009
15 years 4 months ago
2009
To build software which, at the press of a button, can tell you what cognition related hazards there are within an environment or a task, is probably well into the future if it is ...
173
click to vote
DATE
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
150
click to vote
SOFSEM
2007
Springer
16 years 13 days ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...