Filter by
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
- -
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
- -
Requirements Engineering in the Big Data Era
This book constitutes the proceedings of the second Asia Pacific Requirements Engineering Symposium, APRES 2015, held in Wuhan, China, in October 2015. The 9 full papers presented together with 3 tool demos papers and one short paper, were carefully reviewed and selected from 18 submissions. The papers deal with various aspects of requirements engineering in the big data era, such as automat…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-48634-4
- Collation
- -
- Series Title
- -
- Call Number
- -
A Guide to Experimental Algorithmics
Computational experiments on algorithms can supplement theoretical analysis by showing what algorithms, implementations and speed-up methods work best for specific machines or problems. This book guides the reader through the nuts and bolts of the major experimental questions: What should I measure? What inputs should I test? How do I analyze the data? To answer these questions the book draws o…
- Edition
- -
- ISBN/ISSN
- 9780511843747
- Collation
- -
- Series Title
- -
- Call Number
- -
Arduino Music and Audio Projects
This book is for musical makers and artists who want to gain knowledge and inspiration for your own amazing creations. “Grumpy Mike” Cook, co-author of several books on the Raspberry Pi and frequent answerer of questions of the Arduino forums, brings you a fun and instructive mix and simple and complex projects to help you understand how the Arduino can work with the MIDI system to create m…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-1-4842-1721-4
- Collation
- XXIII, 458
- Series Title
- -
- Call Number
- 005.12 COO a
Architecture of Computing Systems – ARCS 2015: 28th International Conferenc…
This book constitutes the proceedings of the 28th International Conference on Architecture of Computing Systems, ARCS 2015, held in Porto, Portugal, in March 2015. The 19 papers presented together with three invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in six sessions covering the topics: hardware, design, applications, trust and privacy, …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-16086-3
- Collation
- XVIII, 249
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.68 ARC a
The Future of Software Quality Assurance
This open access book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to raise the profile of software testers and their profession. It gathers contributions by respected software testing experts in order to highlight the state of the art as well as future challenges and trends. In addition, it covers current and emerging technologies …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
UML @ Classroom An Introduction to Object-Oriented Modeling
This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little or no modeling or software engineering experience – thus reflecting the majority of students in introductory courses at universities. Using UML, it introduces basic modeling concepts in a highly precise manner, while refraining from the interpre…
- Edition
- -
- ISBN/ISSN
- 978-3-319-12742-2
- 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