On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification

2016 ◽  
Author(s):  
Andres Paz ◽  
Ghizlane El Boussaidi
Keyword(s):  
Software Development ◽  
Model Based

Future Automotive Embedded Systems Enabled by Efficient Model-Based Software Development

2021 ◽  
Author(s):  
Juergen Schaefer ◽  
Herbert Christlbauer ◽  
Alexander Schreiber ◽  
Graham Reith ◽  
Mischa Jonker ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Software Development ◽  
Model Based

Integrating model checking and model based testing for industrial software development

2019 ◽  
Vol 104 ◽  
pp. 88-102 ◽  
Author(s):  
Emília Villani ◽  
Rodrigo Pastl Pontes ◽  
Guilherme Kisselofl Coracini ◽  
Ana Maria Ambrósio
Keyword(s):  
Model Checking ◽  
Software Development ◽  
Model Based ◽  
Model Based Testing ◽  
Industrial Software

Continual Human Value Analysis in Software Development: A Goal Model Based Approach

2020 ◽  
Author(s):  
Harsha Perera ◽  
Gunter Mussbacher ◽  
Waqar Hussain ◽  
Rifat Ara Shams ◽  
Arif Nurwidyantoro ◽  
...  
Keyword(s):  
Software Development ◽  
Goal Model ◽  
Value Analysis ◽  
Model Based ◽  
Human Value

Model-based performance prediction in software development: a survey

2004 ◽  
Vol 30 (5) ◽  
pp. 295-310 ◽  
Author(s):  
S. Balsamo ◽  
A. Di Marco ◽  
P. Inverardi ◽  
M. Simeoni
Keyword(s):  
Software Development ◽  
Performance Prediction ◽  
Model Based
Sign in / Sign up

Export Citation Format

Share Document