848 search results - page 38 / 170 » A Formal Monitoring-Based Framework for Software Development... |
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
CL
2008
Springer
13 years 9 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software f...
WOSP
2004
ACM
14 years 2 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...