![](images/graphics/blank.gif)
Lecture Formal methods in software engineering: Formal specification
19
lượt xem 2
download
lượt xem 2
download
![](https://tailieu.vn/static/b2013az/templates/version1/default/images/down16x21.png)
After studying this chapter you will be able to: To explain why formal specification techniques help discover problems in system requirements, to describe the use of algebraic techniques for interface specification, to describe the use of model-based techniques for behavioural specification.
Chủ đề:
Bình luận(0) Đăng nhập để gửi bình luận!
![](images/graphics/blank.gif)
CÓ THỂ BẠN MUỐN DOWNLOAD