33 citations
- Blekinge Institute of TechnologySE13 papers
- Technical University of MunichDE11 papers
- Siemens (Germany)DE5 papers
- LMU KlinikumDE2 papers
- Ludwig-Maximilians-Universität MünchenDE2 papers
- Aarhus UniversityDK1 paper
- Chalmers University of TechnologySE1 paper
- Chemnitz University of TechnologyDE1 paper
- Engineering (Italy)IT1 paper
- Fondazione Bruno KesslerIT1 paper
- Iscte – Instituto Universitário de LisboaPT1 paper
- Laboratoire d’Informatique et SystèmesFR1 paper
Showing 2012 · cs.SEShow all
2 papers · 2 filters
cs.SE2012★ 27 cited
Verified System Development with the AutoFocus Tool Chain
Maria Spichkova, Florian Hölzl, David Trachtenherz
This work presents a model-based development methodology for verified software systems as well as a tool support for it: an applied AutoFocus tool chain and its basic principles em…
cs.SE2012★ 10 cited
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool
Jan Olaf Blech, Dongyue Mou, Daniel Ratiu
Seamless model based development aims to use models during all phases of the development process of a system. During the development process in a component-based approach, componen…