René Elmstrøm

According to our database, René Elmstrøm authored at least 7 papers between 1992 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Proposal for Tools Supporting Component Based Programming.

Henrik Lykke Nielsen, René Elmstrøm

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1994

The IFAD VDM-SL toolbox: a practical approach to formal specifications.

René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen

ACM SIGPLAN Notices, 1994

1993

IPTES: A Concurrent Engineering Approach for Real-Time Software Development.

Petri Pulli, René Elmstrøm

Real Time Syst., 1993

Giving Semantics to SA/RT by Means of High-Level Times Petri Nets.

René Elmstrøm, Raino Lintulampi, Mauro Pezzè

Real Time Syst., 1993

An Executable Subset of VDM-SL, in an SA/RT Framework.

René Elmstrøm, Poul Bøgh Lassen, Michael Andersen

Real Time Syst., 1993

1992

IPTES - Incremental Prototyping Technology for Embedded real-time Systems.

Petri Pulli, René Elmstrøm

Microprocess. Microprogramming, 1992

Making specifications executable - Using IPTES Meta-IV.

Michael Andersen, René Elmstrøm, Poul Bøgh Lassen, Peter Gorm Larsen

Microprocess. Microprogramming, 1992