savage
发表于 2025-3-25 06:49:14
http://reply.papertrans.cn/89/8845/884448/884448_21.png
外形
发表于 2025-3-25 08:00:56
Knowledge-based software development from requirements to code,the .. system which supports this new paradigm including automatically compiling specifications into code. We present as an example the development of a communication system, showing in detail support for the process of producing abstract specifications from requirements.
CLOUT
发表于 2025-3-25 14:45:28
Project Graphs and meta-programs towards a theory of Software development,y theoretical viewpoint..Finally the architecture of a Software Development System is outlined. Within a single, unifying frame it embodies the management, engineering and science of software development.
彻底检查
发表于 2025-3-25 19:05:34
Software development based on formal methods,ations. In this paper, programming languages and their compilers are ignored; the focus is on the specification and verification of programs. The discussion focusses on the approach to specification and the reliance on proof obligations in design steps of data reification and operation decomposition.
懦夫
发表于 2025-3-25 20:26:04
http://reply.papertrans.cn/89/8845/884448/884448_25.png
Myofibrils
发表于 2025-3-26 03:00:09
http://reply.papertrans.cn/89/8845/884448/884448_26.png
elucidate
发表于 2025-3-26 04:51:52
http://reply.papertrans.cn/89/8845/884448/884448_27.png
图画文字
发表于 2025-3-26 08:58:18
http://reply.papertrans.cn/89/8845/884448/884448_28.png
granite
发表于 2025-3-26 13:23:06
http://reply.papertrans.cn/89/8845/884448/884448_29.png
Initial
发表于 2025-3-26 18:20:57
http://reply.papertrans.cn/89/8845/884448/884448_30.png