Department of Electrical and Computer Engineering

Aarhus University Seal
 Department of Electrical and Computer Engineering Research Key areas in research & development Software Engineering & Computing Systems Research Groups Publications

Publications

Sort by: Date | Author | Title

Larsen, P. G. (1993). Første VDM-SL standard på vej. IT standardnyt : et nyhedsbrev om edb-standardisering, 4(2), 14. http://pglconsult.dk/private/oversigt.pdf
Larsen, P. G. (1993). Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Paper presented at Semantics of Specification Languages, Utrecht, Netherlands. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.4818
Larsen, P. G. & Plat, N. (1992). An overview of the ISO/VDM-SL Standard. ACM SIGPLAN Notices, 27(8), 76-82. http://dl.acm.org/citation.cfm?id=142153
Larsen, P. G., Andersen, M., Elmstrøm, R. & Bøgh Lassen, P. (1992). Making specifications executable - using IPTES Meta-IV. Paper presented at 18th EUROMICRO Symposium on Microprocessing and Microprogramming - EUROMICRO 92, Paris, France. http://pglconsult.dk/private/euro.pdf
Larsen, P. G. & Plat, N. (1992). Standards for Nonexecutable Specification Languages. The Computer Journal, 35(6), 567-573. http://comjnl.oxfordjournals.org/content/35/6/567.full.pdf
Larsen, P. G. (1990). A Formal Event Structuring Approach to Real-Time Design. In Proc EUROMICRO 90 Workshop Real Time
Larsen, P. G. (1990). An Event Structuring Approach to Real-Time Design. Paper presented at 2nd Nordic Workshop on Program Correctness, Aalborg, Denmark. http://pglconsult.dk/private/larsen90event.pdf
Larsen, P. G., Meincke Arentoft, M., Monahan, B. & Bear, S. (1989). Towards a Formal Semantics of the BSI/VDM Specification Language. Paper presented at Information Processing 89, San Francisco, United States. http://pglconsult.dk/private/ifip.pdf

Displaying results 501 to 508 out of 508

Previous

2

3

4

5

6

7

8

9

10

11

Revised 13.11.2025
-
Peter Gorm Larsen