You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling.
This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
Modern software development faces the problem of fragmentation of information across heterogeneous artefacts in different modelling and programming languages. In this dissertation, the Vitruvius approach for view-based engineering is presented. Flexible views offer a compact definition of user-specific views on software systems, and can be defined the novel ModelJoin language. The process is supported by a change metamodel for metamodel evolution and change impact analysis.
This book constitutes the proceedings of the BPM Forum held during the 17th International Conference on Business Process Management, BPM 2019, which took place in Vienna, Austria, in September 2019. The BPM Forum hosts innovative research which has a high potential of stimulating discussions. The papers selected for the forum are expected to showcase fresh ideas from exciting and emerging topics in BPM, even if they are not yet as mature as the regular papers at the conference. The 13 full papers included in this volume were carefully reviewed and selected from a total of 115 submissions. The papers were organized in topical sections named: specification; execution; analytics; and management.
This book constitutes thoroughly revised and selected papers from the 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016, held in Rome, Italy, in February 2016. The 17 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 118 submissions. They are organized in topical sections named: modeling languages, tools and architectures; methodologies, processes and platforms; applications and software development.
A reading of Kipling's fiction about himself and India that links experience with narrative strategy and ideology.
This book offers a comprehensive, readable and authoritative introduction to the study of Shakespeare, by means of nineteen newly commissioned essays. An international team of prominent scholars provide a broadly cultural approach to the chief literary, performative and historical aspects of Shakespeare's work. They bring the latest scholarship to bear on traditional subjects of Shakespeare study, such as biography, the transmission of the texts, the main dramatic and poetic genres, the stage in Shakespeare's time and the history of criticism and performance. In addition, authors engage with more recently defined topics: gender and sexuality, Shakespeare on film, the presence of foreigners in Shakespeare's England and his impact on other cultures. Helpful reference features include chronologies of the life and works, illustrations, detailed reading lists and a bibliographical essay.
This convenient, accessible guide provides a systematic survey of Locke's philosophy informed by the most recent scholarship and covers his theory of ideas, and his philosophies of mind, language, and religion.
The third Earl of Shaftesbury was a pivotal figure in eighteenth-century thought and culture. Professor Klein's study is the first to examine the extensive Shaftesbury manuscripts and offer an interpretation of his diverse writings as an attempt to comprehend contemporary society and politics and, in particular, to offer a legitimation for the new Whig political order established after 1688. As the focus of Shaftesbury's thinking was the idea of politeness, this study involves the first serious examination of the importance of the idea of politeness in the eighteenth century for thinking about society and culture and organising cultural practices. Through politeness, Shaftesbury conceptualised a new kind of public and critical culture for Britain and Europe, and greatly influenced the philosophical and cultural models associated with the European Enlightenment.