草率男
发表于 2025-3-26 21:52:39
http://reply.papertrans.cn/63/6223/622263/622263_31.png
Antimicrobial
发表于 2025-3-27 04:36:14
http://reply.papertrans.cn/63/6223/622263/622263_32.png
渐变
发表于 2025-3-27 05:27:55
Modelling information systems as object societies,for describing object systems. The presented language .2 supports structuring mechanisms of semantic data models together with process specification constructs to cover object dynamics. Extensions of the presented framework are discussed covering the step from communicating objects to cooperating agents allowing more flexible system structures.
BRIDE
发表于 2025-3-27 10:18:04
Tool integration in evolving information systems environments,ble tool concept, tool behavior is directly influenced by the process guidance model and automatically traced according to the traceability model. The approach is demonstrated with a prototype requirements engineering environment developed in ESPRIT project NATURE.
过分
发表于 2025-3-27 15:35:14
Complex structures in (deductive) database systems: Variables and open property sets,ch objects with more eccentric items like variables, active values, or open property sets. Taking the pragmatic view point of a database implementer, we will discuss the problems associated with supporting variables and open property sets.
Cuisine
发表于 2025-3-27 19:49:51
Object-oriented system specification using defaults,cification logic is based on temporal logic and allows to refer to the enabling and occurrence of actions. It is extended with prioritized defaults and module composition. By discussing a variety of examples, we study which default patterns should be used for typical problems of behavioural specification.
无底
发表于 2025-3-27 22:34:44
http://reply.papertrans.cn/63/6223/622263/622263_37.png
Measured
发表于 2025-3-28 02:18:23
http://reply.papertrans.cn/63/6223/622263/622263_38.png
Stress
发表于 2025-3-28 07:42:02
Conference proceedings 1994in this fruitful interdisciplinary research area important for further progress in both, information systems and artificial intelligence. Most of the papers stress the demands for new or extended formalisms and their deductive capabilities, including an analysis of their formal properties for managing complex structures.
white-matter
发表于 2025-3-28 13:51:58
http://reply.papertrans.cn/63/6223/622263/622263_40.png