- Table View
- List View
Software Security: Concepts & Practices
by Rajeev Kumar Suhel Ahmad Khan Raees Ahmad KhanSoftware Security: Concepts & Practices is designed as a textbook and explores fundamental security theories that govern common software security technical issues. It focuses on the practical programming materials that will teach readers how to implement security solutions using the most popular software packages. It’s not limited to any specific cybersecurity subtopics and the chapters touch upon a wide range of cybersecurity domains, ranging from malware to biometrics and more. Features The book presents the implementation of a unique socio-technical solution for real-time cybersecurity awareness. It provides comprehensible knowledge about security, risk, protection, estimation, knowledge and governance. Various emerging standards, models, metrics, continuous updates and tools are described to understand security principals and mitigation mechanism for higher security. The book also explores common vulnerabilities plaguing today's web applications. The book is aimed primarily at advanced undergraduates and graduates studying computer science, artificial intelligence and information technology. Researchers and professionals will also find this book useful.
Software Similarity and Classification
by Yang Xiang Silvio CesareSoftware similarity and classification is an emerging topic with wide applications. It is applicable to the areas of malware detection, software theft detection, plagiarism detection, and software clone detection. Extracting program features, processing those features into suitable representations, and constructing distance metrics to define similarity and dissimilarity are the key methods to identify software variants, clones, derivatives, and classes of software. Software Similarity and Classification reviews the literature of those core concepts, in addition to relevant literature in each application and demonstrates that considering these applied problems as a similarity and classification problem enables techniques to be shared between areas. Additionally, the authors present in-depth case studies using the software similarity and classification techniques developed throughout the book.
Software Sizing, Estimation, and Risk Management: When Performance is Measured Performance Improves
by Daniel D. Galorath Michael W. EvansTo achieve consistent software project success under the pressures of today's software development environment, software organizations require achievable plans including viable estimates of schedule, resources, and risks. To estimate realistically, you must understand how to apply sound estimation processes, tools, and data. Software Sizing
Software Solutions for Engineers and Scientists
by Julio Sanchez Maria P. CantonSoftware requirements for engineering and scientific applications are almost always computational and possess an advanced mathematical component. However, an application that calls for calculating a statistical function, or performs basic differentiation of integration, cannot be easily developed in C++ or most programming languages. In such a case, the engineer or scientist must assume the role of software developer. And even though scientists who take on the role as programmer can sometimes be the originators of major software products, they often waste valuable time developing algorithms that lead to untested and unreliable routines. Software Solutions for Engineers and Scientists addresses the ever present demand for professionals to develop their own software by supplying them with a toolkit and problem-solving resource for developing computational applications. The authors' provide shortcuts to avoid complications, bearing in mind the technical and mathematical ability of their audience.The first section introduces the basic concepts of number systems, storage of numerical data, and machine arithmetic. Chapters on the Intel math unit architecture, data conversions, and the details of math unit programming establish a framework for developing routines in engineering and scientific code. The second part, entitled Application Development, covers the implementation of a C++ program and flowcharting. A tutorial on Windows programming supplies skills that allow readers to create professional quality programs. The section on project engineering examines the software engineering field, describing its common qualities, principles, and paradigms. This is followed by a discussion on the description and specification of software projects, including object-oriented approaches to software development. With the introduction of this volume, professionals can now design effective applications that meet their own field-specific requirements using modern tools and technology.
Software Sourcing in the Age of Open
by Brian Fitzgerald Pär J. Ågerfalk Klaas-Jan StolThis SpringerBrief discusses multiple forms of open-source-inspired outsourcing: opensourcing, innersourcing and crowdsourcing. It uses a framework-based comparison to explain the strengths and weaknesses of each approach. By pointing out characteristics along with benefits and pitfalls of each approach, the authors provide nuanced and research-based advice to managers and developers facing software sourcing decisions. The differences and commonalities of these three emerging approaches are carefully analyzed. Chapters explore the primary challenges of reliability, efficiency and robustness in open-source methods. Examples from industrial cases are included, along with extensive references to recent research. The brief concludes with a comparative analysis of approaches and outlines key implications to be aware of when outsourcing. Software Sourcing in the Age of Open: Leveraging the Unknown Workforce is designed for professionals and researchers interested in outsourcing challenges. The content is also suitable for postgraduate students interested in contemporary software sourcing approaches.
Software Specification Methods: An Overview Using A Case Study (Formal Approaches To Computing And Information Technology (facit) Ser.)
by Henri Habrias Marc FrappierThis title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
Software Specification and Design: An Engineering Approach
by Ph.D., John MunsonThe rigors of engineering must soon be applied to the software development process, or the complexities of new systems will initiate the collapse of companies that attempt to produce them. Software Specification and Design: An Engineering Approach offers a foundation for rigorously engineered software. It provides a clear vision of what occurs at e
Software Supply Chain Security: Securing the End-to-End Supply Chain for Software, Firmware, and Hardware
by Cassie CrossleyTrillions of lines of code help us in our lives, companies, and organizations. But just a single software cybersecurity vulnerability can stop entire companies from doing business and cause billions of dollars in revenue loss and business recovery. Securing the creation and deployment of software, also known as software supply chain security, goes well beyond the software development process.This practical book gives you a comprehensive look at security risks and identifies the practical controls you need to incorporate into your end-to-end software supply chain. Author Cassie Crossley demonstrates how and why everyone involved in the supply chain needs to participate if your organization is to improve the security posture of its software, firmware, and hardware.With this book, you'll learn how to:Pinpoint the cybersecurity risks in each part of your organization's software supply chainIdentify the roles that participate in the supply chain—including IT, development, operations, manufacturing, and procurementDesign initiatives and controls for each part of the supply chain using existing frameworks and referencesImplement secure development lifecycle, source code security, software build management, and software transparency practicesEvaluate third-party risk in your supply chain
Software Sustainability
by Coral Calero Mario Piattini Mª Ángeles MoragaThis book focuses on software sustainability, regarded in terms of how software is or can be developed while taking into consideration environmental, social, and economic dimensions. The sixteen chapters cover various related issues ranging from technical aspects like energy-efficient programming techniques, formal proposals related to energy efficiency measurement, patterns to build energy-efficient software, the role of developers on energy efficient software systems and tools for detecting and refactoring code smells/energy bugs; to human aspects like its impact on software sustainability or the adaptation of ACM/IEEE guidelines for student and professional education and; and an economics-driven architectural evaluation for sustainability. Also aspects as the elements of governance and management that organizations should consider when implementing, assessing and improving Green IT or the relationship between software sustainability and the Corporate Social Responsibility of software companies are included. The chapters are complemented by usage scenarios and experience reports on several domains as cloud applications, agile development or e-Health, among others. As a whole, the chapters provide a complete overview of the various issues related to sustainable software development. The target readership for this book includes CxOs, (e.g. Chief Information Officers, Chief Executive Officers, Chief Technology Officers, etc.) software developers, software managers, auditors, business owners, and quality professionals. It is also intended for students of software engineering and information systems, and software researchers who want to know the state of the art regarding software sustainability.
Software Takes Command
by Lev ManovichSoftware has replaced a diverse array of physical, mechanical, and electronic technologies used before 21st century to create, store, distribute and interact with cultural artifacts. It has become our interface to the world, to others, to our memory and our imagination - a universal language through which the world speaks, and a universal engine on which the world runs. What electricity and combustion engine were to the early 20th century, software is to the early 21st century. Offering the the first theoretical and historical account of software for media authoring and its effects on the practice and the very concept of 'media,' the author of The Language of New Media (2001) develops his own theory for this rapidly-growing, always-changing field. What was the thinking and motivations of people who in the 1960 and 1970s created concepts and practical techniques that underlie contemporary media software such as Photoshop, Illustrator, Maya, Final Cut and After Effects? How do their interfaces and tools shape the visual aesthetics of contemporary media and design? What happens to the idea of a 'medium' after previously media-specific tools have been simulated and extended in software? Is it still meaningful to talk about different mediums at all? Lev Manovich answers these questions and supports his theoretical arguments by detailed analysis of key media applications such as Photoshop and After Effects, popular web services such as Google Earth, and the projects in motion graphics, interactive environments, graphic design and architecture. Software Takes Command is a must for all practicing designers and media artists and scholars concerned with contemporary media.
Software Technologies
by Marten Van Sinderen Andreas Holzinger Leszek A. Maciaszek Jorge Cardoso José Cordeiro Therese LibourelThis book constitutes the thoroughly refereed proceedings of the9th International Joint Conference on Software Technologies, ICSOFT 2014, heldin Vienna, Austria, in August 2014. The 15revised full papers and 6 short papers presented were carefully reviewed andselected from 145 submissions. The papers focus on enterprise softwaretechnologies; software engineering and systems security; distributed systems;and software project management.
Software Technologies
by Marten Van Sinderen Leszek A. Maciaszek Jorge Cardoso Pascal LorenzThis bookconstitutes the thoroughly refereed proceedings of the 10th International JointConference on Software Technologies, ICSOFT 2015, held in Colmar, France, inJuly 2015. The 23revised full papers presented were carefully reviewed and selected from 117submissions. The papers are organized around the following conference tracks:enterprise software technologies; software project management; softwareengineering methods and techniques; distributed and mobile software systems.
Software Technologies
by Marten Van Sinderen José CordeiroThis book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013. The 19 revised full papers presented were carefully reviewed and selected from 121 paper submissions. The papers focus on the following research topics and applications: new software paradigm trends and mainstream software engineering and applications.
Software Technologies: 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers (Communications in Computer and Information Science #743)
by Marten Van Sinderen Leszek A. Maciaszek Jorge Cardoso Enrique Cabello André LudwigThis book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including: Modelling for mobile devices Software and system testing Model-driven software development Reengineering systems for multi-tenancy Embedded and real-time systems reconguration Domain-specic languages and modelling Software and systems quality Context-aware and dynamically adapting software systems
Software Technologies: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers (Communications in Computer and Information Science #868)
by Marten Van Sinderen Leszek A. Maciaszek Jorge Cardoso Enrique CabelloThis book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017. The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and maintenance; development methods and models; systems security; dynamic software updates; systems integration; business process modelling; intelligent problem solving; multi-agent systems; and solutions involving big data, the Internet of Things and business intelligence.
Software Technologies: 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers (Communications in Computer and Information Science #1077)
by Marten Van Sinderen Leszek A. MaciaszekThis book constitutes the thoroughly refereed post-conference proceedings of the 13th International Joint Conference on Software Technologies, ICSOFT 2018, held in Porto, Portugal, in July 2018.The 18 revised full papers were carefully reviewed and selected from 117 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.
Software Technologies: 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers (Communications in Computer and Information Science #1250)
by Marten Van Sinderen Leszek A. MaciaszekThis book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019.The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.
Software Technologies: 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers (Communications in Computer and Information Science #1447)
by Marten Van Sinderen Leszek A. Maciaszek Hans-Georg FillThis book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others.
Software Technologies: 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers (Communications in Computer and Information Science #1622)
by Marten Van Sinderen Leszek A. Maciaszek Hans-Georg FillThis book constitutes the refereed proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Virtual Event, July 6–8, 2021. The conference was held virtually due to the COVID-19 crisis.The 10 full papers included in this book were carefully reviewed and selected from 117 submissions.
Software Technologies: 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers (Communications in Computer and Information Science #1859)
by Marten Van Sinderen Leszek A. Maciaszek Hans-Georg FillThis book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11–13, 2022. The 10 full papers included in this book were carefully reviewed and selected from 102 submissions. They were organized in topical sections as follows: tool assisted empirical approach to reusability models assessment; functional programming; three forms of mutant subsumption: basic, strict and broad; and on the efficiency of building large collections of software: modeling, algorithms, and experimental results.
Software Technologies: 18th International Conference, ICSOFT 2023, Rome, Italy, July 10–12, 2023, Revised Selected Papers (Communications in Computer and Information Science #2104)
by Marten Van Sinderen Leszek A. Maciaszek Hans-Georg Fill Francisco José Domínguez MayoThis book constitutes the refereed post proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, held in Rome, Italy, during July 10–12, 2023. The 7 full papers included in this book were carefully reviewed and selected from 129 submissions. They focus on Software Engineering and Systems Development; Software Systems and Applications; and Foundational and Trigger Technologies.
Software Technologies: 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers (Communications in Computer and Information Science #457)
by José Cordeiro and Marten van SinderenThis book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013. The 19 revised full papers presented were carefully reviewed and selected from 121 paper submissions. The papers focus on the following research topics and applications: new software paradigm trends and mainstream software engineering and applications.
Software Technologies: Applications and Foundations
by Manuel Wimmer Paolo Milazzo Dániel VarróThis book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.
Software Technologies: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11176)
by Manuel Mazzara Iulian Ober Gwen SalaünThis book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions. The events whose papers are included in this volume are: CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical SystemsDataMod 2018: 7th International Symposium From Data to Models and BackFMIS 2018: 7th International Workshop on Formal Methods for Interactive SystemsFOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative SystemsGCM 2018: 9th International Workshop on Graph Computation ModelsMDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex SystemsMSE 2018: 3rd International Workshop on Microservices: Science and EngineeringSecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering
Software Technology: 10 Years of Innovation in IEEE Computer
by Mike HincheyA comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columns This book is a compendium of extended and revised publications that have appeared in the “Software Technologies” column of IEEE Computer magazine, which covers key topics in software engineering such as software development, software correctness and related techniques, cloud computing, self-managing software and self-aware systems. Emerging properties of software technology are also discussed in this book, which will help refine the developing framework for creating the next generation of software technologies and help readers predict future developments and challenges in the field. Software Technology provides guidance on the challenges of developing software today and points readers to where the best advances are being made. Filled with one insightful article after another, the book serves to inform the conversation about the next wave of software technology advances and applications. In addition, the book: Introduces the software landscape and challenges associated with emerging technologies Covers the life cycle of software products, including concepts, requirements, development, testing, verification, evolution, and security Contains rewritten and updated articles by leaders in the software industry Covers both theoretical and practical topics Informative and thought-provoking throughout, Software Technology is a valuable book for everyone in the software engineering community that will inspire as much as it will teach all who flip through its pages.