Systematic design of a network gateway using the FDT LOTOS

Schot, Jeroen and Ferreira Pires, Luis (1991) Systematic design of a network gateway using the FDT LOTOS. In: Tenth IEEE Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM, Networking in the 90s, 7-11 April 1991, Bal Harbour, Miami, Florida.

Preview

PDF
631Kb

Abstract:	The design and partial implementation of a network gateway (an intermediate system) using the formal description technique (FDT) LOTOS are described. The requirements capturing process and the formalization process that results in an abstract and formal description of the gateway are described. This description is then refined through a series of functionality decomposition steps. It is claimed that the use of an FDT can improve the quality of the design and implementation, by allowing early evaluation of correctness of design steps
Item Type:	Conference or Workshop Item
Copyright:	© 1991 IEEE
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Software Engineering (SE)
Link to this item:	http://purl.utwente.nl/publications/18977
Official URL:	http://dx.doi.org/10.1109/INFCOM.1991.147661
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 119499