|
|
|
|
Formal Methods: Theory Becoming Practice
|
|
|
|
|
|
|
|
نویسنده
|
Abrial Jean-Raymond
|
|
منبع
|
journal of universal computer science - 2007 - دوره : 13 - شماره : 5 - صفحه:619 -628
|
|
چکیده
|
This paper gives a tutorial introduction to the ideas behind system development using the b-method. properly handled, the crucial relationship between requirements and formal model leads to systems that are correct by construction. some industrial successes are outlined
|
|
کلیدواژه
|
Formal Methods ,B-Method
|
|
آدرس
|
ETHZ, Switzerland
|
|
پست الکترونیکی
|
jabrial@inf.ethz.ch
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|