Tag: Software

Free Download Patterns kompakt: Entwurfsmuster für effektive Software-Entwicklung By Karl Eilebrecht, Gernot Starke (auth.)
2013 | 223 Pages | ISBN: 3642347177 | PDF | 2 MB
Patterns kompakt fasst die wichtigsten Entwurfsmuster zusammen, die Sie für Software-Entwicklung benötigen. Software-Entwickler, -Architekten und -Designer finden darin effektiv anwendbare Lösungen für tägliche Entwurfsprobleme. Die vierte Auflage wurde um aktuelle Patterns erweitert und komplett überarbeitet. Das Buch gliedert Patterns anhand typischer Aspekte des Software-Entwurfs: Basismuster für mehr Flexibilität und Wartbarkeit, Präsentation, Kommunikation und Verteilung, Integration und Persistenz. Patterns kompakt richtet sich an Praktiker: Software-Entwickler, -Designer, -Architekten und alle, die einen praxisorientierten Überblick zu Entwurfsmustern benötigen.

Free Download Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings By Jonathan Hayman, Tobias Heindel (auth.), Frank Pfenning (eds.)
2013 | 451 Pages | ISBN: 3642370748 | PDF | 5 MB
This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013 The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.

Free Download Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers By Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky (auth.), Corina S. Păsăreanu, Gwen Salaün (eds.)
2013 | 277 Pages | ISBN: 3642358608 | PDF | 4 MB
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. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.

Free Download Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 – March 1, 2013. Proceedings By Bastian Braun, Patrick Gemein, Hans P. Reiser, Joachim Posegga (auth.), Jan Jürjens, Benjamin Livshits, Riccardo Scandariato (eds.)
2013 | 231 Pages | ISBN: 3642365620 | PDF | 4 MB
This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris, France, in February/March 2013. The 13 revised full papers presented together with two idea papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on secure programming, policies, proving, formal methods, and analyzing.

Free Download Business Modeling and Software Design: Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers By Gil Regev, Olivier Hayard, Alain Wegmann (auth.), Boris Shishkov (eds.)
2013 | 149 Pages | ISBN: 3642374778 | PDF | 4 MB
This book contains the extended and revised versions papers from the Second International Symposium on Business Modeling and Software Design (BMSD 2012), held in Geneva, Switzerland, in July 2012, organized and sponsored by the Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST), in cooperation with the Center for Telematics and Information Technology (CTIT), the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), and Technical University of Sofia. The theme of BMSD 2012 was "From Business Modeling to Service-Oriented Solutions". The 7 papers presented in this book were carefully reviewed and selected from 46 submissions. Each paper was reviewed by at least two internationally known experts from the BMSD Program Committee. The papers focus on business models, service engineering, and information systems architectures.

Free Download Software Vulnerability Discovery Process: Concepts and Applications
by Adarsh Anand, Navneet Bhatt, Omar H Alhazmi
English | 2025 | ISBN: 8770228620 | 151 pages | True PDF EPUB | 15.32 MB

Free Download Agile Processes in Software Engineering and Extreme Programming: 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings By Jeffry S. Babb, Rashina Hoda, Jacob Nørbjerg (auth.), Hubert Baumeister, Barbara Weber (eds.)
2013 | 253 Pages | ISBN: 3642383130 | PDF | 5 MB
This book contains the refereed proceedings of the 14th International Conference on Agile Software Development, XP 2013, held in Vienna, Austria, in June 2013.In the last decade, the interest in agile and lean software development has been continuously growing. Agile and lean have evolved from a way of working — restricted in the beginning to a few early adopters — to the mainstream way of developing software. All this time, the XP conference series has actively promoted agility and widely disseminated research results in this area. XP 2013 successfully continued this tradition.The 17 full papers accepted for XP 2013 were selected from 52 submissions and are organized in sections on: teaching and learning; development teams; agile practices; experiences and lessons learned; large-scale projects; and architecture and design.

Free Download Richardson Software RazorSQL 10.6.4 | 189.6 Mb
RazorSQL is an SQL query tool, database browser, SQL editor, and database administration tool for Windows, macOS, (Mac OSX), Linux, and Solaris.

Free Download Strategic Software Engineering: Software Engineering Beyond the Code
English | 2024 | ASIN : B0DFPFDJTN | 218 Pages | PDF | 83 MB
The role of a software engineer goes well beyond writing code. In many companies, large or small, engineers often need to understand unfamiliar business rules, and then coordinate with multiple groups to ship software within a tight schedule. Although the skills required to perform this job effectively can be hidden within one’s years of experience, learning from mistakes, peer guidance, and available resources, are critical to success.

Free Download Strategic Software Engineering: Software Engineering Beyond the Code
English | 2024 | ASIN : B0DFPFDJTN | 218 Pages | PDF EPUB (True) | 4 MB
The role of a software engineer goes well beyond writing code. In many companies, large or small, engineers often need to understand unfamiliar business rules, and then coordinate with multiple groups to ship software within a tight schedule. Although the skills required to perform this job effectively can be hidden within one’s years of experience, learning from mistakes, peer guidance, and available resources, are critical to success.