Software Engineering with Abstractions
Software Engineering with Abstractions

Author: Valdis Andris Bērzin̦š

Publisher: Addison-Wesley Professional

Published: 1991

Total Pages: 648

ISBN-13:

DOWNLOAD EBOOK

A technical introduction to software engineering with a systematic approach that is both formal and practical. Traces the entire software-development process, using a formal specification language (Spec) to develop large real-time, and distributed systems in Ada. Coverage extends to system evoluti

Software Engineering for Science
Software Engineering for Science

Author: Jeffrey C. Carver

Publisher: CRC Press

Published: 2016-11-03

Total Pages: 334

ISBN-13: 1315351927

DOWNLOAD EBOOK

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.

Advances In Software Engineering And Knowledge Engineering
Advances In Software Engineering And Knowledge Engineering

Author: Vincenzo Ambriola

Publisher: World Scientific

Published: 1993-12-27

Total Pages: 203

ISBN-13: 981450257X

DOWNLOAD EBOOK

The papers collected in the book were invited by the editors as tutorial courses or keynote speeches for the Fourth International Conference on Software Engineering and Knowledge Engineering. It was the editors' intention that this book should offer a wide coverage of the main topics involved with the specifications, prototyping, development and maintenance of software systems and knowledge-based systems. The main issues in the area of software engineering and knowledge engineering are addressed and for each analyzed topic the corresponding of state research is reported.

Advances in Software Engineering
Advances in Software Engineering

Author: Hakan Erdogmus

Publisher: Springer Science & Business Media

Published: 2001-12-14

Total Pages: 504

ISBN-13: 9780387951096

DOWNLOAD EBOOK

This book contains both relevant real-world research, as well as reviews of different areas of interest in the software engineering literature, such as clone identification. The contents of the various sections will provide a better understanding of known problems and detailed treatment of advanced topics. Consequently, the book consolidates the work and findings from leading researchers in the software research community in key areas such as maintainability, architectural recovery, code analysis, software migration, and tool support.

Software Engineering and Formal Methods
Software Engineering and Formal Methods

Author: Frank de Boer

Publisher: Springer Nature

Published: 2020-09-11

Total Pages: 325

ISBN-13: 3030587681

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems. The Chapters "Multi-Purpose Syntax Definition with SDF3", “FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Object-Oriented Software
Object-Oriented Software

Author: Luiz Fernando Capretz

Publisher: World Scientific

Published: 1996-09-01

Total Pages: 290

ISBN-13: 9789812382856

DOWNLOAD EBOOK

This is a textbook for a course in object-oriented software engineering at advanced undergraduate and graduate levels, as well as for software engineers. It contains more than 120 exercises of diverse complexity.The book discusses fundamental concepts and terminology on object-oriented software development, assuming little background on software engineering, and emphasizes design and maintenance rather than programming.It also presents up-to-date and easily understood methodologies and puts forward a software life cycle model which explicitly encourages reusability during software development and maintenance.