Formal Methods and Software Engineering
5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003. The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.
- ISBN 13 : 354020461X
- ISBN 10 : 9783540204619
- Judul : Formal Methods and Software Engineering
- Sub Judul : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
- Pengarang : Jin Song Dong, Jim Woodcock,
- Kategori : Computers
- Penerbit : Springer Science & Business Media
- Bahasa : en
- Tahun : 2003
- Halaman : 681
- Halaman : 681
- Google Book : http://books.google.co.id/books?id=qHrKBqacS1gC&dq=intitle:software+engineering&hl=&source=gbs_api
-
Ketersediaan :
5th International Conference on Formal Engineering Methods, ICFEM 2003,
Singapore, November 5-7, 2003, ... Simulink is a de-facto standard in control
systems engineering and UML is the subject of a significant standardisation effort
.