A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
MODE: a Development Environment for Managed Objects based on Formal Methods
[chapter]
1995
Integrated Network Management IV
The need for mechanisms and techniques to describe formally managed objects behaviour in the Open Systems Interconnection (OSI) Management Framework has been recognized in various places. Building a formal specification of managed objects forces the designer to be more rigourous and allows a better understanding of what has been done. But the development of such specifications is a difficult and time consuming task which must be supported by a powerful set of tools. Moreover the effort invested
doi:10.1007/978-0-387-34890-2_52
fatcat:omyq3fwgwfdpzg3u6stayq2fwa