Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
By Topic

Formal design of a telecommunications networks management system

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Notare, M.S.M.A. ; Technol. Center, Univ. Fed. de Santa Catarina, Florianapolis, Brazil ; Goncalves Riso, B. ; Lorena, P.S. ; Camille de Oliveira Penna Neto, M.
more authors

This article presents a formal design of a generic platform for heterogeneous network management. A platform is defined to support management applications with the objective of solving problems associated with the distribution of processes and supplying the telecommunication carriers' necessities related to the efficient development of management applications. Specifying this platform formally significantly contributes in the sense of providing a rigorous approach to the description and validation process, thus collaborating toward its exactness, mainly in the studies that aim at attesting the conformity between the product obtained and the description of the requirement which were considered

Published in:

Computers and Communications, 1997. Proceedings., Second IEEE Symposium on

Date of Conference:

1-3 Jul 1997