國立虎尾科技大學 |

Object-oriented technology

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Object-oriented technology/ by Suad Alagic.
作者:	Alagic, Suad.
出版者:	Cham :Springer International Publishing : : 2015.,
面頁冊數:	xiv, 209 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Object-oriented methods (Computer science) -
電子資源:	http://dx.doi.org/10.1007/978-3-319-20442-0
ISBN:	9783319204420

Object-oriented technology
Alagic, Suad.

Object-oriented technology[electronic resource] /by Suad Alagic. - Cham :Springer International Publishing :2015. - xiv, 209 p. :ill., digital ;24 cm.

Typed Objects -- Assertions -- Virtual Platform -- Type Systems -- Concurrent Models -- Object Databases -- Types and Constraints.

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-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 core notions fit mainstream object-oriented languages such as Java and C#. The book promotes object-oriented constraints (assertions), their specification 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.

ISBN: 9783319204420

Standard No.: 10.1007/978-3-319-20442-0doiSubjects--Topical Terms:

559268
Object-oriented methods (Computer science)

LC Class. No.: QA76.9.O35

Dewey Class. No.: 005.117

Object-oriented technology
LDR:01995nam a2200337 a 4500 001 837110
003 DE-He213
005 20160324092110.0
006 m d
007 cr nn 008maaau
008 160421s2015 gw s 0 eng d
020 $a 9783319204420 $q (electronic bk.)
020 $a 9783319204413 $q (paper)
024 7 $a 10.1007/978-3-319-20442-0 $2 doi
035 $a 978-3-319-20442-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.O35
072 7 $a UMX $2 bicssc
072 7 $a UMC $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a COM010000 $2 bisacsh
082 0 4 $a 005.117 $2 23
090 $a QA76.9.O35 $b A316 2015
100 1 $a Alagic, Suad. $3 1067740
245 1 0 $a Object-oriented technology $h [electronic resource] / $c by Suad Alagic.
260 $a Cham : $c 2015. $b Springer International Publishing : $b Imprint: Springer,
300 $a xiv, 209 p. : $b ill., digital ; $c 24 cm.
505 0 $a Typed Objects -- Assertions -- Virtual Platform -- Type Systems -- Concurrent Models -- Object Databases -- Types and Constraints.
520 $a 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-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 core notions fit mainstream object-oriented languages such as Java and C#. The book promotes object-oriented constraints (assertions), their specification 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.
650 0 $a Object-oriented methods (Computer science) $3 559268
650 0 $a Object-oriented programming (Computer science) $v Congresses. $3 527913
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Programming Techniques. $3 669781
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-20442-0
950 $a Computer Science (Springer-11645)