Formal Specification of Concurrent Systems: A Structured Approach
Synergistic modelling of tasks, users and systems using formal specification techniques
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
L. M. G. Feijs and H. B. M. Jonkers
Formal Specification and Design. Cambridge University Press (2005). ISBN-13: 9780521435925 | ISBN-10: 0521435927. £29.00/$50.00351. Softbound.
Show all results sharing this subject:
1 A specification written and approved in accordance with established standards.
2 A specification written in a formal notation, such as VDM or Z.
A Dictionary of Computing »
See all related items in Oxford Index »
Search for the text `formal specification' anywhere in Oxford Index »
Users without a subscription are not able to see the full content. Please,
or login to access all content.
Forgot your password?