Algebraic Methodology and Software Technology