358 search results - page 26 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
ENTCS
2006
13 years 7 months ago
2006
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic c...
IFM
2000
Springer
13 years 11 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
In this Special Interest Group (SIG) the attendees will discuss methods for capturing usability data over time. Specifically, we will share industry best practices, brainstorm alt...
APSEC
1998
IEEE
13 years 11 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
AFRICACRYPT
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This article investigates the relevance of the theoretical framework on profiled side-channel attacks presented by F.-X. Standaert et al. at Eurocrypt 2009. The analyses ...