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: Slotosch:Oscar
Contributed to:
2002
2000
1998Wrote 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.