Autor:	Brian Ritchie, Juan Bicarregui
Rok vydání:	2005
Předmět:	Set (abstract data type) Finite-state machine Reduction (recursion theory) Programming language Computer science computer.software_genre Formal methods Notation computer Abstract machine Abstraction (mathematics)
Zdroj:	Lecture Notes in Computer Science ISBN: 3540566627 FME
Popis:	VDM and B are two “model-oriented” formal methods. Each gives a notation for the specification of systems as state machines in terms of a set of states with operations defined as relations on that set. Each has a notion of refinement of data and operations based on the principles of reduction of non-determinism and increase in definedness.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::d9abcb736db03ccb05bc6a2e78c95a18 https://doi.org/10.1007/bfb0024645 Zobrazit plný text záznamu