Formal Aspects of Measurement, Tim Denvir; Rosalind Herman; Robin Whitty
Автор: Ivan Lanese; Eric Madelaine Название: Formal Aspects of Component Software ISBN: 3319153161 ISBN-13(EAN): 9783319153162 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions.
Описание: Organisations can use the valuable tool of data envelopment analysis (DEA) to make informed decisions on developing successful strategies, setting specific goals, and identifying underperforming activities to improve the output or outcome of performance measurement. <br><br><em>Strategic Performance Management and Measurement Using Data Envelopment Analysis</em> highlights the advantages of using DEA as a tool to improve business performance and identify sources of inefficiency in public and private organisations. These recently developed theories and applications of DEA will be useful for policymakers, managers, and practitioners in the areas of sustainable development of our society including environment, agriculture, finance, and higher education sectors.
Автор: Farhad Arbab; Peter Csaba ?lveczky Название: Formal Aspects of Component Software ISBN: 3642357423 ISBN-13(EAN): 9783642357428 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Taming Distributed System Complexity through Formal Patterns.- Composing Safe Systems.- A Denotational Model for Component-Based Risk Analysis.- Synthesis of Hierarchical Systems.- A Modal Specification Theory for Components with Data.- Evaluating the Performance of Model Transformation Styles in Maude.- Interactive Transformations from Object-Oriented Models to Component-Based Models.- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.- Timed Conformance Testing for Orchestrated Service Discovery.- Realizability of Choreographies for Services Interacting Asynchronously.- Networks of Real-Time Actors: Schedulability Analysis and Coordination.- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios.- The Logic of XACML.- A Proof Assistant Based Formalization of MDE Components.- Controlling an Iteration-Wise Coherence in Dataflow.- Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation.- Verifying Safety of Fault-Tolerant Distributed Components.- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques.- Bigraphical Modelling of Architectural Patterns.- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines.- Verifying Temporal Properties of Use-Cases in Natural Language.
Автор: Corina S Pasareanu; Gwen Sala?n Название: Formal Aspects of Component Software ISBN: 3642358608 ISBN-13(EAN): 9783642358609 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. formal methods and modeling languages for components and services;
Автор: Mernik Marjan Название: Formal and Practical Aspects of Domain-Specific Languages ISBN: 1466620927 ISBN-13(EAN): 9781466620926 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 28413.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments is a collection of academic works containing current research on all aspects of domain-specific language. This book is a comprehensive overview in the computer language field and aims to be essential for scholars and practitioners in the software engineering fields by providing new results and answers to open problems in DSL research.
Автор: Jos? Proen?a; Markus Lumpe Название: Formal Aspects of Component Software ISBN: 3319680331 ISBN-13(EAN): 9783319680330 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.
Автор: Jos? Luiz Fiadeiro; Zhiming Liu; Jinyun Xue Название: Formal Aspects of Component Software ISBN: 3319076019 ISBN-13(EAN): 9783319076010 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013.
Автор: Paolo Taticchi Название: Business Performance Measurement and Management ISBN: 3642047998 ISBN-13(EAN): 9783642047992 Издательство: Springer Рейтинг: Цена: 26552.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: New methods of business performance measurement and management application are presented here, in addition to emerging related research areas. Practical case studies are included, perfect for students, academics, and professionals in the field.
Описание: Includes the refereed proceedings of the 15th International GI/ITG Conference on `Measurement, Modelling and Evaluation of Computing Systems` and `Dependability and Fault Tolerance`, held in Essen, Germany, in March 2010.
Автор: Guerard, Jr. Название: Portfolio Construction, Measurement, and Efficiency ISBN: 3319339745 ISBN-13(EAN): 9783319339740 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume, inspired by and dedicated to the work of pioneering investment analyst, Jack Treynor, addresses the issues of portfolio risk and return and how investment portfolios are measured. In a career spanning over fifty years, the primary questions addressed by Jack Treynor were: Is there an observable risk-return trade-off? How can stock selection models be integrated with risk models to enhance client returns? Do managed portfolios earn positive, and statistically significant, excess returns and can mutual fund managers time the market? Since the publication of a pair of seminal Harvard Business Review articles in the mid-1960’s, Jack Treynor has developed thinking that has greatly influenced security selection, portfolio construction and measurement, and market efficiency. Key publications addressed such topics as the Capital Asset Pricing Model and stock selection modeling and integration with risk models. Treynor also served as editor of the Financial Analysts Journal, through which he wrote many columns across a wide spectrum of topics. This volume showcases original essays by leading researchers and practitioners exploring the topics that have interested Treynor while applying the most current methodologies. Such topics include the origins of portfolio theory, market timing, and portfolio construction in equity markets. The result not only reinforces Treynor’s lasting contributions to the field but suggests new areas for research and analysis.
Автор: Franceschini, Fiorenzo Galetto, Maurizio Maisano, Domenico Название: Management by measurement ISBN: 354073211X ISBN-13(EAN): 9783540732112 Издательство: Springer Рейтинг: Цена: 20263.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Companies are what they measure and the selection of good performance indicators is not an easy process. This monograph suggests how to identify indicators that achieve a balance in these effects and enhance long-term profitability. It focuses on the designing of a Performance Measurement System (PMS).
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
