[{"publication":"Proceedings of the ISSS02","type":"conference","status":"public","abstract":[{"lang":"eng","text":"We present a rigorous but transparent semantics definition of the SpecC language that covers the execution of SpecC behaviors and their interaction with the kernel process. The semantics include wait, wait for, par, and try statements as they are introduced in SpecC. We present our definition in form of distributed abstract state machine (ASM) rules strictly following the lines of the SpecC Language Reference Manual. We mainly see our formal semantics in three application areas. First, it is a concise, unambiguous description for documentation and standardization. Second, it applies as a high-level, pseudo code-oriented specification for the implementation of a SpecC simulator. Finally, it is a first step for SpecC synthesis in order to identify similar concepts with other languages like VHDL and SystemC for the definition of common patterns and language subsets."}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39382","language":[{"iso":"eng"}],"keyword":["Standardization","Kernel","Permission","Formal verification","Logic functions","Documentation","Reasoning about programs","Specification languages","Formal specifications","Software systems"],"publication_identifier":{"isbn":["1-58113-576-9"]},"citation":{"apa":"Müller, W., Dömer, R., &#38; Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. <i>Proceedings of the ISSS02</i>. <a href=\"https://doi.org/10.1145/581199.581234 \">https://doi.org/10.1145/581199.581234 </a>","bibtex":"@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The Formal Execution Semantics of SpecC}, DOI={<a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>}, booktitle={Proceedings of the ISSS02}, author={Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }","short":"W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.","mla":"Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” <i>Proceedings of the ISSS02</i>, 2002, doi:<a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>.","ieee":"W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: <a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>.","chicago":"Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.” In <i>Proceedings of the ISSS02</i>. Nagoya, Japan, 2002. <a href=\"https://doi.org/10.1145/581199.581234 \">https://doi.org/10.1145/581199.581234 </a>.","ama":"Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC. In: <i>Proceedings of the ISSS02</i>. ; 2002. doi:<a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>"},"year":"2002","place":"Nagoya, Japan","author":[{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Dömer, Rainer","last_name":"Dömer","first_name":"Rainer"},{"full_name":"Gerstlauer, Andreas","last_name":"Gerstlauer","first_name":"Andreas"}],"date_created":"2023-01-24T10:10:24Z","date_updated":"2023-01-24T10:10:28Z","doi":"10.1145/581199.581234 ","title":"The Formal Execution Semantics of SpecC"},{"type":"conference","publication":"Proceedings of HICSS-32","status":"public","abstract":[{"lang":"eng","text":"This article introduces and discusses different innovative means for visual specification and animation of complex concurrent systems. It introduces the completely visual programming language Pictorial Janus (PJ) and its application in the customer-oriented design process. PJ implements a completely visual programming language with inherent animation facilities. The article outlines the transformation of purely visual PJ programs into textual imperative programming languages. The second part of the article investigates animated 3D-presentations and introduces a novel approach to an animated 3D programming language for interactive customer-oriented illustrations."}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39487","language":[{"iso":"eng"}],"keyword":["Animation","Computer languages","Object oriented modeling","Collaboration","Process design","Graphical user interfaces","Jacobian matrices","Standardization","Feedback","Software prototyping"],"publication_identifier":{"isbn":["0-7695-0001-3"]},"citation":{"apa":"Geiger, C., Lehrenfeld, G., &#38; Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. <i>Proceedings of HICSS-32</i>. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>","bibtex":"@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }","short":"C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.","mla":"Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” <i>Proceedings of HICSS-32</i>, 1999, doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>.","ama":"Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: <i>Proceedings of HICSS-32</i>. ; 1999. doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>","chicago":"Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.” In <i>Proceedings of HICSS-32</i>. Maui, Hawaii, 1999. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>.","ieee":"C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>."},"year":"1999","place":"Maui, Hawaii","author":[{"full_name":"Geiger, Christian","last_name":"Geiger","first_name":"Christian"},{"first_name":"G.","full_name":"Lehrenfeld, G.","last_name":"Lehrenfeld"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_created":"2023-01-24T11:33:05Z","date_updated":"2023-01-24T11:33:35Z","conference":{"name":"Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999","location":"Maui, Hawaii"},"doi":"10.1109/HICSS.1999.772621","title":"Visual Specification, Modeling, and Illustrations of Complex Systems"}]