Cited By
View all- McGill M(1980)Considerations in the transfer of software engineering technologyProceedings of the May 19-22, 1980, national computer conference10.1145/1500518.1500633(683-686)Online publication date: 19-May-1980
The interface specification of a procedure describes the procedure's behaviour using pre- and postconditions. These pre- and postconditions are written using various functions. If some of these functions are partial, or underspecified, then the ...
The development of a system can start with the creation of a specification. Following this viewpoint, we claim that often a specification can be constructed from the combination of specifications which can be seen as composition. Event-B is a formal ...
Association for Computing Machinery
New York, NY, United States