2004 | ||
---|---|---|
3 | EE | Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer: Scaling Step-Wise Refinement. IEEE Trans. Software Eng. 30(6): 355-371 (2004) |
2003 | ||
2 | EE | Don S. Batory, Jia Liu, Jacob Neal Sarvela: Refinements and multi-dimensional separation of concerns. ESEC / SIGSOFT FSE 2003: 48-57 |
1 | EE | Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer: Scaling Step-Wise Refinement. ICSE 2003: 187-197 |
1 | Don S. Batory | [1] [2] [3] |
2 | Jia Liu | [2] |
3 | Axel Rauschmayer | [1] [3] |