BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Germany
Collaborated with:
M.Broy H.Lötzbeyer P.Braun B.Schätz A.Blotz F.Huber A.Pretschner H.Zängerl
Talks about:
softwar (2) develop (2) method (2) formal (2) overview (1) synergi (1) project (1) process (1) consist (1) system (1)

Person: Oscar Slotosch

DBLP DBLP: Slotosch:Oscar

Contributed to:

Ada Deutschland Tagung 20022002
TACAS 20002000
FM-Trends 19981998

Wrote 4 papers:

Ada-2002-BlotzHLPSZ #ada #development #modelling #re-engineering #safety
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems (AB, FH, HL, AP, OS, HPZ), pp. 37–52.
TACAS-2000-BraunLSS #consistency #formal method #integration
Consistent Integration of Formal Methods (PB, HL, BS, OS), pp. 48–62.
FM-1998-BroyS #development #formal method #process
Enriching the Software Development Process by Formal Methods (MB, OS), pp. 44–61.
FM-1998-Slotosch #named #overview
QUEST: Overview over the Project (OS), pp. 346–350.

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.