小说
发表于 2025-3-25 06:35:27
http://reply.papertrans.cn/88/8738/873782/873782_21.png
BRAWL
发表于 2025-3-25 10:37:42
http://reply.papertrans.cn/88/8738/873782/873782_22.png
Noctambulant
发表于 2025-3-25 15:20:35
Reasoning about a Modular Model-Oriented Formal Specification, modular structuring facilities in model-oriented specifications is discussed. It is argued that structuring mechanisms in specification languages should pay due regard to the theories associated with the units of structure in a modular specification. Taking part of a model-oriented (VDM) specificat
Obverse
发表于 2025-3-25 17:58:28
Object Models and Methodology for Object-Oriented Database Design,l terms with the description of the semantic and computer requirements of a problem. In this paper, we present a methodology for object-oriented database design that aims at reaching these objectives through stages of different abstraction levels (conceptual, logical, and implementation stages), the
量被毁坏
发表于 2025-3-25 23:03:12
A Formal Model for Databases with Applications to Schema Merging,x, higher order data structures and incorporates representations for specialisation relations and object identity. It is general enough to encode data structures arising from many other semantic data models in a natural way, though we do not attempt to model some of the more sophisticated constraint
Synapse
发表于 2025-3-26 00:32:09
Specifying a Database System to Itself,object bases, but object models and storage managers are evolving so rapidly that matching a monolithic query processor to each of them is infeasible. The EREQ project seeks to structure object query processors into well-defined software components that can be independently modified, extended and ex
流浪者
发表于 2025-3-26 05:34:54
VVSL Specification of a Transaction-oriented Access Handler,terfere through a partially shared state. This paper gives an short overview of these features. Thereafter, the VVSL specification of an access handler interface given in is outlined. The purpose is to clarify the extent to which the description of interfaces to software systems can be improved
合群
发表于 2025-3-26 09:08:50
http://reply.papertrans.cn/88/8738/873782/873782_28.png
Felicitous
发表于 2025-3-26 12:50:31
Specification of Database Applications in the TROLL Language,ecification are almost not present. Traditionally, the description of a database application consists of two parts, the database schema and a more or less formal description of the application functions. We present an object-oriented approach to integrate both aspects. A formal model is described th
巨头
发表于 2025-3-26 20:29:19
http://reply.papertrans.cn/88/8738/873782/873782_30.png