Fortiss

output

20122014

most citedVerified System Development with the AutoFocus Tool Chain

27 citations

researchers with a paper here

Bernhard Rumpe⋆1
Bernhard Schätz1
Daniel Ratiu1
Dongyue Mou1
D. Trachtenherz1
F. Hölzl1
I. Lavallée1
Jan Olaf Blech1
J. Blech1
Jonathan Sprinkle1
M. Bui1
M. Lamure1

collaborating institutions

Laboratoire d’Informatique et SystèmesFR1 paper
Lyon 1 UniversitéFR1 paper
RWTH Aachen UniversityDE1 paper
University of ArizonaUS1 paper
Vanderbilt UniversityUS1 paper

Showing 2012Show all

2 papers · 1 filter

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…