IEEE - Institute of Electrical and Electronics Engineers, Inc. - Generative programming with support for formal verification

2009 IEEE International Symposium on Industrial Embedded Systems (SIES)

Author(s): Paska, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2009
Conference Location: Lausanne, Switzerland, Switzerland
Conference Date: 8 July 2009
Page(s): 58 - 61
ISBN (CD): 978-1-4244-4110-5
ISBN (Paper): 978-1-4244-4109-9
DOI: 10.1109/SIES.2009.5196194
Regular:

This paper presents a novel approach to software development, mainly useful for embedded devices. Embedded software is described in a programming language with very high level of abstraction.... View More

Advertisement