scholarly journals Automated Unit Testing in Model-based Embedded Software Development

2017 ◽  
Author(s):  
Christoph Luckeneder ◽  
Hermann Kaindl ◽  
Martin Korinek
Keyword(s):  
Software Development ◽  
Embedded Software ◽  
Unit Testing ◽  
Model Based

Chaos-Model Based Framework for Embedded Software Development

2005 ◽  
pp. 582-588
Author(s):  
Huifeng Wu ◽  
Jing Ying ◽  
Xian Chen ◽  
Minghui Wu ◽  
Changyun Li
Keyword(s):  
Software Development ◽  
Embedded Software ◽  
Model Based

Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development

2005 ◽  
Author(s):  
M. Baleani ◽  
A. Ferrari ◽  
L. Mangeruca ◽  
A.L. Sangiovanni-Vincentelli ◽  
U. Freund ◽  
...  
Keyword(s):  
Software Development ◽  
Embedded Software ◽  
Design Environments ◽  
Model Based
Sign in / Sign up

Export Citation Format

Share Document