求助大家啊 急需这些翻译啊!能翻译多少翻译多少吧···谢谢大家了!

求助大家啊 急需这些翻译啊!能翻译多少翻译多少吧···谢谢大家了!
A type may be defined as an extension of another type.In this case,the behav-
ior specifications and type model of the super-type are inherited by it—there
is no need for any explicit retrieval.The subtype may extend the behavior by
defining new operations,or by providing additional specifications of inherited
operations—the specifications simply conjoin with the inherited specs.i.e.
there is no overriding of behavior specifications(in contrast to the traditional
overriding of method implementations for a subclass).
Class.A description of the internal design of an object:in program code,the
instance-variables and function bodies.In programming,an object is created as
an instance of a particular class.Some languages(like‘self’)do without
classes;but their designers still need types.
In a programming language,we may think of a class as implementing some
consciously designed types(which interact with client objects),and addition-
ally implementing a low-level type which represents its interface to the virtual-
machine which is the target of the language compiler.
Since the type(s)that a class implements had a behavior specification,the class
needs to meet that specification.The type utilized a type-model to provide the
vocabulary to define the actions.The class chooses certain instance variables
for its implementation.A retrieval is a mapping from the concrete to the
abstract.It establishes traceability and the correctness of the implementation
e.g.a design review would check the retrievals.
The figure below shows a type called SelectionList,which might be used in the
implementation of user selections for our CashRegister.It allows items to be
added,deleted,selected,and de-selected.The type model for specifying these
operations includes a concept of count,which item is at which position,and
which items are selected.There is also a convenience effect called movedUp,
which could be defined completely in terms of the other queries.
We also have a class named ListBoxA,and the retrieval to the type.As you can
see,the retrieval is a property of the implements relation between class and
type.In general,it is a property of any refines relationship,establishing the
mapping between two type-models(the queries and their corresponding types)
and the corresponding sets of actions.
那种直接翻译器我也知道啊 但是根本语句不通啊····能帮忙调整下逻辑吗

可被定义为一种类型的延伸,另一种类型 在这种情况下,behav -
或规格和类型模型是super-type就是继承
不需要任何明确的检索 亚型行为可以延长
定义新的经营,或者提供其他规格的遗传
conjoin operations-the规格与继承了specs.i.e简单.
没有突出的行为规范(与此相对照的传统
最主要的方法实现为子类).
班.内部设计的描述对象:在程序代码
instance-variables和功能的身体.在程序设计中,一个对象被创建
特定类的一个实例 一些语言(如'self”)没有
类;但是他们的设计师还需要类型.
在编程语言中,我们可以把类的实现一些
有意识地设计类型(相互影响、相互作用与客户对象)及附加-
盟友实施低类型代表了其接口虚拟-
目标机的语言的编译器.
自从类别,一个类实现有行为规范、班
要满足规格 使用type-model类型提供
词汇来定义的行为 类选择一定的实例变量
实施.检索是一个映射由具体到
抽象的.可追溯性,它将建立的正确性的实施
e.g.a设计评论将检查用于的.
下面的图表显示一种称为SelectionList,这可能是用于
我们选择的实施CashRegister用户 它允许的项目
添加,删除,选用不选择的.为了确定式模型的这些
操作数的概念,包括的东西,是在哪个位置
哪些项目都被选中了.也有影响,movedUp方便称为
完全可以被定义的其他条款的疑问.
我们也有一个类,名叫ListBoxA检索类 你可以
看哪、检索工具的性质,阶级和关系
类型.总体来说,这是一种财产的任何地改良的关系,建立了
两个之间的映射type-models(查询和他们相应的类型)
和相应的套动作.