IEEE - Institute of Electrical and Electronics Engineers, Inc. - RealSpec: An Executable Specification Language for Prototyping Concurrent Systems

2008 19th IEEE/IFIP International Symposium on Rapid System Prototyping

Author(s): A.A. Khwaja ; J.E. Urban
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2008
Conference Location: Monterey, CA, USA
Conference Date: 2 June 2008
Page(s): 3 - 9
ISBN (Paper): 978-0-7695-3180-9
ISSN (Paper): 1074-6005
DOI: 10.1109/RSP.2008.9
Regular:

RealSpec is a declarative executable language for the prototyping of concurrent and real-time systems based on a dataflow functional model. RealSpec is developed on top of Lucid dataflow... View More

Advertisement