Object-Based Models and Languages for Concurrent Systems, Paolo Ciancarini; Oscar Nierstrasz; Akinori Yoneza
Автор: Gul A. Agha; Fiorella De Cindio; Grzegorz Rozenber Название: Concurrent Object-Oriented Programming and Petri Nets ISBN: 354041942X ISBN-13(EAN): 9783540419426 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents results on Petri nets and concurrent object-oriented programming. The 24 thoroughly reviewed and revised papers are organized in three sections including a detailed approach to integrating Petri nets and object-orientation, and concrete examples to demonstrate the approach.
Описание: This book investigates how transactions can be integrated with concurrent object-oriented programming, and how transactions can be made available to an application programmer at the programming language level. The book gives a detailed overview of existing transaction models, and analyzes their suitability for concurrent programming languages. A new transaction model named "Open Multithreaded Transactions" is presented. It provides features for controlling and structuring not only access to objects, as usual in transaction systems, but also threads taking part in transactions. Integration with exception handling makes open multithreaded transactions ideal building blocks for fault-tolerant applications. The book also describes the design of an object-oriented framework providing the necessary run-time support for open multithreaded transactions. Procedural, object-oriented and aspect-oriented interfaces for the application programmer are presented. Programming examples include code in Ada, Java and AspectJ.
Автор: J.W. de Bakker; W.P. de Roever; G. Rozenberg Название: Foundations of Object-Oriented Languages ISBN: 354053931X ISBN-13(EAN): 9783540539315 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Object-oriented programming is the best way currently available of structuring software systems. This volume presents the proceedings of a workshop on Foundations of Object-Oriented Programming held in The Netherlands in 1990.
Автор: Scott F. Smith; Carolyn L. Talcott Название: Formal Methods for Open Object-Based Distributed Systems IV ISBN: 0792379233 ISBN-13(EAN): 9780792379232 Издательство: Springer Рейтинг: Цена: 30606.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the advances in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. This book includes the papers in this that focus on such technologies as: components; mobile code; Java[registered]; The Unified Modeling Language (UML); and, temporal and probabilistic systems.
Описание: Praise for the first edition: "The well-written, comprehensive book…[is] aiming to become a de facto reference for the language and its features and capabilities. The pace is appropriate for beginners; programming concepts are introduced progressively through a range of examples and then used as tools for building applications in various domains, including sophisticated data structures and algorithms…Highly recommended. Students of all levels, faculty, and professionals/practitioners.?—D. Papamichail, University of Miami in CHOICE Magazine ? Mark Lewis’ Introduction to the Art of Programming Using Scala?was the first textbook to use Scala for introductory CS courses. Fully revised and expanded, the new edition of this popular text has been divided into two books. Object-Orientation, Abstraction, and Data Structures Using Scala, Second Edition is intended to be used as a textbook for a second or third semester course in Computer Science. The Scala programming language provides powerful constructs for expressing both object orientation and abstraction. This book provides students with these tools of object orientation to help them structure solutions to larger, more complex problems, and to expand on their knowledge of abstraction so that they can make their code more powerful and flexible. The book also illustrates key concepts through the creation of data structures, showing how data structures can be written, and the strengths and weaknesses of each one. Libraries that provide the functionality needed to do real programming are also explored in the text, including GUIs, multithreading, and networking. The book is filled with end-of-chapter projects and exercises, and the authors have also posted a number of different supplements on the book website. Video lectures for each chapter in the book are also available on YouTube. The videos show construction of code from the ground up and this type of "live coding" is invaluable for learning to program, as it allows students into the mind of a more experienced programmer, where they can see the thought processes associated with the development of the code. About the Authors Mark Lewis is an Associate Professor at Trinity University. He teaches a number of different courses, spanning from first semester introductory courses to advanced seminars. His research interests included simulations and modeling, programming languages, and numerical modeling of rings around planets with nearby moons.? Lisa Lacher is an Assistant Professor at the University of Houston, Clear Lake with over 25 years of professional software development experience. She teaches a number of different courses spanning from first semester introductory courses to graduate level courses. Her research interests include Computer Science Education, Agile Software Development, Human Computer Interaction and Usability Engineering, as well as Measurement and Empirical Software Engineering.
Автор: Paolo Ciancarini; Alessandro Fantechi; Roberto Gor Название: Formal Methods for Open Object-Based Distributed Systems ISBN: 0792384296 ISBN-13(EAN): 9780792384298 Издательство: Springer Рейтинг: Цена: 30606.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Discusses many topics, including the following: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object-oriented methods.
Автор: Howard Bowman; John Derrick Название: Formal Methods for Open Object-based Distributed Systems ISBN: 0412820404 ISBN-13(EAN): 9780412820403 Издательство: Springer Рейтинг: Цена: 33401.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. Many topics are discussed, including the following important areas: object oriented design and programming; formalisation of object oriented methods.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
