Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
This paper presents a novel self-organising neural network. It has been developed for use as a simpli ed model of cortical development. Unlike many other models of topological map...
Eleven open source software projects written in C/C++ were analyzed to determine if the number of committing developers impacts code quality. We use cyclomatic complexity, lines o...
Brandon Norick, Justin Krohn, Eben Howard, Ben Wel...
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
Abstract. The purpose of the research described in this paper is to propose a framework and supporting tools that will help software companies to establish formalised methods that ...