A survey on refinement in formal methods and software engineering
In software engineering, formal methods allow the design, modelling and verification of hardware and software systems. Formal methods introduce preciseness, remove ambiguity in specifications, and support the verification of requirements and design properties. Methods and approaches are needed to...
| Main Authors: | , , , |
|---|---|
| 格式: | Article |
| 語言: | English |
| 出版: |
The World Academy of Research in Science and Engineering
2019
|
| 在線閱讀: | http://psasir.upm.edu.my/id/eprint/80509/1/FORMAL.pdf |