Do static type systems improve the maintainability of software systems? An empirical study
MetadataShow full item record
Static type systems play an essential role in contemporary programming languages. Despite their importance, whether static type systems influence human software development capabilities remains an open question. One frequently mentioned argument for static type systems is that they improve the maintainability of software systems - an often used claim for which there is no empirical evidence. This paper describes an experiment which tests whether static type systems improve the maintainability of software systems. The results show rigorous empirical evidence that static type are indeed beneficial to these activities, except for fixing semantic errors.
Showing items related by title, author, creator and subject.
Connectivity in Cyber-Physical Production Systems: Three-Tier Industrial Internet System Model for Connectivity of heterogeneous Elements in Cyber-Physical Production Systems Rojas R; Rauch E; Matt DT (2018)In the "Smart Factory", cyber-physical systems (CPS) must be synchronized with each other and with the outside world in order to exchange information and trigger actions. This paper presents a model for the design of an ...
Matt, DT; Rauch, E (InTech, 2012)The geographically distributed production of fresh food poses unique challenges to the production system design because of their stringent industry and logistics requirements. The purpose of this research is to examine the ...
Collaborative Cloud Manufacturing: Design of Business Model Innovations Enabled by Cyberphysical Systems in Distributed Manufacturing Systems Rauch E; Seidenstricker S; Dallasega P; Hämmerl R (2016)Collaborative cloud manufacturing, as a concept of distributed manufacturing, allows different opportunities for changing the logic of generating and capturing value. Cyberphysical systems and the technologies behind them ...