Filter by
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
- -
Correct Software in Web Applications and Web Services
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they …
- Edition
- -
- ISBN/ISSN
- 9783319171128
- Collation
- xiv, 332 pages
- Series Title
- -
- Call Number
- 005.3
Environmental Software Systems. Infrastructures, Services and Applications 1…
This book constitutes the refereed proceedings of the 11th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2015, held in Melbourne, Australia, in March 2015. The 62 revised full papers presented were carefully reviewed and selected from 104 submissions. The papers are organized in the following topical sections: information systems, information modeling and semanti…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15994-2
- Collation
- 206 illustrations in colour
- Series Title
- Springer Texts in Business and Economics
- Call Number
- -
Transactions on Petri Nets and Other Models of Concurrency X
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC cont…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48650-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Information Systems Reengineering, Integration and Normalization
Taking a very practical approach, the author describes in detail database conversion techniques, reverse engineering, forward engineering and re-engineering methodologies for information systems, offering a systematic software engineering approach for reusing existing database systems built with “old” technology. He demonstrates how the existing systems can be transformed into the new tech…
- Edition
- -
- ISBN/ISSN
- 978-3-319-12294-6
- Collation
- XVII, 391
- Series Title
- -
- Call Number
- 004 FON i
The Design of Requirements Modelling Languages
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18821-8
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
The Design of Requirements Modelling Languages
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18821-8
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
Information Security: 16th International Conference, ISC 2013, Dallas, Texas,…
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information Security, ISC 2013, held in Dallas, Texas, in November 2013. The 16 revised full papers presented together with 14 short papers were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanaly…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27658-8
- Collation
- XIV, 418
- Series Title
- -
- Call Number
- 004 INF
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography