强化 发表于 2025-3-28 18:12:48

http://reply.papertrans.cn/16/1591/159059/159059_41.png

尾随 发表于 2025-3-28 20:14:31

Seuchen und Infektionskrankheiten,of the Z approach which are highlighted in this paper include the interleaving of mathematical text with informal prose, the creation of parametrised specifications, and use of the Z schema calculus to construct descriptions of large systems from simpler components.

Confirm 发表于 2025-3-29 02:38:42

http://reply.papertrans.cn/16/1591/159059/159059_43.png

entitle 发表于 2025-3-29 06:19:09

http://reply.papertrans.cn/16/1591/159059/159059_44.png

苦笑 发表于 2025-3-29 09:44:01

http://reply.papertrans.cn/16/1591/159059/159059_45.png

amputation 发表于 2025-3-29 11:40:08

Helmut Lill,Jan Korner,Christoph Jostenof a “role-your-own” system for developing a CAD/CAM application system. Second, we present a world model that is the basic and common component in the development tool. The world model represents objects such as a manipulator or a robotic working cell in a factory ‚and is composed of a geometric mo

CODA 发表于 2025-3-29 18:01:59

https://doi.org/10.1007/978-3-663-09924-6he inclusion of not just technical aspects but social and management aspects as well. A methodology, based on the IPAD work, is suggested which can help one to identify critical CAE system aspects, such as the activities, the data requirements, and their interactions, both for technical and manageme

后退 发表于 2025-3-29 21:09:15

http://image.papertrans.cn/a/image/159059.jpg

纵火 发表于 2025-3-30 03:17:15

Seuchen und Infektionskrankheiten,of the Z approach which are highlighted in this paper include the interleaving of mathematical text with informal prose, the creation of parametrised specifications, and use of the Z schema calculus to construct descriptions of large systems from simpler components.

overrule 发表于 2025-3-30 07:35:05

http://reply.papertrans.cn/16/1591/159059/159059_50.png
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Application Development Systems; The Inside Story of Tosiyasu L. Kunii (Professor and Director) Conference proceedings 1986 Springer-Verla