Autor:	T. C. Nash
Rok vydání:	1990
Předmět:	Software Computer science Transaction processing business.industry Product (mathematics) Operating system Requirement document computer.software_genre business computer VMEbus
Zdroj:	Workshops in Computing ISBN: 9783540196273 Z User Workshop
DOI:	10.1007/978-1-4471-3877-8_10
Popis:	This paper deals with the problems of using Z on a large software product. The specific aim is to show how Z can be used to describe a large system, where the number of refinement steps from a single abstract view to implementation is large, i.e. significantly more than one or two as assumed by the average textbook. The method described is currently in use for respecifying TPMS, ICL’s Transaction Processing monitor for VME.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b700ce76b89a68f1fdc539750d3f1efb https://doi.org/10.1007/978-1-4471-3877-8_10 Zobrazit plný text záznamu