Formal specification of a small example based on GKS
ACM Transactions on Graphics (TOG)
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Hi-index | 0.00 |