![Logic in computer science / Programming language semantics / Computer science / Object-oriented programming / Component-based software engineering / Denotational semantics / Petri net / Operational semantics / Theoretical computer science / Software engineering / Models of computation Logic in computer science / Programming language semantics / Computer science / Object-oriented programming / Component-based software engineering / Denotational semantics / Petri net / Operational semantics / Theoretical computer science / Software engineering / Models of computation](https://www.pdfsearch.io/img/9a0df9735d4f9a3abaa3b7b7c8c1be17.jpg) Date: 2012-12-31 04:25:30Logic in computer science Programming language semantics Computer science Object-oriented programming Component-based software engineering Denotational semantics Petri net Operational semantics Theoretical computer science Software engineering Models of computation | | This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 1 Source-to-Source ArchitecturAdd to Reading ListSource URL: www-verimag.imag.frDownload Document from Source Website File Size: 545,05 KBShare Document on Facebook
|