Publisher
Springer International Publishing
Reference42 articles.
1. AutoFocus3 website:
https://af3.fortiss.org
2. Aravantinos, S., Voss, S., Teufl, F., Hölzl, B., Schätz, B.: AutoFOCUS 3: tooling concepts for seamless, model-based development of embedded systems. Model Based Archit. Constr. Embed. Syst. (ACES-MB) 1508, 19–26 (2015)
3. Böhm, W., Junker, M., Vogelsang, A., Teufl, S., Pinger, R., Rahn, K.: A formal systems engineering approach in practice: an experience report. In: SER&IPs, pp. 34–41 (2014)
4. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001).
https://doi.org/10.1007/978-1-4613-0091-5
5. Broy, M.: Toward a mathematical foundation of software engineering methods. IEEE Trans. Softw. Eng. 27(1), 42–57 (2001)