BibTeX
@MISC{_formalspecification,
author = {},
title = {FORMAL SPECIFICATION INTRODUCTION TO FORMAL SPECIFICATION},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
A specification describes some essential aspect of the software’s behavior, such as functionality or performance, without divulging or prescribing implementation details.
