This paper introduces stratified programming, a novel approach for program construction. In essence, stratified programming allows the developer to build and software at various l...
Historically, software application systems have been produced either individually tailored for the specific customer, or they have been adapted from standardized packages. This pa...
Essential activities for the achievement of trouble-free software development are monitoring a software product and management of a software project. Monitoring changes that have ...
Empirical research on software development based on data obtained from project repositories and code forges is increasingly gaining attention in the software engineering research ...
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...