GEM
发表于 2025-4-1 03:54:56
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
发表于 2025-4-1 09:03:16
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
发表于 2025-4-1 10:25:29
http://reply.papertrans.cn/31/3005/300500/300500_63.png
刺耳的声音
发表于 2025-4-1 17:34:56
http://reply.papertrans.cn/31/3005/300500/300500_64.png