Software Engineering for Science

Software Engineering for Science
Author: Jeffrey C. Carver
Publisher: CRC Press
Total Pages: 311
Release: 2016-11-03
Genre: Computers
ISBN: 1498743862

Software Engineering for Science provides an in-depth collection of peer-reviewed chapters that describe experiences with applying software engineering practices to the development of scientific software. It provides a better understanding of how software engineering is and should be practiced, and which software engineering practices are effective for scientific software. The book starts with a detailed overview of the Scientific Software Lifecycle, and a general overview of the scientific software development process. It highlights key issues commonly arising during scientific software development, as well as solutions to these problems. The second part of the book provides examples of the use of testing in scientific software development, including key issues and challenges. The chapters then describe solutions and case studies aimed at applying testing to scientific software development efforts. The final part of the book provides examples of applying software engineering techniques to scientific software, including not only computational modeling, but also software for data management and analysis. The authors describe their experiences and lessons learned from developing complex scientific software in different domains. About the Editors Jeffrey Carver is an Associate Professor in the Department of Computer Science at the University of Alabama. He is one of the primary organizers of the workshop series on Software Engineering for Science (http://www.SE4Science.org/workshops). Neil P. Chue Hong is Director of the Software Sustainability Institute at the University of Edinburgh. His research interests include barriers and incentives in research software ecosystems and the role of software as a research object. George K. Thiruvathukal is Professor of Computer Science at Loyola University Chicago and Visiting Faculty at Argonne National Laboratory. His current research is focused on software metrics in open source mathematical and scientific software.

Modern Software Tools for Scientific Computing

Modern Software Tools for Scientific Computing
Author: A. Bruaset
Publisher: Springer Science & Business Media
Total Pages: 387
Release: 2012-12-06
Genre: Computers
ISBN: 1461219868

Looking back at the years that have passed since the realization of the very first electronic, multi-purpose computers, one observes a tremendous growth in hardware and software performance. Today, researchers and engi neers have access to computing power and software that can solve numerical problems which are not fully understood in terms of existing mathemati cal theory. Thus, computational sciences must in many respects be viewed as experimental disciplines. As a consequence, there is a demand for high quality, flexible software that allows, and even encourages, experimentation with alternative numerical strategies and mathematical models. Extensibil ity is then a key issue; the software must provide an efficient environment for incorporation of new methods and models that will be required in fu ture problem scenarios. The development of such kind of flexible software is a challenging and expensive task. One way to achieve these goals is to in vest much work in the design and implementation of generic software tools which can be used in a wide range of application fields. In order to provide a forum where researchers could present and discuss their contributions to the described development, an International Work shop on Modern Software Tools for Scientific Computing was arranged in Oslo, Norway, September 16-18, 1996. This workshop, informally referred to as Sci Tools '96, was a collaboration between SINTEF Applied Mathe matics and the Departments of Informatics and Mathematics at the Uni versity of Oslo.

Scientific Software Systems

Scientific Software Systems
Author: J. C. Mason
Publisher: Springer Science & Business Media
Total Pages: 268
Release: 2012-12-06
Genre: Science
ISBN: 9400908415

The main aim of this book is to present a broader view of scientific software than has been common in the past. The provision of scientific software is no longer a matter of just writing 'good computer programs', but rather it is concerned with the development of an integrated software system wI-,ich offers the user facilities which approach all that he needs in terms of speed, accuracy and convenience. This means that due account must, for example, be taken of the high-speed computing capabilities of parallel processors, the exact computing features of symbolic mathematical systems, the presentational potentialities of computer graphics, and the advisory aspects of knowledge-based and expert systems. When suites of numerical software programs or routines are supported by such ranges of facilities, then they can be justly described as 'scientific software systems', and that is why we have adopted such a title here. The assembly of this book was a direct consequence of the running of a one-day international symposium, with the same broad aim of advocating a 'systems approach', under the title 'Scientific Software and Systems'. This Symposium was held at the Royal Military College of Science (RMCS) in Shrivenham on July 11, 1988 and was attended by 85 people. A very busy but most enjoyable day included invited talks, poster presentations and demonstrations of software products, not to mention various social activi ties.

Elements of Software Science

Elements of Software Science
Author: Maurice Howard Halstead
Publisher: Elsevier Publishing Company
Total Pages: 152
Release: 1977
Genre: Computers
ISBN:

Book Designed for Computer Professional Linguists, Psychologists, & Mathematicians. Summarizes the Research in Field of Human/Machine Interaction.

Design Science Methodology for Information Systems and Software Engineering

Design Science Methodology for Information Systems and Software Engineering
Author: Roel J. Wieringa
Publisher: Springer
Total Pages: 327
Release: 2014-11-19
Genre: Computers
ISBN: 3662438399

This book provides guidelines for practicing design science in the fields of information systems and software engineering research. A design process usually iterates over two activities: first designing an artifact that improves something for stakeholders and subsequently empirically investigating the performance of that artifact in its context. This “validation in context” is a key feature of the book - since an artifact is designed for a context, it should also be validated in this context. The book is divided into five parts. Part I discusses the fundamental nature of design science and its artifacts, as well as related design research questions and goals. Part II deals with the design cycle, i.e. the creation, design and validation of artifacts based on requirements and stakeholder goals. To elaborate this further, Part III presents the role of conceptual frameworks and theories in design science. Part IV continues with the empirical cycle to investigate artifacts in context, and presents the different elements of research problem analysis, research setup and data analysis. Finally, Part V deals with the practical application of the empirical cycle by presenting in detail various research methods, including observational case studies, case-based and sample-based experiments and technical action research. These main sections are complemented by two generic checklists, one for the design cycle and one for the empirical cycle. The book is written for students as well as academic and industrial researchers in software engineering or information systems. It provides guidelines on how to effectively structure research goals, how to analyze research problems concerning design goals and knowledge questions, how to validate artifact designs and how to empirically investigate artifacts in context – and finally how to present the results of the design cycle as a whole.

Scientific Software Design

Scientific Software Design
Author: Damian Rouson
Publisher: Cambridge University Press
Total Pages: 405
Release: 2011-04-29
Genre: Technology & Engineering
ISBN: 1139498789

The authors analyze how the structure of a package determines its developmental complexity according to such measures as bug search times and documentation information content. The work presents arguments for why these issues impact solution cost and time more than does scalable performance. The final chapter explores the question of scalable execution and shows how scalable design relates to scalable execution. The book's focus is on program organization, which has received considerable attention in the broader software engineering community, where graphical description standards for modeling software structure and behavior have been developed by computer scientists. These discussions might be enriched by engineers who write scientific codes. This book aims to bring such scientific programmers into discussion with computer scientists. The authors do so by introducing object-oriented software design patterns in the context of scientific simulation.

Software Security Engineering

Software Security Engineering
Author: Muthu Ramachandran
Publisher: Nova Science Pub Incorporated
Total Pages: 272
Release: 2012
Genre: Computers
ISBN: 9781614701286

Software engineering has established techniques, methods and technology over two decades. However, due to the lack of understanding of software security vulnerabilities, we have been not successful in applying software engineering principles when developing secured software systems. Therefore software security can not be added after a system has been built as seen on today's software applications. This book provides concise and good practice design guidelines on software security which will benefit practitioners, researchers, learners, and educators. Topics discussed include systematic approaches to engineering; building and assuring software security throughout software lifecycle; software security based requirements engineering; design for software security; software security implementation; best practice guideline on developing software security; test for software security and quality validation for software security.

Writing Scientific Software

Writing Scientific Software
Author: Suely Oliveira
Publisher: Cambridge University Press
Total Pages: 287
Release: 2006-09-07
Genre: Computers
ISBN: 1139458620

The core of scientific computing is designing, writing, testing, debugging and modifying numerical software for application to a vast range of areas: from graphics, meteorology and chemistry to engineering, biology and finance. Scientists, engineers and computer scientists need to write good code, for speed, clarity, flexibility and ease of re-use. Oliveira and Stewart's style guide for numerical software points out good practices to follow, and pitfalls to avoid. By following their advice, readers will learn how to write efficient software, and how to test it for bugs, accuracy and performance. Techniques are explained with a variety of programming languages, and illustrated with two extensive design examples, one in Fortran 90 and one in C++: other examples in C, C++, Fortran 90 and Java are scattered throughout the book. This manual of scientific computing style will be an essential addition to the bookshelf and lab of everyone who writes numerical software.

Open Source Software in Life Science Research

Open Source Software in Life Science Research
Author: Lee Harland
Publisher: Elsevier
Total Pages: 583
Release: 2012-10-31
Genre: Computers
ISBN: 1908818247

The free/open source approach has grown from a minor activity to become a significant producer of robust, task-orientated software for a wide variety of situations and applications. To life science informatics groups, these systems present an appealing proposition - high quality software at a very attractive price. Open source software in life science research considers how industry and applied research groups have embraced these resources, discussing practical implementations that address real-world business problems.The book is divided into four parts. Part one looks at laboratory data management and chemical informatics, covering software such as Bioclipse, OpenTox, ImageJ and KNIME. In part two, the focus turns to genomics and bioinformatics tools, with chapters examining GenomicsTools and EBI Atlas software, as well as the practicalities of setting up an 'omics' platform and managing large volumes of data. Chapters in part three examine information and knowledge management, covering a range of topics including software for web-based collaboration, open source search and visualisation technologies for scientific business applications, and specific software such as DesignTracker and Utopia Documents. Part four looks at semantic technologies such as Semantic MediaWiki, TripleMap and Chem2Bio2RDF, before part five examines clinical analytics, and validation and regulatory compliance of free/open source software. Finally, the book concludes by looking at future perspectives and the economics and free/open source software in industry. - Discusses a broad range of applications from a variety of sectors - Provides a unique perspective on work normally performed behind closed doors - Highlights the criteria used to compare and assess different approaches to solving problems

Software Engineering for Secure Systems: Industrial and Research Perspectives

Software Engineering for Secure Systems: Industrial and Research Perspectives
Author: Mouratidis, H.
Publisher: IGI Global
Total Pages: 388
Release: 2010-10-31
Genre: Computers
ISBN: 1615208380

"This book provides coverage of recent advances in the area of secure software engineering that address the various stages of the development process from requirements to design to testing to implementation"--Provided by publisher.