Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
Extreme programming explained: embrace change
Extreme programming explained: embrace change
Formal Models for Embedded System Design
IEEE Design & Test
Software Process: Principles, Methodology, Technology
Software Process: Principles, Methodology, Technology
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Cognitive support features for software development tools
Cognitive support features for software development tools
System-level design: orthogonalization of concerns and platform-based design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Towards verified automotive software
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Mastering the complexity of reactive systems: the AutoFocus approach
Formal methods for embedded distributed systems
Computer-aided Support for Secure Tropos
Automated Software Engineering
Integrated behavior models for factory automation systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
A meta model for artefact-orientation: fundamentals and lessons learned in requirements engineering
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Component-Based Software Development for Embedded Systems
Systematic evolution of model-based spreadsheet applications
Journal of Visual Languages and Computing
Improving verification process in driverless metro systems: the MBAT project
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Model based specification, verification, and test generation for a safety fieldbus profile
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Real-time design models to RTOS-specific models refinement verification
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Hi-index | 0.00 |
Model-based development relies on the use of explicit models to describe development activities and products. Among other things, the explicit existence of process and product models allows the definition and use of complex development steps that are correct by design, the generation of proof obligations for a given transformation, requirements tracing, and documentation of the process. Our understanding of modelbased development in the context of embedded systems is exposed. We argue that the concept of model-based development is orthogonal to a specific process, be it agile or rigorous.