Formal Methods for Open Object-Based Distributed Systems, Paolo Ciancarini; Alessandro Fantechi; Roberto Gor

Автор: 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.

Автор: 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.

Автор: Jean-Pierre Briot; Jean-Marc Geib; Akinori Yonezaw
Название: Object-Based Parallel and Distributed Computation
ISBN: 3540614877 ISBN-13(EAN): 9783540614876
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presenting 18 papers, this volume is organized into sections on massively parallel programming languages, distributed programming languages formalisms, distributed operating systems, dependable distributed computing, and software management.

Автор: Stephen J. Goldsack; Stuart J.H. Kent
Название: Formal Methods and Object Technology
ISBN: 3540199772 ISBN-13(EAN): 9783540199779
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text presents an overview of two approaches to software engineering - formal methods and object-oriented techniques. By extracting the best aspects of each, the text demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed.

Автор: Paolo Ciancarini; Oscar Nierstrasz; Akinori Yoneza
Название: Object-Based Models and Languages for Concurrent Systems
ISBN: 3540594507 ISBN-13(EAN): 9783540594505
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Incorporating the proceedings of papers presented during ECOOP `94 in Bologna, this text discusses the evolution and development of models and languages for distributed and parallel programming.

Автор: Bhavani Thuraisingham; Ravi Sandhu; T.C. Ting
Название: Security for Object-Oriented Systems
ISBN: 3540198776 ISBN-13(EAN): 9783540198772
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Addressing the issue of how to introduce an acceptable level of security into object-oriented systems, this volume contains research papers which approach the problem from two viewpoints: security incorporation; and the use of object-oriented techniques to design secure applications.

Автор: V.S. Alagar; Laks V.S. Lakshmanan; F. Sadri
Название: Formal Methods in Databases and Software Engineering
ISBN: 3540198121 ISBN-13(EAN): 9783540198123
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information systems" is used here in a very general context to denote database systems, software development systems, knowledge- base systems, proof support systems, distributed systems and reactive systems.

Автор: Elisa Bertino; Susan Urban
Название: Object-Oriented Methodologies and Systems
ISBN: 354058451X ISBN-13(EAN): 9783540584513
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presenting the proceedings of a symposium held in Palermo, Italy in September 1994, this volume contains research papers covering technical areas of object-orientation, such as databases, programming languages and methodological aspects, as well as a number of application areas.

Автор: Dimitri Konstantas; Michel Leonard; Yves Pigneur;
Название: Object-Oriented Information Systems
ISBN: 3540408606 ISBN-13(EAN): 9783540408604
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The conference on Object Oriented Information Systems (OOIS) is now an es- blished international conference where innovative ideas, research, applications, and experiences in the design, development, and use of object oriented infor- tionsystems, fromboththeacademicandindustrialenvironments, arepresented. The ninth OOIS conference was held at the University of Geneva, September 2-5, 2003. The main theme was the Evolution of Object Oriented Information Systems. The papers presented ideas and issues related to the evolution, ad- tability, restructuring, and ?exibility of OOIS. In the context of the conference, ?ve workshops and four tutorials were organized providing a discussion forum for new ideas and including in depth presentations on important "hot" subjects. The three invited speakers of the ninth OOIS conference provided an - ternative view on OOIS and their evolution. Prof. John Mylopoulos (Univ- sity of Toronto and VLDB president) gave the opening presentation entitled "Agent Oriented IS Development," Dr. Richard Soley (OMG President and CEO) gave the closing presentation entitled "Model Driven Architecture: The Evolution of Object-Oriented Systems?" and Prof. Lina Al-Jadir (American U- versity of Beirut) gave the theme presentation entitled "Once Upon a Time a DTD Evolved into Another DTD...."

Автор: Ambler Scott W.
Название: Building Object Applications That Work: Your Step-By-Step Handbook for Developing Robust Systems with Object Technology
ISBN: 0521648262 ISBN-13(EAN): 9780521648264
Издательство: Cambridge Academ
Рейтинг:
Цена: 11246.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is a must-have resource for designers, programmers and testers of today`s OO applications. It reviews the entire process of building object applications from analyzing the project (so you know what you need to build), to designing a user-friendly interface, and testing your approaches to make sure your applications work properly.