Improving the understandability of formal specifications: An experience with ASMs
V. Geist, C. Illibauer, F. Kossak, A. Mashkoor. Improving the understandability of formal specifications: An experience with ASMs. volume 8396, pages 184-199, 4, 2014. | |
Autoren | |
Buch | Requirements Engineering: Foundation for Software Quality - Proc. REFSQ 2014 |
Typ | In Konferenzband |
Verlag | Springer |
Serie | Lecture Notes of Computer Science |
Band | 8396 |
ISBN | 978-3-319-05842-9 |
Monat | 4 |
Jahr | 2014 |
Seiten | 184-199 |
Abstract | The understandability of formal specifications is often considered as one of the main factors that |