Object-Oriented Metrics in Practice, Michele Lanza; S. Ducasse; Radu Marinescu
Название: Metrics for Process Models ISBN: 3540892230 ISBN-13(EAN): 9783540892236 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Develops a framework for the detection of formal errors in business process models and the prediction of error probability based on quality attributes of these models (metrics). This book presents a description of Event-driven Process Chains (EPCs), their control-flow semantics and a suitable correctness criterion called EPC soundness.
Автор: Michael Cebulla Название: Object-Oriented Technology. ECOOP 2007 Workshop Reader ISBN: 3540781943 ISBN-13(EAN): 9783540781943 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the final reports of 19 workshops held during the 21st European Conference on Object-Oriented Programming, ECOOP 2007, in Berlin, Germany, in July 2007. This title includes reports that are ordered in thematic groups on programming languages, aspects, formal techniques, roles, components, software engineering, and applications.
Описание: 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.
Автор: Shaoying Liu Название: Structured Object-Oriented Formal Language and Method ISBN: 3642392768 ISBN-13(EAN): 9783642392764 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012.
Автор: Pandian Название: Software Metrics ISBN: 0849316618 ISBN-13(EAN): 9780849316616 Издательство: Taylor&Francis Рейтинг: Цена: 16078.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A guide to planning, analysis, and application of software metrics that simplifies software measurement. It explains its value as a tool for decision-makers at software companies. It contains easy-to-understand tools and techniques that show how metrics create models that are indispensable to decision-making in the software industry.
Автор: N. Fenton; B. Littlewood Название: Software Reliability and Metrics ISBN: 1851666753 ISBN-13(EAN): 9781851666751 Издательство: Springer Рейтинг: Цена: 34380.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Addressing students, mechanical engineers, technicians and experienced automation engineers, the book will assist to understand and to use OOP in accordance with IEC 61131-3. In a step-by-step process, example programs show how to design a ready-to-use machine module.
Автор: Pierre America Название: ECOOP `91 European Conference on Object-Oriented Programming ISBN: 3540542620 ISBN-13(EAN): 9783540542629 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Object-oriented programming techniques have quickly gained widespread use and popularity. The proceedings of ECOOP `91 include papers discussing language design, specification, databases, concurrency, types, and software development.
Автор: Haim Kilov; William Harvey Название: Object-Oriented Behavioral Specifications ISBN: 1475770405 ISBN-13(EAN): 9781475770407 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book does not take `reuse` of specifications or software for granted, but furnishes a foundation for taking as rigorous an approach to reuse decisions as to precise specifications in original developments.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
