STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Real-time object-oriented modeling
Real-time object-oriented modeling
The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
Object-oriented methods (3rd ed.): principles & practice
Object-oriented methods (3rd ed.): principles & practice
Model Driven Architecture: Applying MDA to Enterprise Computing
Model Driven Architecture: Applying MDA to Enterprise Computing
SEQUEL: A structured English query language
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
MDA Distilled
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems
SUTC '06 Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing -Vol 1 (SUTC'06) - Volume 01
Computer
Proceedings of the FSE/SDP workshop on Future of software engineering research
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Morsa: a scalable approach for persisting and accessing large models
Proceedings of the 14th international conference on Model driven engineering languages and systems
Model-driven automation for simulation-based functional verification
ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on verification challenges in the concurrent world
An aspect-oriented, model-driven approach to functional hardware verification
Journal of Systems Architecture: the EUROMICRO Journal
Journal of Systems and Software
What will it take? A view on adoption of model-based methods in practice
Software and Systems Modeling (SoSyM)
A domain-specific language for context modeling in context-aware systems
Journal of Systems and Software
Querying large models efficiently
Information and Software Technology
| Hi-index | 0.00 |
Model-based software engineering (MBSE) is an approach to software development characterized in part by significantly greater levels of automation when compared to more traditional development methods. Computer-based tools play a fundamental role in a number of key aspects of development, including authoring support (many MBSE languages are predominantly visual), automatic or semi-automatic verification, automated translation of specifications into corresponding programs, and so on.Given the historical precedents, such as the introduction of compilation technology, there is little doubt that automation, when properly conceived and realized, can dramatically increase the productivity of software developers and improve the quality of their software. Therefore, it is natural to assume that MBSE would quickly become the dominant form of software development, similar to the rapid adoption of computer-aided design approaches for hardware. Yet, this has not been the case.In this opinion-based article, derived from the author's long-term experience with MBSE and its application in industry, we examine the causes behind this seemingly paradoxical situation.