Formal description techniques for distributed computing systems, the challenges for the 1990s

Vissers, Chris A. and Lagemaat van de, Jeroen and Ferreira Pires, L. (1990) Formal description techniques for distributed computing systems, the challenges for the 1990s. In: Second IEEE workshop on future trends on distributed computing systems, Sept. 30 - Oct. 2, 1990, Cairo, Egypt.

Preview

PDF
663Kb

Abstract:	The authors discuss research into how formal description techniques (FDTs) can be used both to support the complete design trajectory, including implementation and product testing, and to represent effectively the design concepts of the complete design trajectory for specification, at a high level of abstraction, of distributed systems. The discussion covers a number of such research activities conducted within the framework of the ESPRIT II project 2304, LOTOSPHERE. The topics covered include: aspects of design methodology, correctness-preserving transformation, the reflection of design criteria, the role of predefined specification and implementation constructs, and formal approaches to conformance testing. Some insight is given into the development of a comprehensive tool set that supports these aspects of design methodology. In conclusion, data obtained from the application of these methods and tools to some realistic pilot implementations are provided
Item Type:	Conference or Workshop Item
Copyright:	©1990 IEEE
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Software Engineering (SE)
Link to this item:	http://purl.utwente.nl/publications/56076
Official URL:	http://dx.doi.org/10.1109/FTDCS.1990.138364
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page