Formal Specification of Concurrent Systems: A Structured Approach
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
Synergistic modelling of tasks, users and systems using formal specification techniques
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?