標題: Titlebook: ECOOP ‘92. European Conference on Object-Oriented Programming; Utrecht, The Netherl Ole Lehrmann Madsen Conference proceedings 1992 Springe [打印本頁] 作者: radionuclides 時間: 2025-3-21 17:04
書目名稱ECOOP ‘92. European Conference on Object-Oriented Programming影響因子(影響力)
書目名稱ECOOP ‘92. European Conference on Object-Oriented Programming影響因子(影響力)學科排名
書目名稱ECOOP ‘92. European Conference on Object-Oriented Programming網(wǎng)絡公開度
書目名稱ECOOP ‘92. European Conference on Object-Oriented Programming網(wǎng)絡公開度學科排名
書目名稱ECOOP ‘92. European Conference on Object-Oriented Programming被引頻次
書目名稱ECOOP ‘92. European Conference on Object-Oriented Programming被引頻次學科排名
書目名稱ECOOP ‘92. European Conference on Object-Oriented Programming年度引用
書目名稱ECOOP ‘92. European Conference on Object-Oriented Programming年度引用學科排名
書目名稱ECOOP ‘92. European Conference on Object-Oriented Programming讀者反饋
書目名稱ECOOP ‘92. European Conference on Object-Oriented Programming讀者反饋學科排名
作者: dissolution 時間: 2025-3-21 23:26
Conference proceedings 199229 - July 3, 1992.Since the "French initiative" to organize thefirstconference in Paris, ECOOP has been a very successful forumfor discussing the state of the art of object orientation.ECOOP has been ableto attract papers of a high scientificquality as well as high qualityexperience papers describin作者: 裁決 時間: 2025-3-22 01:57
Aggregation in a behavior oriented object model,efined for each dynamic complex object. Additionally, we describe the specification of disjoint complex as a means for structuring a specification. We introduce language features to describe object aggregation and give some hints towards their semantics.作者: Nostalgia 時間: 2025-3-22 08:37
An incremental class reorganization approach,ples, describe formally the algorithm and the object model it is based on, and discuss its suitability for object-oriented software engineering. The results of applying the algorithm to the Eiffel library are examined.作者: Chivalrous 時間: 2025-3-22 12:25
System design by composing structures of interacting objects,g objects; each object being represented by a role to be ‘played’ in the context of this role model. Each role model is considered a design of a separate aspect of some overall design. Composition of designs is achieved by synthesizing roles in several role models, constructing more aggregated and specialized roles and role models.作者: anthropologist 時間: 2025-3-22 13:50 作者: anthropologist 時間: 2025-3-22 19:48 作者: 粗糙濫制 時間: 2025-3-23 00:57 作者: DIKE 時間: 2025-3-23 04:07 作者: ingrate 時間: 2025-3-23 08:10 作者: 付出 時間: 2025-3-23 09:53 作者: Classify 時間: 2025-3-23 17:37
,Was führt zu Krisen in Unternehmen?,ted language, whereby several advantages are gained in comparison with other types of implementation languages. Aquaintance with the BETA programming language is assumed although the most vital constructs for use in this paper are explained.作者: Cantankerous 時間: 2025-3-23 21:51
Import is not inheritance why we need both: Modules and classes,at they can easily be unified with classes. Among other things, unifying modules and classes carries the danger of unifying the import and inheritance relationships. Constructs in several languages are discussed that indicate that modules and classes should indeed be kept separate.作者: myocardium 時間: 2025-3-23 22:26 作者: Initial 時間: 2025-3-24 04:44 作者: Bombast 時間: 2025-3-24 08:30 作者: Interdict 時間: 2025-3-24 13:57
ples, describe formally the algorithm and the object model it is based on, and discuss its suitability for object-oriented software engineering. The results of applying the algorithm to the Eiffel library are examined.作者: 造反,叛亂 時間: 2025-3-24 16:46 作者: 厭食癥 時間: 2025-3-24 21:41
Paul Braune,Christiane Alberternstrammer full control on the granularity of atomicity and provides a fairly natural model for grouping objects inside actions to ensure the system‘s global consistency. By using ACS, objects may be seen as reliable elements that can be composed to build up reliable distributed applications.作者: 宣稱 時間: 2025-3-24 23:32
Auch ein Chef ist nur ein Mensch,sively parallel systems. Then we present EPEE (an Eiffel Parallel Execution Environment) at work with a well known parallel paradigm (matrix computations), along with experimental performance results. We draw some conclusions on the generality of this approach.作者: hallow 時間: 2025-3-25 07:25
,Führen in der Arbeitswelt 4.0,uss implementation details of individual library classes. To demonstrate the applicability of the class library, it was used to port two existing parallel applications to an object-oriented platform. Different software metrics regarding the porting projects are used for evaluating library usability.作者: 壁畫 時間: 2025-3-25 10:08
Beispiele erfolgreicher Zielgespr?cheigned, each allowing a different variety of inheritance modes. The two-dimensional (dynamic) case has been treated in a logic 2MU and its corresponding variants. Under certain OO-motivated definitions of Horn clause, the resolution calculi of these logics turn out to be complete.作者: 厚顏無恥 時間: 2025-3-25 14:07 作者: 火花 時間: 2025-3-25 18:45
Ellen Schmid,Kristin Knipfer,Claudia Peusts captured by our notation. Synchronization constraints are described as restrictions that apply to invocation of methods. Application of restrictions is ., which allows the same restriction to apply to multiple methods and multiple restrictions to apply to the same method.作者: 生來 時間: 2025-3-25 20:34
Führungskonzepte für die Digitalisierung specify algorithms which number connected regions of graphs and which check graphs for cycles. Changes to the Contract language are introduced and we discuss some new problems resulting from the simultaneous reuse of related contracts.作者: Left-Atrium 時間: 2025-3-26 01:33 作者: 猛擊 時間: 2025-3-26 05:07
Postagiler Denk- und Handlungsraum,ation. Experiments indicate that the implementation type checks as much as 100 lines pr. second. This results in a mature product, on which a number of tools can be based, for example a safety tool, an image compression tool, a code optimization tool, and an annotation tool. This may make type inference for object-oriented languages practical.作者: VALID 時間: 2025-3-26 09:49 作者: 故意釣到白楊 時間: 2025-3-26 15:44
Unifying the design and implementation of user interfaces through the object paradigm,achieved through an extended object-oriented software architecture model. Effective UI development is supported by an object factory that produces the object code needed to implement the specified user interface.作者: Chromatic 時間: 2025-3-26 17:35 作者: COLIC 時間: 2025-3-26 23:02 作者: habile 時間: 2025-3-27 04:40
ACTS: A type system for object-oriented programming based on abstract and concrete classes,e hierarchy can be exploited to describe all common uses of inheritance in a natural way. Finally, we develop the formalism to define abstract and concrete classes and their relationships; and the type system along with the static type checker and the semantic model to interpret type safety.作者: 過分自信 時間: 2025-3-27 06:10
Making type inference practical,ation. Experiments indicate that the implementation type checks as much as 100 lines pr. second. This results in a mature product, on which a number of tools can be based, for example a safety tool, an image compression tool, a code optimization tool, and an annotation tool. This may make type inference for object-oriented languages practical.作者: 袋鼠 時間: 2025-3-27 11:12 作者: osculate 時間: 2025-3-27 16:13
0302-9743 by the programme committee from 124submissions. Each submitted paper was reviewed by 3-4people, and the selection of papers was based only on thequality of the papers themselves.978-3-540-55668-8978-3-540-47268-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: In-Situ 時間: 2025-3-27 20:37 作者: frozen-shoulder 時間: 2025-3-28 00:46 作者: 低能兒 時間: 2025-3-28 03:10
Interview mit Dagmar Fritz-Kramerfeatures, such as: · object persistence, multi-methods along a specific specialization hierarchy (which is independent of the class hierarchy), · sophisticated semantic relationships, e.g., dependency relationships between objects (which are totally independent of the composition relationship), · mu作者: 可互換 時間: 2025-3-28 06:55
Demografie- und diversitygerechte Führunged object model, multi-methods, and constraint constructors to integrate cleanly the encapsulation and abstraction of a state-of-the-art object-oriented language with the declarative aspects of constraints.作者: Perceive 時間: 2025-3-28 12:41
On unifying relational and object-oriented database systems,mines motivations for unifying the relational and object-oriented data models in a single database system, and outlines design and implementation issues that must be addressed in building such a system.作者: Fillet,Filet 時間: 2025-3-28 16:08
Object-oriented multi-methods in Cecil, object can be encapsulated by being accessible only to the closely-connected multi-methods. We are exploring this object-oriented view of multi-methods in the context of a new programming language named Cecil.作者: 節(jié)省 時間: 2025-3-28 20:33 作者: Encapsulate 時間: 2025-3-29 02:31
Integrating constraints with an object-oriented language,ed object model, multi-methods, and constraint constructors to integrate cleanly the encapsulation and abstraction of a state-of-the-art object-oriented language with the declarative aspects of constraints.作者: Galactogogue 時間: 2025-3-29 03:35
On unifying relational and object-oriented database systems,d experiment with database systems that support an object-oriented data model or that extend the relational data model with some object-oriented facilities. These activities have been fueled by the emergence of a broad spectrum of database applications which relational database systems cannot suppor作者: 樂章 時間: 2025-3-29 09:28 作者: 詞根詞綴法 時間: 2025-3-29 12:48 作者: Aggrandize 時間: 2025-3-29 19:38
Aggregation in a behavior oriented object model,n two kinds of aggregation, static and dynamic aggregation. Static aggregation means that the composition of objects is described using predicates over constant properties. Dynamic aggregation means that we may alter the composition of objects by invoking special operations (.) that are implicitly d作者: 秘傳 時間: 2025-3-29 23:29
Reasoning and refinement in object-oriented specification languages,lopment styles for the facilitation of validation and verification of implementations against specifications in this language. We give inference rules for showing that certain forms of inheritance lead to refinement, and for showing that refinements are preserved by constructs such as . of an operat作者: frenzy 時間: 2025-3-30 00:09
Combining object-oriented and logic paradigms: A modal logic programming approach,efly studied and categorized, and a sketch of a new solution has been proposed which tries to capture the essence of OO in terms of modal logic, and which could be implemented as a modal logic programming system..The proposal is based on the belief that two orthogonal dimensions — object hierarchy a作者: 訓誡 時間: 2025-3-30 06:07 作者: Additive 時間: 2025-3-30 12:13 作者: 敵手 時間: 2025-3-30 16:01
Unifying the design and implementation of user interfaces through the object paradigm,(UI) design in SIROCO focuses on conceptual modeling; a fully object-oriented conceptual representation model and language is proposed, distinguishing the function dimension from the use dimension in an interactive system. Interaction style and presentation aspects are dealt with as generic paramete作者: 美學 時間: 2025-3-30 17:49
Nesting actions through asynchronous message passing : The ACS protocol,iable Object System) to deal with concurrency control and failure recovery in distributed applications. The basic idea in ACS is to associate each request message to an atomic action. ACS allows to build atomic action trees representing the logical nesting of services. Moreover, it gives to the prog作者: Handedness 時間: 2025-3-30 23:29 作者: flutter 時間: 2025-3-31 04:05 作者: troponins 時間: 2025-3-31 08:31
Using object-oriented programming techniques for implementing ISDN supplementary services,ayer 3 (I.451) entity. In particular, the implementation of ISDN supplementary services on top of the I.451 entity is considered using an object-oriented language, whereby several advantages are gained in comparison with other types of implementation languages. Aquaintance with the BETA programming 作者: antedate 時間: 2025-3-31 11:16
An object model for engineering design,ons that call for powerful modeling techniques. Existing approaches seem limited in their ability to support their demands. Relational database systems for example support only simple tables. The need to enhance their capabilities led to non-normalized relational data models. Object-oriented program作者: abreast 時間: 2025-3-31 15:16 作者: DAMP 時間: 2025-3-31 18:52 作者: DAFT 時間: 2025-3-31 22:38
Specifying reusable components using contracts,s further developments and application of the Contract construct. We show how Contracts can be used to represent classic algorithms as large grained reusable object oriented abstractions, how these algorithms can be customized through Contract . and how they are reused through Contract .. The exampl作者: 沒血色 時間: 2025-4-1 05:52
ACTS: A type system for object-oriented programming based on abstract and concrete classes,. The overloading of inheritance to describe different relationship requires a semantic model to facilitate “safe” redefinition between classes. Current approaches use type systems to ensure “safe” redefinitions, and are not capable of handling all the different uses of inheritance naturally. This p作者: plasma 時間: 2025-4-1 08:31
Making type inference practical,algorithm significantly improves our previous one, presented at OOPSLA‘91, since it can handle collection classes, such as List, in a useful way. Abo, the complexity has been dramatically improved, from exponential time to low polynomial time. The implementation uses the techniques of incremental gr作者: LURE 時間: 2025-4-1 10:37
,Sprachempfehlungen für Leader,d experiment with database systems that support an object-oriented data model or that extend the relational data model with some object-oriented facilities. These activities have been fueled by the emergence of a broad spectrum of database applications which relational database systems cannot suppor作者: exhilaration 時間: 2025-4-1 18:15
Spezielle Managementverfahren und Themen,. In this paper, the need for having modules besides classes is claimed. Modules stem from a different language family and at first glance it seems that they can easily be unified with classes. Among other things, unifying modules and classes carries the danger of unifying the import and inheritance作者: Offbeat 時間: 2025-4-1 21:48
,Führungsstile und Führungsverhalten, only the receiver. However, existing languages with multiple dispatching do not encourage the data-abstraction-oriented programming style that is encouraged by traditional single-dispatching languages; instead existing multiple-dispatching languages tend to foster a function-oriented programming st
