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 ...
Emotive and personality parameters in recommender systems: Recognition and usage of user-centric data for user and item modeling in content retrieval systems Tkalčič M; Košir A; Tasič JF (LAP LAMBERT Academic Publishing, 2011)The growing amount of multimedia content is making it hard for end users to find the relevant content. The goal of recommender systems is to assist the users by finding a small subset of relevant multimedia items for each ...
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 ...