[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - Keynote address
- 作者Green, Cordell
- 文件大小354.58KB
- 发表时间2010
- DOI10.1145/1858996.1858998
- 页码183-184
The Correctness-by-Construction Approach to Programming Volume 668 ||Kourie, Derrick G.; Watson, Bruce W. · 2012
ON REGULAR EXPRESSION HASHING TO REDUCE FA SIZECOETSER, WIKUS; KOURIE, DERRICK G.; WATSON, BRUCE W. · International Journal of Foundations of Computer Science · 2009
The Correctness-by-Construction Approach to Programming || Simple ExamplesKourie, Derrick G.; Watson, Bruce W. · 2012
A CONCURRENT SPECIFICATION OF BRZOZOWSKI'S DFA CONSTRUCTION ALGORITHMSTRAUSS, TINUS; KOURIE, DERRICK G.; WATSON, BRUCE W. · International Journal of Foundations of Computer Science · 2008
The Correctness-by-Construction Approach to Programming Volume 9b2 || Intermediary ExamplesKourie, Derrick G.; Watson, Bruce W. · 2012
ON IMPLEMENTATION AND PERFORMANCE OF TABLE-DRIVEN DFA-BASED STRING PROCESSORSNGASSAM, ERNEST KETCHA; KOURIE, DERRICK G.; WATSON, BRUCE W. · International Journal of Foundations of Computer Science · 2008
The Correctness-by-Construction Approach to Programming Volume 200 || Case Study 2: Classifying MADFA Construction AlgorithmsKourie, Derrick G.; Watson, Bruce W. · 2012
[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - A New CSP Operator for Optional ParallelismGruner, Stefan; Kourie, Derrick G.; Roggenbach, Markus; Strauss, Tinus; Watson, Bruce W. · 2008