Formal Methods for Open Object-based Distributed Systems, Howard Bowman; John Derrick
Автор: 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.
Автор: 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.
Автор: 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.
Описание: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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...."
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
