|
1986 Journal Article Specification directed module testingHayes, Ian J. (1986). Specification directed module testing. IEEE Transactions on Software Engineering, SE-12 (1), 124-133. doi: 10.1109/tse.1986.6312926 |
|
1985 Journal Article APPLYING FORMAL SPECIFICATION TO SOFTWARE DEVELOPMENT IN INDUSTRYHayes, Ian J. (1985). APPLYING FORMAL SPECIFICATION TO SOFTWARE DEVELOPMENT IN INDUSTRY. IEEE Transactions on Software Engineering, SE-11 (2), 169-178. doi: 10.1109/TSE.1985.232191 |
|
1978 Journal Article Some remarks on "Ambiguous Machine Architecture"Hayes, Ian J. (1978). Some remarks on "Ambiguous Machine Architecture". ACM SIGARCH Computer Architecture News, 6 (8), 23-24. doi: 10.1145/1216467.1216473 |
