Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Daniel Larsson
[go: Go Back, main page]

My Photo

The Home Page of Daniel Larsson





About Me

Since January 2004 I am a Project Assistant at Chalmers University of Technology, Computer Science Department. My current research consists of partial evaluation of formal specification languages like OCL. I am a member of the Formal Methods group at our Department and also a member of the KeY project (in collaboration with Karlsruhe University), which aims at integrating object oriented design with formal methods.

Address/Contact Info

Daniel Larsson
Chalmers University of Technology
Computer Science Department
412-96 Göteborg, Sweden
e-mail: danla@cs.chalmers.se
tel: +46-31-772-1078
Room: 5479 in Computer Science and Engineering Building (EDIT)

Publications

  1. Daniel Larsson and Wojciech Mostowski. Specifying Java Card API in OCL. OCL 2.0 Workshop at UML 2003 Conference, San Francisco, U.S.A., October 21, 2003. ENTCS.
    [Gzipped PostScript] [PDF] [BibTeX] [At Elsevier]

  2. Martin Giese, Reiner Hähnle, Daniel Larsson. Rule-Based Simplification of OCL Constraints. OCL and Model Driven Engineering Workshop at UML 2004 Conference, Lisbon, Portugal, October 12, 2004.
    [Gzipped PostScript] [PDF] [BibTeX] [OCL Workshop Homepage]

Current Teaching

Google Search

Disclaimer, Daniel Larsson
Last modified: Tue Feb 3 10:25:55 MET 2005