Sciweavers

ECBS
2006
IEEE

Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality

13 years 11 months ago
Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to correct specifications as they are constructed, driving the engineer towards a more correct specification. We also present a concrete specification language based on this methodology.
Ethan K. Jackson, Janos Sztipanovits
Added 11 Jun 2010
Updated 11 Jun 2010
Type Conference
Year 2006
Where ECBS
Authors Ethan K. Jackson, Janos Sztipanovits
Comments (0)