Sparse matrix methods for factorizing a nonsingular matrix are considered. The possibility of using the little known technique of implicit LU factors is explored, particularly in the context of simplex-like methods for Linear Programming. The concept of a spike-preserving ordering is introduced and a new method for calculating such an ordering is described, based on the recursive use of Tarjan'...

This paper presents an automated transition from OMT* (a formal variant of OMT) towards SDL. This work is a partial result from a larger research eeort proposing an integrated methodology and toolset based on the combination of Object-Orientation and Formal-Description Techniques. In this project OMT is used as the systems requirements analysis technique while SDL (Speciication Description Lang...