158 search results - page 13 / 32 » An Agenda for Specifying Software Components with Complex Da... |
ISSS
2000
IEEE
14 years 20 hour ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
IFM
1999
Springer
13 years 12 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
ESEM
2009
ACM
14 years 2 months ago
2009
ACM
Software development is a complex and error-prone task. An important factor during the development of complex systems is the understanding of the dependencies that exist between d...
EUROMICRO
2005
IEEE
14 years 1 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...