Titlebook: ESEC ‘91; 3rd European Softwar Axel Lamsweerde,Alfonso Fugetta Conference proceedings 1991 Springer-Verlag Berlin Heidelberg 1991 Configura

GEM

A theory for software design extraction,intaining software systems. The basis of our approach is a formalization of top-down design with information hiding. This formalization allows an accurate and concise formulation of constructing an a posteriori design for a software system using only the source text. The theory predicts that in gene

giggle

SESADA: An environment supporting software specialization, component means to transform it into a component having the same functionality, but working only on a sub-domain of input data. Specialization is achieved by means of symbolic execution and static optimizations..Specialization is motivated as a technique to improve reusability of software component

animated

刺耳的声音