Search
Now showing items 1-2 of 2
Implementing associations between objects
(University of Hertfordshire, 1994)
This paper presents an alternative design method for the implementation of conceptual associations identified during the analysis of a problem.
Increasing the usability of formal specification techniques through a combination of complementary formal languages and automated verification tools
(University of Hertfordshire, 1994)
This paper addresses three main issues. Firstly, the combination of formal specification languages to model proposed systems. For this paper we introduce the dual specification of a case study system using the formal ...