| |
|
| |
|
| |
Programming Languages and Systems (2007), pp. 2-17.
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 106-117.
|
| |
In TAMODIA '04: Proceedings of the 3rd annual conference on Task models and diagrams (2004), pp. 129-136.
|
| |
In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 851-854.
|
| |
In CHINZ '08: Proceedings of the 9th ACM SIGCHI New Zealand Chapter's International Conference on Human-Computer Interaction (2008), pp. 1-8.
|
| |
In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, Vol. 32, No. 8. (August 1997), pp. 263-273.
|
| |
Practical Aspects of Declarative Languages (2001), pp. 29-44.
|
| |
|
| |
|
| |
|
| |
Vol. 103 (2003), pp. 49-52.
|
| |
In ICSE '00: Proceedings of the 22nd international conference on Software engineering (2000), pp. 439-448.
|
| |
CONCUR 2001 — Concurrency Theory (2001), pp. 39-58.
|
| |
Hawaii International Conference on System Sciences, Vol. 9 (2001)
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 27, No. 1. (2002), pp. 39-44.
|
| |
情報処理学会プログラミング研究会 (27 January 2009)
|
| |
|
| |
|
| |
|
| |
|
| |
In FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture (1993), pp. 321-330.
|
| |
|
| |
|
| |
In CUFP '07: Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming (2007), pp. 1-4.
|
| |
Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60-61 ( 2004), pp. 17-139.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 30, No. 6. (2004), pp. 388-402.
|
| |
|
| |
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 23, No. 2. (1998), pp. 82-92.
|
| |
|
| |
Computer In Computer, Vol. 35, No. 8. (2002), pp. 87-88.
|
| |
Systems and Computers in Japan, Vol. 31, No. 14. (2000), pp. 38-46.
|
| |
In ACM-SE 42: Proceedings of the 42nd annual Southeast regional conference (2004), pp. 140-145.
|
| |
In AST '06: Proceedings of the 2006 international workshop on Automation of software test (2006), pp. 9-14.
|
| |
Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on In Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 107-116.
|
| |
|
| |
|
| |
Real-Time: Theory in Practice (1992), pp. 45-73.
|
| |
|
| |
|
| |
Model Checking Software (2001), pp. 102-122.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (1 October 2007), pp. 505-525.
|
| |
In CCS '02: Proceedings of the 9th ACM conference on Computer and communications security (2002), pp. 235-244.
|
| |
|
| |
SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213.
|
| |
In ASE '04: Proceedings of the 19th IEEE international conference on Automated software engineering (2004), pp. 154-163.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 20, No. 4. (October 1995), pp. 128-139.
|
| |
Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 205-224.
|
