Author of the publication

Integrating formalism into undergraduate software engineering.

. Journal of Systems and Software, 74 (2): 147-154 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel Robots, , and . ROMANSY 21 - Robot Design, Dynamics and Control, volume 569 of CISM International Centre for Mechanical Sciences, page 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)
 

Other publications of authors with the same name

Composing Specifications in VSPEC., , and . ICFEM, page 45-56. IEEE Computer Society, (2000)Constructing language processors with algebra combinators., , , and . GPCE, page 155-164. ACM, (2007)Automating Component Adaptation for Reuse., and . ASE, page 142-151. IEEE Computer Society, (2003)Model Composition in Rosetta., , , and . ECBS, page 140-148. IEEE Computer Society, (2011)A pattern for almost homomorphic functions., , and . WGP@ICFP, page 1-12. ACM, (2012)Integrating formalism into undergraduate software engineering.. Journal of Systems and Software, 74 (2): 147-154 (2005)Flexible Mechanisms for Remote Attestation., , , , , and . ACM Trans. Priv. Secur., 24 (4): 29:1-29:23 (2021)Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language., , and . J. UCS, 9 (11): 1322-1349 (2003)Orchestrating Layered Attestations., , , , , , and . POST, volume 11426 of Lecture Notes in Computer Science, page 197-221. Springer, (2019)Formal Specification and Verification of the pGVT Algorithm., , , , and . FME, volume 1051 of Lecture Notes in Computer Science, page 405-424. Springer, (1996)