Università della Svizzera italiana

When and how java developers give up static type safety

Mastrangelo, Luis ; Hauswirth, Matthias (Dir.) ; Nystrom, Nathaniel (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO008.

The main goal of a static type system is to prevent certain kinds of errors from happening at run time. A type system is formulated as a set of constraints that gives any expression or term in a program a well-defined type. Besides detecting these kinds of errors, a static type system can be an invaluable maintenance tool, can be useful for documentation purposes, and can aid in generating ...

Consortium of Swiss Academic Libraries

Team design communication patterns in e-learning design and development

Rapanta, Chrysi ; Maina, Marcelo ; Lotz, Nicole ; Bacchelli, Alberto

In: Educational Technology Research and Development, 2013, vol. 61, no. 4, p. 581-605