450 search results - page 60 / 90 » Formal Methods for Industrial Products |
DAGSTUHL
2006
13 years 9 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
ICMB
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we present an assessment of NFC (Near Field Communication) for future mobile payment systems. NFC is expected to become a very trendy technology for mobile services...
FMICS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
FM
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...