1308 search results - page 162 / 262 » Application of Hazard Analysis to Software Quality Modelling |
124
click to vote
SOFSEM
2007
Springer
15 years 10 months 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...
120
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
125
Voted
SOCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
133
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
171
click to vote
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...