We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...
We argue that, despite a substantial number of proposed and existing new database systems, a suitable database system for software development environments and especially process-c...
This paper describes the experience obtained at George Mason University while developing a Master of Science program in software engineering. To date, the program has graduated ov...
Paul Ammann, Hassan Gomaa, A. Jefferson Offutt, Da...
: The problem of a finding of ranging of the objects nearest to the cyclic relation set by the expert between objects is considered. Formalization of the problem arising at it is r...
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
Although multicomputers are becoming feasible for solving large problems, they are difficult to program: Extraction of parallelism from scalar languages is possible, but limited....
Array morphology is the study of the form, structure, and evolution of arrays. An array annotation for a program written in an applicative array lanan abstract syntax tree for the...