作者: 否決 時間: 2025-3-21 21:24 作者: Crepitus 時間: 2025-3-22 01:12 作者: 傳染 時間: 2025-3-22 04:45
Integrating Independently-Developed Components in Object-Oriented Languages today’s object-oriented programs. Why is this so? We argue that one reason is that current programming languages and environments assume that components are perfectly coordinated. Yet in a world where programs are mostly composed out of reusable components, these components are not likely to be com作者: 偽書 時間: 2025-3-22 09:21
Encapsulating Pluralitycess distributed replicated services without regard for the number of objects that provide the service. Gaggles are not themselves a replication mechanism; instead they enable programmers to construct their own replicated distributed services in whatever way is appropriate for the application at han作者: MIR 時間: 2025-3-22 14:24 作者: MIR 時間: 2025-3-22 18:06 作者: 發(fā)電機 時間: 2025-3-22 22:32
A New Definition of the Subtype Relationcapture the behavior that all of their subtypes have in common. For this methodology to be effective, it is necessary to have a clear understanding of how subtypes and supertypes are related. This paper presents a new definition of the subtype relation that ensures that any property proved about sup作者: Modify 時間: 2025-3-23 03:57
Attaching Second-Order Types to Methods in an Object-Oriented Languagehat we can attach directly to types, as opposed to classes and that we can describe with a second-order type. Two benefits result from this extension; first, the expressive power of the language is improved with better modeling abilities. Next, second-order types yield a more powerful (precise) type作者: fetter 時間: 2025-3-23 05:41
Typed Sets as a Basis for Object-Oriented Database Schemasbutes and methods in the presence of subtyping. The general (typed) set constructs of FM allow one to deal with (database) constraints in TM..The paper describes the theory of FM, and discusses the role that set expressions may play in conceptual database schemas. Special attention is paid to the tr作者: 草率男 時間: 2025-3-23 11:03
The OSI Managed-object Modelprotocol standards for network management, was to ensure that such protocols should, on the one hand, be standardised but, on the other, be capable of managing a myriad of resource types. ISO met the challenge by developing a single internationally-standardised carriage protocol (CMIP), and tools to作者: 姑姑在炫耀 時間: 2025-3-23 15:22
Nested Mixin-Methods in Agora upon an incremental modification model of inheritance. This paper addresses the question of how mixins can be seen as named attributes of classes the same way that objects, methods, and also classes in their own right, are seen as named attributes of classes. The general idea is to let a class itse作者: Adj異類的 時間: 2025-3-23 21:09
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programminged language. The problem is closely connected with the need to impose . on the acceptance of a message by an object. In most concurrent object-oriented languages this synchronization is achieved by . controlling the acceptance of messages by objects. Synchronization code is often hard to inherit and作者: 保守 時間: 2025-3-23 23:05
Type Inference of ,e sends, and provide useful information for browsers and optimizing compilers.. features objects with dynamic inheritance. This construct has until now been considered incompatible with type inference because it allows the inheritance graph to change dynamically. Our algorithm handles this by derivi作者: 四溢 時間: 2025-3-24 03:55 作者: persistence 時間: 2025-3-24 07:30 作者: Epidural-Space 時間: 2025-3-24 14:33
A Timed Calculus for Distributed Objects with Clocksotion of local time. It allows to describe and analyze both locally temporal and behavioral properties of distributed objects and interactions among them. We introduce timed bisimulations with respect to local time. These bisimulations equate distributed objects if and only if their behaviors are co作者: HACK 時間: 2025-3-24 16:05 作者: 閑逛 時間: 2025-3-24 22:01 作者: obstruct 時間: 2025-3-24 23:30
0302-9743 lly all the other areas and affect virtually all aspects of the software life cycle. (So, in retrospect, emphasizing just Programming in the name of the conference was perhaps somewhat short-si978-3-540-57120-9978-3-540-47910-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: packet 時間: 2025-3-25 07:07 作者: magenta 時間: 2025-3-25 10:29
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programmingis achieved by using order-sorted rewriting logic, an abstract model of concurrent computation that is machine-independent and extremely fine grain, and that can be used directly to program concurrent object-oriented systems. Our proposed solution involves a distinction between two different notions作者: 使高興 時間: 2025-3-25 14:21 作者: NEG 時間: 2025-3-25 17:06 作者: Bmd955 時間: 2025-3-25 23:49
Conference proceedings 1993aries like p- haps no other field of computer science, as object-oriented concepts can be applied to virtually all the other areas and affect virtually all aspects of the software life cycle. (So, in retrospect, emphasizing just Programming in the name of the conference was perhaps somewhat short-si作者: 聯(lián)想記憶 時間: 2025-3-26 02:34 作者: instulate 時間: 2025-3-26 06:34
Zusammenfassung des Kolloquiumspment. The approach focuses on frameworks and reusable building blocks. This paper presents a domain specific framework for a calculation engine to be used in financial trading software. It is as such an example of using frameworks outside their typical domain of graphical user interfaces.作者: ARM 時間: 2025-3-26 11:13 作者: configuration 時間: 2025-3-26 16:23 作者: Adjourn 時間: 2025-3-26 17:38 作者: consolidate 時間: 2025-3-26 22:52 作者: reflection 時間: 2025-3-27 02:42 作者: 山間窄路 時間: 2025-3-27 08:13 作者: 藝術(shù) 時間: 2025-3-27 12:42
978-3-540-57120-9Springer-Verlag Berlin Heidelberg 1993作者: 暴露他抗議 時間: 2025-3-27 16:40 作者: 裁決 時間: 2025-3-27 18:44 作者: 光明正大 時間: 2025-3-27 22:56 作者: 烤架 時間: 2025-3-28 02:45
Schlussfolgerungen und Ausblicke, today’s object-oriented programs. Why is this so? We argue that one reason is that current programming languages and environments assume that components are perfectly coordinated. Yet in a world where programs are mostly composed out of reusable components, these components are not likely to be com作者: 會犯錯誤 時間: 2025-3-28 06:35
Johann Fieger,Kilian Tobias Fiegercess distributed replicated services without regard for the number of objects that provide the service. Gaggles are not themselves a replication mechanism; instead they enable programmers to construct their own replicated distributed services in whatever way is appropriate for the application at han作者: 割讓 時間: 2025-3-28 12:58
,VIII. Führung im interkulturellen Kontext,es an interoperability support frame by considering the object as the basic interoperation unit. This way interoperation is based on higher level abstractions and it is independent of the specific interface through which a service is used. A prototype implementation demonstrates both the feasibility作者: 因無茶而冷淡 時間: 2025-3-28 14:52
Fallstudien ?Führung und Verantwortung“o move objects between the nodes of a distributed system. A few primitives permit the programmer to take full advantage of distribution and to tune performance; most notably by restricting the mobility of objects and specifying which objects should move together. This paper describes the implementat作者: 臭了生氣 時間: 2025-3-28 21:01
Rafaela Kraus,Tanja Kreitenweiscapture the behavior that all of their subtypes have in common. For this methodology to be effective, it is necessary to have a clear understanding of how subtypes and supertypes are related. This paper presents a new definition of the subtype relation that ensures that any property proved about sup作者: 巨頭 時間: 2025-3-29 00:37 作者: Ingratiate 時間: 2025-3-29 05:55 作者: 反對 時間: 2025-3-29 08:15 作者: GROSS 時間: 2025-3-29 11:37 作者: B-cell 時間: 2025-3-29 16:26 作者: 黑豹 時間: 2025-3-29 20:19
Forschungsfragen, Hypothesen und Modell,e sends, and provide useful information for browsers and optimizing compilers.. features objects with dynamic inheritance. This construct has until now been considered incompatible with type inference because it allows the inheritance graph to change dynamically. Our algorithm handles this by derivi作者: 清唱劇 時間: 2025-3-30 03:17
Atilla Vuran,Thea Koch,Stefan Jockenh?velclass has a set of superclasses, methods, and instance variables. However, unlike a normal class, an object is automatically an instance of a predicate class whenever it satisfies a predicate expression associated with the predicate class. The predicate expression can test the value or state of the 作者: 委屈 時間: 2025-3-30 07:39
,Die Zukunft der Führung in Projekten,a model. Our algebra is a superset of the relational algebra in that it provides support for manipulating temporal objects, temporal types, type hierarchies and class lattices, multiple time-lines, and correction sequences in addition to supporting the five relational algebra operators. Graphs are u作者: 思鄉(xiāng)病 時間: 2025-3-30 11:22
,Führung im Kundenbeziehungsmanagement,otion of local time. It allows to describe and analyze both locally temporal and behavioral properties of distributed objects and interactions among them. We introduce timed bisimulations with respect to local time. These bisimulations equate distributed objects if and only if their behaviors are co作者: antidote 時間: 2025-3-30 13:01 作者: 東西 時間: 2025-3-30 19:32
ractions such as very efficient user-level threads, a uniform global address space, object and thread mobility, garbage collection, and persistent objects. The paper discusses the design rationales underlying the . system. The fundamental features of . are surveyed, and their implementation in the c作者: semiskilled 時間: 2025-3-30 22:30
Atilla Vuran,Thea Koch,Stefan Jockenh?vel or state. If an object is modified, the property-based classification of an object can change over time, implementing shifts in major behavior modes of the object. A version of predicate classes has been designed and implemented in the context of the Cecil language.作者: 沉著 時間: 2025-3-31 02:44 作者: Neutropenia 時間: 2025-3-31 05:35
Conference proceedings 1993, but, by all accounts, it would appear as if object-oriented technology has only been “discovered” in the past ten years! When the first European Conference on Object-Oriented Programming was held in Paris in 1987, I think it was generally assumed that Object-Oriented Progr- ming, like Structured P作者: fodlder 時間: 2025-3-31 12:50 作者: senile-dementia 時間: 2025-3-31 17:03
Active Programming Strategies in Reusee from example usage contexts and relying heavily on the system debugger to guide them in applying the borrowed context. We discuss the implications of these findings for reuse documentation, programming instruction and tools to support reuse.作者: 確定 時間: 2025-3-31 18:35
A Timed Calculus for Distributed Objects with Clocksmpletely matched and their timings are within a given bound. The bisimulations provide a method to verify distributed objects with temporal uncertainties and real-time objects with non-strict time constraints.作者: Apogee 時間: 2025-4-1 01:25 作者: 彎曲道理 時間: 2025-4-1 02:34
,VIII. Führung im interkulturellen Kontext,ractions and it is independent of the specific interface through which a service is used. A prototype implementation demonstrates both the feasibility of the ideas and the related implementation issues.作者: 不妥協(xié) 時間: 2025-4-1 08:19 作者: Agility 時間: 2025-4-1 11:51
Rafaela Kraus,Tanja Kreitenweis how subtypes and supertypes are related. This paper presents a new definition of the subtype relation that ensures that any property proved about supertype objects also holds for subtype objects. It also discusses the ramifications of the definition on the design of type families.作者: Feedback 時間: 2025-4-1 16:06
,Koh?renz?– Macht und Ver?nderung verstehen,r describes the theory of FM, and discusses the role that set expressions may play in conceptual database schemas. Special attention is paid to the treatment of constraints, and a three-step specification approach is proposed. This approach results in the formal notion of database universe stated as an FM expression.
