Product Description: Objective-C is today's fastest growing programming language, at least in part due to the popularity of Apple's Mac, iPhone and iPad. Beginning Objective-C is for you if you have some programming experience, but you're new to the Objective-C programming language and you want a modern―and fast―way forwards to your own coding projects...read more

Product Description: This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011? organised by COST Action IC0701...read more

Product Description: Diese beispielorientierte Einführung in das Erstellen modularer Software basiert auf der Programmiersprache Pascal. Von einfachen Programmstrukturen und Unterprogrammtechniken wird über Datenstrukturen und abstrakte Datentypen konsequent zu den Objektklassen hingeführt...read more

Product Description: Nowadays, newly developed software is often already obsolete by the time it is introduced. The object-oriented concept provides a solution to this "crisis," by allowing objects to be used in a wide range of programs. Object-oriented applications development with databases places special demands on the DBMS and the development environment...read more

Product Description: At present, object-oriented programming is emerging from the research labora­ tories and invading into the field of industrial applications. More and more products have been implemented with the aid of object-oriented programming techniques and tools, usually as extensions of traditional languages in hybrid development systems...read more

Product Description: Mit dem objektorientierten Paradigma wird in der Datenverarbeitung ein Denkansatz verfolgt, der die DV-Lösungen als Abbild der realen Welt implementiert, anstatt diese auf theoretischen und technischen Regelsätzen aufzubauen.Das Buch stellt die verschiedenen objektorientierten Techniken klar und praxisbezogen dar...read more

by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other hand, has often been considered too ad hoc to deserve much attention even though it has been, in some form, an ingredient of virtually every programming lan­ guage (much more so than parametric polymorphism). With the introduction of object-oriented languages, and in particular with multiple-dispatch object-oriented languages, overloading has become less of a programming convenience and more of a fundamental feature in need of proper explanation. This book provides a compelling framework for the study of run-time over­ loading and of its interactions with subtyping and with parametric polymorphism. The book also describes applications to object-oriented programming. This new framework is motivated by the relatively recent spread of programming languages that are entirely based on run-time overloading; this fact probably explains why this subject was not investigated earlier. Once properly understood, overloading reveals itself relevant also to the study of older and more conventional (single­ dispatch) object-oriented languages, clarifying delicate issues of covariance and contravariance of method types, and of run-time type analysis. In the final chapters, a synthesis is made between parametric and overloading polymorphism.

Product Description: Object-oriented database systems have been approached with mainly two major intentions in mind, namely to better support new application areas including CAD/CAM, office automation, knowledge engineering, and to overcome the `impendance mismatch' between data models and programming languages...read more

Product Description: The Cocoa Touch frameworks and APIs are powerful tools for creating native iOS apps, and they're free with Xcode, Apple's development environment. If you've already gotten your feet wet with Objective-C, and you're ready to learn more about iOS development, then Learn Cocoa Touch for iOS is the book for you...read more

Product Description: If you want to develop efficient, smooth-running applications, controlling concurrency and memory are vital. Automatic Reference Counting is Apple's game-changing memory management system, new to Xcode 4.2. Pro Multithreading and Memory Management for iOS and OS X shows you how ARC works and how best to incorporate it into your applications...read more