Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
"What is a method?": an essay on some aspects of domain engineering
Programming methodology
Hi-index | 0.00 |