Seamless Model Driven Systems Engineering Based on Formal Models

Authors:
Manfred Broy
Affiliations:
Institut für Informatik, Technische Universität München, München, Germany D-80290
Venue:
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Year:
2009

Citing 6
Cited 1

Foundations for the study of software architecture

ACM SIGSOFT Software Engineering Notes
Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
Some software engineering principles

Software fundamentals
The Mythical Man-Month: Essays on Softw

The Mythical Man-Month: Essays on Softw
The verifying compiler: A grand challenge for computing research

Journal of the ACM (JACM)
On the correctness of upper layers of automotive systems

Formal Aspects of Computing

Effective homology of bicomplexes, formalized in Coq

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

So-called formal methods have been advocated as techniques in software and systems engineering to improve the correctness and reliability of system and software development --- in practice with limited success. In contrast, modeling concepts have found high interest in the development of software intensive systems in recent years in industry. Models are not necessary formal and formal methods do not necessarily provide useful models. We discuss the role of models and the advantages, in particular, of formal models in system development with emphasis on their seamless use.