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

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

Application of Error Estimating Model to Control Quality in Embedded Software Development

2010 ◽  
Vol 130 (3) ◽  
pp. 496-502
Author(s):  
Yoshiyuki Anan ◽  
Toyoshiro Nakashima ◽  
Kazunori Iwata ◽  
Hiroshi Yonemitsu ◽  
Tetsu Yoshioka ◽  
...  
Keyword(s):  
Software Development ◽  
Embedded Software ◽  
Control Quality
Sign in / Sign up

Export Citation Format

Share Document