1823 search results - page 121 / 365 » Formal specification: a roadmap |
124
click to vote
CISC
2005
Springer
15 years 10 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
140
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
138
click to vote
FIW
2000
15 years 6 months ago
2000
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic S...
130
click to vote
JUCS
2006
15 years 4 months ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
147
click to vote
ISORC
2000
IEEE
15 years 8 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...