Titlebook: B‘98: Recent Advances in the Development and Use of the B Method; Second International Didier Bert Conference proceedings 1998 Springer-Ver

Nibble

Layering distributed algorithms within the B-method,hm while preserving the original computation. We present an important special case of the original superposition method, namely, that of considering each new functionality as a . that is only allowed to read the variables of the previous layers. Thus, the superposition method with layers structures

楓樹

不要不誠實(shí)

Specification of an integrated circuit card protocol application using the B method and linear tempase study of a communication protocol between an integrated circuit card and a device such a terminal. This study has been carried out in collaboration with the Schlumberger company. We show the current advantages and limits in combining many specifications formalisms and the associated toolkits: At

Inferior

Amplify

disparage

,Cost effectiveness of formal methods in the development of avionics systems at Aérospatiale,

Hectic

B‘98: Recent Advances in the Development and Use of the B MethodSecond International

Exterior

https://doi.org/10.1007/BFb0053349Formal Methods; Software Construction; Software Design; Software Specification; The B Method; design; form

BRIDE

無所不知

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/b/image/192953.jpg