BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Denmark
1 × Spain
1 × The Netherlands
Collaborated with:
B.Dandanell J.Gørtz E.Zierau T.Vardanega G.Caspersen D.L.Chalmers
Talks about:
formal (2) applic (2) rais (2) ada (2) sequenti (1) descript (1) softwar (1) impress (1) generat (1) definit (1)

Person: Jan Storbank Pedersen

DBLP DBLP: Pedersen:Jan_Storbank

Contributed to:

Ada-Europe 19991999
FME 19931993
VDM Europe 19871987
Towards a Formal Description of Ada 19801980
VDM Europe (1) 19911991

Wrote 6 papers:

AdaEurope-1999-VardanegaCP #case study #embedded #realtime #reuse #using
A Case Study in the Reuse of On-board Embedded Real-Time Software (TV, GC, JSP), pp. 425–436.
FME-1993-DandanellGPZ #experience
Experience from Applications of RAISE (BD, JG, JSP, EZ), pp. 52–63.
VDM in Three Generations of Ada* Formal Descriptions (JSP), pp. 33–48.
TFDA-1980-Pedersen #ada #semantics
A Formal Semantics Definition of Sequential Ada (JSP), pp. 213–308.
VDME-1991-ChalmersDGPZ #using
Using RAISE — First Impressions from the LaCoS Applications (DLC, BD, JG, JSP, EZ), pp. 645–657.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.