Titlebook: Object-Oriented Technology; Suad Alagi? Textbook 2015 Springer International Publishing Switzerland 2015 Assertions.concurrent models.obje

ACID

書目名稱Object-Oriented Technology影響因子(影響力)




書目名稱Object-Oriented Technology影響因子(影響力)學(xué)科排名




書目名稱Object-Oriented Technology網(wǎng)絡(luò)公開度




書目名稱Object-Oriented Technology網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Object-Oriented Technology被引頻次




書目名稱Object-Oriented Technology被引頻次學(xué)科排名




書目名稱Object-Oriented Technology年度引用




書目名稱Object-Oriented Technology年度引用學(xué)科排名




書目名稱Object-Oriented Technology讀者反饋




書目名稱Object-Oriented Technology讀者反饋學(xué)科排名

Isometric

Virtual Platform, show how methods are invoked using reflection. Creating class objects using an extensible class loader is the topic of Sect.?3.1.8. Finally, in Sect.?3.1.9 we give a general specification of the structure of the Java class files.

Intellectual

Type Systems,s, inheritance, subtyping, and messages. These static typing rules are in Sect.?4.1.3 followed by dynamic type checking rules that mainstream object-oriented languages have. Formal rules for parametric types are given in Sect.?4.1.4.

Haphazard

自作多情

臭了生氣

Textbook 2015tion and verification. Object-oriented constraints apply to specification and verification of object-oriented programs, specification of the object-oriented platform, more advanced concurrent models, database integrity constraints and object-oriented transactions, their specification and verification. .

DNR215

Typed Objects,arametric collection types, different types of parametric polymorphism and their advantages are discussed in Sect.?1.2.2. A fully implemented parametric collection class is given in Sect.?1.2.3. Abstract parametric classes are discussed in Sect.?1.2.4. The impact of parametric types on subtyping is discussed in Sect.?1.2.5.

dagger

Textbook 2015and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter..The approach in this book is based on typed technologies, and the

撤退

y languages and transactions.Reinforces core principles with.The core idea of this book is that object– oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-orie

HEPA-filter

Suad Alagi?Covers specialized topics including assertions, specification and verification, virtual platform, persistent objects, object databases, query languages and transactions.Reinforces core principles with