Titlebook: ECOOP ‘91 European Conference on Object-Oriented Programming; Geneva, Switzerland, Pierre America Conference proceedings 1991 Springer-Verl

憑票入場

書目名稱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

COWER

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

血友病

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

動物

附錄

附錄

聰明

gerrymander

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