Autor der Publikation

Delphi: A Source-code Analysis and Manipulation System for Bricklayer.

, , und . SEKE, Seite 456-461. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The TAMPR Program Transformation System: Simplifying the Development of Numerical Software., , und . SciTools, Seite 353-372. Birkhäuser, (1996)Model-driven Transformation-based Generation of Java Stress Tests.. RULE@FLoC, Volume 174 von Electronic Notes in Theoretical Computer Science, Seite 99-114. Elsevier, (2006)Two Birds: Teaching Coding and Math in Primary Schools and Beyond (Abstract Only)., und . SIGCSE, Seite 743. ACM, (2017)Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study., und . Monterey Workshop, Volume 4322 von Lecture Notes in Computer Science, Seite 47-69. Springer, (2005)Higher-order strategic programming: A road to software assurance., , und . IASTED Conf. on Software Engineering and Applications, Seite 350-355. IASTED/ACTA Press, (2004)In Pursuit of CS-based Educational Content Suitable for Broader Audiences., und . SIGITE, Seite 62-67. ACM, (2020)Proving refinement transformations for deriving high-assurance software., und . HASE, Seite 68-77. IEEE Computer Society, (1996)Bay area rapid transit district advance automated train control system case study description, , und . High integrity software, Kluwer Academic Publishers, Norwell, MA, USA, (2001)High Consequence Systems and Semantic Computing., , , , , , , , , und . Int. J. Semantic Comput., 7 (3): 291-324 (2013)ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems., , , und . DSAL@AOSD, Seite 1. ACM, (2007)