ADOLFO VILLAFIORITA – författare

Providing the know-how to manage software projects effectively, this book supplies an accessible introduction to software project management. It begins with an overview of the fundamental techniques of project management and the technical aspects of software development. The second part of the book illustrates the technical activities of software development in a coherent processdescribing how to customize this process to fit a wide range of software development scenarios. The book examines open source development practices and tools so readers can adopt best practices and get started with tools that are available for free.

Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone process. The growing complexity of these systems requires an increase in the skill and efficacy of safety engineers and encourages the adoption of formal and standardized techniques.An introduction to the area of design and verification of safety-critical systems, Design and Safety Assessment of Critical Systems focuses on safety assessment using formal methods. Beginning with an introduction to the fundamental concepts of safety and reliability, it illustrates the pivotal issues of design, development, and safety assessment of critical systems. The core of the book covers traditional notations, techniques, and procedures, including Fault Tree Analysis, FMECA, HAZOP, and Event Tree Analysis, and explains in detail how formal methods can be used to realize such procedures. It looks at the development process of safety-critical systems, and highlights influential management and organizational aspects. Finally, it describes verification and validation techniques and new trends in formal methods for safety and concludes with some widely adopted standards for the certification of safety-critical systems.Providing an in-depth and hands-on view of the application of formal techniques to advanced and critical safety assessments in a variety of industrial sectors, such as transportation, avionics and aerospace, and nuclear power, Design and Safety Assessment of Critical Systems allows anyone with a basic background in mathematics or computer science to move confidently into this advanced arena of safety assessment.

Although software development is one of the most complex activities carried out by man, sound development processes and proper project management can help ensure your software projects are delivered on time and under budget. Providing the know-how to manage software projects effectively, Introduction to Software Project Management supplies an accessible introduction to software project management. The book begins with an overview of the fundamental techniques of project management and the technical aspects of software development. This section supplies the understanding of the techniques required to mitigate uncertainty in projects and better control the complexity of software development projects. The second part illustrates the technical activities of software development in a coherent process—describing how to customize this process to fit a wide range of software development scenarios.Examines project management frameworks and software development standards, including ESA and NASA guidelines, PRINCE2®, and PMBOK® Addresses open source development practices and tools so readers can adopt best practices and get started with tools that are available for freeExplains how to tailor the development process to different kinds of products and formalities, including the development of web applicationsIncludes access to additional material for both practitioners and teachers at www.spmbook.comSupplying an analysis of existing development and management frameworks, the book describes how to set up an open-source tool infrastructure to manage projects. Since practitioners must be able to mix traditional and agile techniques effectively, the book covers both and explains how to use traditional techniques for planning and developing software components alongside agile methodologies. It does so in a manner that will help you to foster freedom and creativity in assembling the processes that will best serve your needs.

The first edition of a conference is a significant organizational and scientific gamble. In some cases, these challenges are rewarded by results well above the initial expec- tions. AFRICOMM 2009, the First International ICST Conference on e-Infrastructure and e-Services for Developing Countries, was clearly one of such cases. The conference aimed at bringing together international researchers, public of- cers, policy makers and practitioners in ICT to discuss issues and trends, recent research, innovation advances, and on-the-field experiences related to e-Government, e-Governance, e-Infrastructure, and e-Business, with a focus on developing countries. It is in fact widely accepted that ICT Infrastructure and (e-*)services are key drivers for development, well-being, and improved quality of life. This was also highlighted by Kofi Annan, former UN General Secretary, in 2002: “While ICT cannot address all of [Africa's] problems, they can do much to place Africa on a firmer industrial footing. . . and strengthen the continent's human resources, with training that leads to sustainable livelihoods. ” AFRICOMM 2009 was organized in three tracks: two of them organized as Research Tracks, on Information and Communication Infrastructures and on e- Services for Developing Countries, and one Policy and Governance Track. Contri- tions to the first two tracks were selected by peer-review, while the policies session involved key stakeholders in the areas of ICT, development, and policy making who submitted position papers. Participation and selection of papers for the tracks was quite good.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International ICST Conference on e-Infrastructure and e-Services for Developing Countries, AFRICOM 2010, held in Cape Town, South Africa, in November 2010. The 13 revised full papers presented were carefully reviewed and selected and cover a wide range of topics such as wireless network technologies, E-governance, as well as ICT for development and ICT business models and open-access.