Filter by
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design…
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMC…
- Edition
- -
- ISBN/ISSN
- 9783854480464
- Collation
- -
- Series Title
- -
- Call Number
- -
E-engagement: A guide for Public Sector Managers
Over the last twenty years, advanced communication technologies have become pervasive throughout Western society. These technologies have not only revolutionised the delivery of public and private services, they have shaped consumers’ expectations about service quality. This guide (written for managers who have an interest in expanding their approach to public engagement, rather than IT profe…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Ministerial Careers and Accountability in the Australian Commonwealth Government
This book examines the roles, responsibilities and accountabilities of Australian cabinet ministers. It examines the sorts of jobs ministers do, what is expected of them, what they expect of the job and how they (are supposed to) work together as a team. It considers aspects of how they are chosen to become ministers; how they are scrutinised by parliament and the media; and how ministers thems…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Onward Migration and Multi-Sited Transnationalism Complex Trajectories, Prac…
This open access book brings novel perspectives to the scholarship on transnational migration. The book stresses the complexity of migration trajectories and proposes multi-sited field studies to capture this complexity. Its constituent chapters offer examples of onward migration spanning all major world regions. The contents exemplify a range of interdisciplinary approaches, including both qua…
- Edition
- -
- ISBN/ISSN
- 9783031125034
- Collation
- -
- Series Title
- -
- Call Number
- -
The Great War Insights and Perspectives
This publication is a collection of articles which summarise results of investigations into archival materials concerning wartime stories of various nations involved in the Great War. The objective of the authors was to analyse the wartime experience of individuals and local communities as well as whole nations. They further tried to present a closer, more personal overview of wartime drama. As…
- Edition
- -
- ISBN/ISSN
- 9783653055870
- Collation
- -
- Series Title
- -
- Call Number
- -
Aspect-Oriented Security Hardening of UML Design Models
This book comprehensively presents a novel approach to the systematic security hardening of software design models expressed in the standard UML language. It combines model-driven engineering and the aspect-oriented paradigm to integrate security practices into the early phases of the software development process. To this end, a UML profile has been developed for the specification of security h…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-16106-8
- Collation
- XVIII, 237
- Series Title
- -
- Call Number
- 005.1 ASP a
Fundamental Approaches to Software Engineering : 24th International Conferenc…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…
- Edition
- -
- ISBN/ISSN
- 9783030715007
- Collation
- -
- Series Title
- -
- Call Number
- 620
Risk Assessment and Risk-Driven Testing
This book constitutes the thoroughly refereed conference proceedings of the Third International Workshop on Risk Assessment and Risk-driven Testing, RISK 2015, held in conjunction with the OMG Technical Meeting in Berlin, Germany, in June 2015. The revised 8 full papers were carefully reviewed and selected from 12 submissions. This workshop addresses systematic approaches that combine risk a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26416-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Continuous Delivery with Visual Studio ALM 2015
This book is the authoritative source on implementing Continuous Delivery practices using Microsoft's Visual Studio and TFS 2015. Microsoft MVP authors Mathias Olausson and Jakob Ehn translate the theory behind this methodology and show step by step how to implement Continuous Delivery in a real world environment. Building good software is challenging. Building high-quality software on a tight …
- Edition
- -
- ISBN/ISSN
- 9781484212721
- Collation
- xx, 320 pages
- Series Title
- -
- Call Number
- 005.3
Requirements Engineering: Foundation for Software Quality
This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2013. The 23 papers presented together with 1 keynote were carefully reviewed and selected from 62 submissions. The REFSQ'15 conference is organized as a three-day symposium. The REFSQ'15 has chosen…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-16101-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography