Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
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...
Most software development tools focus on supporting the primary technical work ? writing code, managing requirements, filing bugs, etc. Yet with large teams, managing the social a...
Jason B. Ellis, Catalina Danis, Christine Halverso...
In many libre (free, open source) software projects, most of the development is performed by a relatively small number of persons, the “core team”. The stability and permanenc...