Next: About this document ...
The IMM/DTU RAISE Page
RAISE: Rigorous Approach to Industrial Software Engineering
Dines Bjørner
August 14, 2001
- This home page is at present being developed.
- For other home pages on RAISE see:
- A number of researchers at
IMM: Informatics and Mathematical
Modelling
- Research,
- Develop,
- Use, and
- Educate in RAISE.
- The RAISE-oriented researchers at IMM/DTU currently include:
This group is under expansion.
- Please contact Dines
Bjørner
for information.
- Current IMM/DTU RAISE Documents:
- Dines Bjørner:
- Recently Published Papers notably featuring use of RAISE:
- Draft Papers notably featuring use of RAISE:
- RAISE-based Lectures: Theory and Practice of Software
Engineering:
- Anne E. Haxthausen:
- Asger Eir:
- Morten Peter
Lindegaard:
- M.P. Lindegaard, P. Viuf and A.E. Haxthausen. Modelling Railway
Interlocking Systems. In E. Schnieder and U. Becker (eds.):
Proceedings of the 9th IFAC Symposium
on Control in Transportation Systems 2000, June 13-15, 2000,
Braunschweig, Germany, pp. 211-217.
- More to come !
Next: About this document ...
Dines Bjorner
2001-08-14