死猫他烧焦
发表于 2025-3-30 08:19:58
http://reply.papertrans.cn/19/1829/182894/182894_51.png
FUME
发表于 2025-3-30 13:31:43
http://reply.papertrans.cn/19/1829/182894/182894_52.png
细微的差异
发表于 2025-3-30 18:01:57
M. L. Mohan,K. V. Krishnamurthyformal service description is a model (constructed by an observer: the analyst) of a service desired by an agent (in the context of the agent’s world model). The assessment of its validity involves subjecting it to such operations as’ horizontal’ composition (with models of other services with which
configuration
发表于 2025-3-30 23:54:41
https://doi.org/10.1007/978-94-017-0109-9ational diversity as the diversity of visualizations of the same basic specificational format. It is argued that the task can be well approached in the arrow-diagram logic framework where specifications are directed graphs carrying a structure of diagram predicates and operations.
abysmal
发表于 2025-3-31 03:29:00
http://reply.papertrans.cn/19/1829/182894/182894_55.png
theta-waves
发表于 2025-3-31 07:22:51
http://reply.papertrans.cn/19/1829/182894/182894_56.png
mercenary
发表于 2025-3-31 12:45:25
M. R. Davey,R. Marchant,J. B. Powere specification and design of object oriented systems. This standard is currently tuned for real time applications in the form of a newproposal, UML for Real-Time (UML-RT), by Rational Software Corporation and ObjecTime Limited. Because of the importance of UML-RT we are investigating its formal fou
背信
发表于 2025-3-31 14:53:35
https://doi.org/10.1007/978-1-349-08496-8ationally agreed standard for software interfaces to the General Ledger component of Financial Accounting business systems. This standard, called the General Ledger Facility, is currently in the latter stages of formal adoption by the Object Management Group (OMG) and will become part of its global
猜忌
发表于 2025-3-31 20:36:04
https://doi.org/10.1007/978-1-349-08496-8mponents is that components are usuallyprovided in binary code and users of components cannot debug them. So, components should be carefully implemented and the users need rigorous specifications of them. Specifications of components should provide information not only of their interface but also th
荣幸
发表于 2025-3-31 22:57:13
http://reply.papertrans.cn/19/1829/182894/182894_60.png