The SpecC language

The SpecC Language is executable and synthesizable and gives precise coverage of system language requirements with orthogonal constructs for orthogonal concepts. SpecC has been adopted in industry and academia with the introduction of the SpecC Open Technology Consortium (STOC). For the future there is a standardization effort in progress by STOC.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Rainer Dömer,et al.  System-level modeling and design with the SpecC language , 2000 .

[3]  Frank Vahid,et al.  SpecCharts: a VHDL front-end for embedded systems , 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[4]  Andreas Gerstlauer,et al.  System Design - A Practical Guide with SpecC , 2001 .

[5]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[6]  Bjarne Stroustrup,et al.  The C++ programming language (3. ed.) , 1997 .

[7]  Doron Drusinsky,et al.  Using statecharts for hardware description and synthesis , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[8]  Ken Arnold,et al.  The Java Programming Language , 1996 .