Results 281 to 290 of about 20,143,612 (313)
Some of the next articles are maybe not open access.
Contracting for Software Development
Management Science, 1992Software contracting is a multi-faceted issue that involves legal, economic, managerial and technological considerations. To better understand the economic aspect of software contracting, this paper provides a summary review of software development contracts, followed by a gametheoretic model developed to incorporate incentive and information issues ...
openaire +2 more sources
Software development productivity
Proceedings of the ACM '82 conference on - ACM 82, 1982Improving the productivity of software development projects is the greatest challenge the computing industry faces in this decade. People are both the bottleneck and the dominant cost in most software development projects. The thousand-fold improvement in hardware performance over the past three decades is intoxicating compared to the lack-luster seven-
openaire +2 more sources
2006
LDM (Logic based Development Method) is a method, a language, and a support system for designing software objects on different levels of abstraction. It is based on the ideas of logic programming (PROLOG) and the Vienna Development Method (VDM). The paper gives an overview of the method, the language, the first experimental support system, and the ...
Kalman Balogh +3 more
openaire +2 more sources
LDM (Logic based Development Method) is a method, a language, and a support system for designing software objects on different levels of abstraction. It is based on the ideas of logic programming (PROLOG) and the Vienna Development Method (VDM). The paper gives an overview of the method, the language, the first experimental support system, and the ...
Kalman Balogh +3 more
openaire +2 more sources
Software Development for Infrastructure
Computer, 2012Infrastructure software needs more stringent correctness, reliability, efficiency, and maintainability requirements than non- essential applications. This implies greater emphasis on up-front design, static structure enforced by a type system, compact data structures, simplified code structure, and improved tool support.
openaire +1 more source
A Systematic Survey of Just-in-Time Software Defect Prediction
ACM Computing Surveys, 2023Kostadin Damevski, Hui Chen, Yunhua Zhao
exaly
Software for systems biology: from tools to integrated platforms
Nature Reviews Genetics, 2011Samik Ghosh +2 more
exaly