715 search results - page 16 / 143 » Application of Formal Methods to the Development of a Softwa... |
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
COORDINATION
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
TAP
2009
Springer
14 years 2 months ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...
ICFEM
1997
Springer
13 years 11 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...