標題: Titlebook: ECOOP ‘91 European Conference on Object-Oriented Programming; Geneva, Switzerland, Pierre America Conference proceedings 1991 Springer-Verl [打印本頁] 作者: 憑票入場 時間: 2025-3-21 19:09
書目名稱ECOOP ‘91 European Conference on Object-Oriented Programming影響因子(影響力)
書目名稱ECOOP ‘91 European Conference on Object-Oriented Programming影響因子(影響力)學科排名
書目名稱ECOOP ‘91 European Conference on Object-Oriented Programming網(wǎng)絡公開度
書目名稱ECOOP ‘91 European Conference on Object-Oriented Programming網(wǎng)絡公開度學科排名
書目名稱ECOOP ‘91 European Conference on Object-Oriented Programming被引頻次
書目名稱ECOOP ‘91 European Conference on Object-Oriented Programming被引頻次學科排名
書目名稱ECOOP ‘91 European Conference on Object-Oriented Programming年度引用
書目名稱ECOOP ‘91 European Conference on Object-Oriented Programming年度引用學科排名
書目名稱ECOOP ‘91 European Conference on Object-Oriented Programming讀者反饋
書目名稱ECOOP ‘91 European Conference on Object-Oriented Programming讀者反饋學科排名
作者: Lumbar-Stenosis 時間: 2025-3-21 23:20 作者: COWER 時間: 2025-3-22 00:44
An object-oriented logic language for modular system specification, suited to the specification of embedded and real-time systems, and provides an effective support to a variety of validation activities, like specification testing, simulation, and property proof. Unfortunately, TRIO lacks the possibility to construct specifications of complex systems in a systemati作者: 血友病 時間: 2025-3-22 08:26
Capsules and types in Fresco,les’ are deltas to the inheritance hierarchy, and form a more useful unit of designer-effort than class subhierarchies. Systems are built by composing capsules, which carry both specifications and code. The semantics of capsule composition is elucidated by examining the relationship between ‘type’ a作者: 動物 時間: 2025-3-22 09:33 作者: 附錄 時間: 2025-3-22 15:16 作者: 附錄 時間: 2025-3-22 18:34 作者: 聰明 時間: 2025-3-23 01:08 作者: gerrymander 時間: 2025-3-23 01:55
Inheritance in object oriented Z,nderstood. Recent research has demonstrated that by extending the notation to include the idea of a . grouping together a state schema and the operation schemas referring to it, an object oriented specification style can be supported..This paper introduces the concept of inheritance into object orie作者: JAMB 時間: 2025-3-23 07:02 作者: 不真 時間: 2025-3-23 09:42 作者: MERIT 時間: 2025-3-23 15:37 作者: 換話題 時間: 2025-3-23 18:38 作者: 澄清 時間: 2025-3-24 00:26 作者: 哀悼 時間: 2025-3-24 04:53
Exceptions in Guide, an object-oriented language for distributed applications,he usual exception techniques to the object formalism, and we propose conformance rules and an original association scheme. A specific tool to maintain the consistency of objects in the face of exceptions is provided. System and hardware exceptions are integrated to the mechanism, and parallelism is作者: Culpable 時間: 2025-3-24 07:54 作者: GET 時間: 2025-3-24 11:33 作者: 教育學 時間: 2025-3-24 18:45 作者: 舔食 時間: 2025-3-24 20:32 作者: opportune 時間: 2025-3-25 02:44 作者: ATOPY 時間: 2025-3-25 03:46 作者: defibrillator 時間: 2025-3-25 08:40 作者: floodgate 時間: 2025-3-25 13:23 作者: neutralize 時間: 2025-3-25 16:07
ECOOP ‘91 European Conference on Object-Oriented ProgrammingGeneva, Switzerland,作者: 休戰(zhàn) 時間: 2025-3-25 23:41 作者: 名次后綴 時間: 2025-3-26 04:13 作者: Parabola 時間: 2025-3-26 06:59
978-3-540-54262-9Springer-Verlag Berlin Heidelberg 1991作者: Stress 時間: 2025-3-26 11:54 作者: Estimable 時間: 2025-3-26 15:22
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/300306.jpg作者: 博愛家 時間: 2025-3-26 16:57 作者: Bureaucracy 時間: 2025-3-26 21:33
Christian St?we,Lara Keromosemito per call site. For a set of typical object-oriented SELF programs, PICs achieve a median speedup of 11%..As an important side effect, PICs collect type information by recording all of the receiver types actually used at a given call site. The compiler can exploit this type information to generate b作者: SLUMP 時間: 2025-3-27 01:36 作者: cinder 時間: 2025-3-27 07:00
Dieter Buchner,Josef A. Schmelzerles’ are deltas to the inheritance hierarchy, and form a more useful unit of designer-effort than class subhierarchies. Systems are built by composing capsules, which carry both specifications and code. The semantics of capsule composition is elucidated by examining the relationship between ‘type’ a作者: predict 時間: 2025-3-27 12:10 作者: Irksome 時間: 2025-3-27 15:52 作者: 十字架 時間: 2025-3-27 21:02
?Metzger-Qualit?t“ bei Kreditinstituten!tion primitive of the formal system is purely based on asynchronous communication, which makes it unique among various concurrency formalisms. Computationally this results in a consistent reduction of Milner‘s calculus, while retaining the same expressive power. Seen semantically asynchronous commun作者: pulmonary-edema 時間: 2025-3-27 23:23
quirements. If the constraint is part of a class definition, the class population grows with the product of the number of behaviours. As pointed out in [Goldsack and Atkinson 1990] this undesirable growth may be controlled by separating the specification of the functional characteristics and the beh作者: Original 時間: 2025-3-28 03:22
nderstood. Recent research has demonstrated that by extending the notation to include the idea of a . grouping together a state schema and the operation schemas referring to it, an object oriented specification style can be supported..This paper introduces the concept of inheritance into object orie作者: Inclement 時間: 2025-3-28 06:27
Die Kraft der Ordnung im Vertrieb,of Z. OOZE supports requirements, specifications, interpretable programs, and compilable programs. The OOZE system is based on OBJ3, and provides rapid prototyping and theorem proving facilities over a module database. OOZE modules can be generic, can be organized hierarchically, and can be used for作者: 擦試不掉 時間: 2025-3-28 12:03 作者: Nostalgia 時間: 2025-3-28 15:29
,Die Identit?tsarbeit der Führungskraft,nism for maintaining integrity in an object-oriented database, implemented for the O. system, and which uses the production rule approach to constraint maintenance. Object integrity is ensured by objects themselves — the . which are activated when selected events take place. The approach presented i作者: 綠州 時間: 2025-3-28 20:39
,IT — eine Industrie hat sich normalisiert, This is more beneficial in concurrent/distributed computing, where the complexity of the system is much greater compared to sequential computing; we have demonstrated various benefits in our past research of . architectures. Unfortunately, attempts to formulate reflective features provided in pract作者: 難管 時間: 2025-3-29 00:57
Werden Sie ein Engineering-Unternehmen,ly broader view of reflection, which we call implementational reflection, can be applied to the design of other kinds of systems, accruing the same benefits that arise in the programming language case. The domain of window systems in general, and the Silica window system in particular are used to il作者: defray 時間: 2025-3-29 05:36 作者: FLINT 時間: 2025-3-29 07:53 作者: 使熄滅 時間: 2025-3-29 11:53 作者: Memorial 時間: 2025-3-29 18:21 作者: reception 時間: 2025-3-29 21:38 作者: wangle 時間: 2025-3-30 02:23 作者: EVICT 時間: 2025-3-30 07:44
0302-9743 ECOOP conferences have been very successful as a forum of high scientific quality where the newest devel- opments connected to object-oriented programming and related areas could be presented and discussed. Over the last few years object-oriented technology has gained widespread use and considerabl作者: Proclaim 時間: 2025-3-30 08:55 作者: Multiple 時間: 2025-3-30 14:57
Ursprung und Werden einer Erfolgsgeschichte,evels. Furthermore, it describes how the environment efficiently detects such inconsistencies using a database representing the schema definition. Moreover for correct modifications, it presents how this database is used to update the schema, to trigger method recompilations and to restructure objects using a semi-lazy evolution policy.作者: delegate 時間: 2025-3-30 16:45 作者: 相容 時間: 2025-3-30 21:45 作者: 舊石器 時間: 2025-3-31 04:19 作者: 2否定 時間: 2025-3-31 08:48 作者: bibliophile 時間: 2025-3-31 10:50 作者: Blazon 時間: 2025-3-31 13:32
,Das ?rgernis: ?Es“ führt mich,icity, with an expressive and intuitive graphic notation, yielding a specification language that is formal and rigorous, and still flexible, readable, general, and easily adaptable to the user‘s needs.作者: 致命 時間: 2025-3-31 17:33 作者: 翻動 時間: 2025-3-31 22:13 作者: SUGAR 時間: 2025-4-1 03:42
Modeling the C++ object model,lternatives are discussed and evaluated, which reveal anomalies in the C++ language. We conclude by characterizing those aspects of the C++ object model that distinguish C++ from other object systems.作者: 拱形面包 時間: 2025-4-1 09:40
An object-oriented logic language for modular system specification,icity, with an expressive and intuitive graphic notation, yielding a specification language that is formal and rigorous, and still flexible, readable, general, and easily adaptable to the user‘s needs.作者: Meditative 時間: 2025-4-1 13:08 作者: 含沙射影 時間: 2025-4-1 15:12
Inheritance in object oriented Z,it characterises . as a technique for the hierarchical classification of objects. Thus derivation in Z is a basis for reusing existing specification modules. Subtyping inheritance is the basis for considering the substitutability of one class for another.作者: 淡紫色花 時間: 2025-4-1 20:23
