分期付款
发表于 2025-4-1 04:09:31
Formal specification in metamorphic programming, in-the-large and in-the-small. The main contribution that metamorphic programming makes to formal specification is to clarify the ways in which specifications can be merged smoothly into the software development lifecycle.