Integrated Formal Methods

Integrated Formal Methods

4.11 - 1251 ratings - Source

ample: A Library Management System rate the main aspects of this paper by using a simple library managetem. The system ... EB3 specification: User requirements class diagram of the library iss diagram used to construct the specification.

Title:Integrated Formal Methods
Author:Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol
Publisher:Springer Science & Business Media - 2005-11-24


You Must CONTINUE and create a free account to access unlimited downloads & streaming