Foundations of Computer Software: Future Trends and Techniques for Development

Foundations of Computer Software: Future Trends and Techniques for Development
Author :
Publisher : Springer Science & Business Media
Total Pages : 284
Release :
ISBN-10 : 9783642125652
ISBN-13 : 3642125654
Rating : 4/5 (52 Downloads)

Book Synopsis Foundations of Computer Software: Future Trends and Techniques for Development by : Christine Choppy

Download or read book Foundations of Computer Software: Future Trends and Techniques for Development written by Christine Choppy and published by Springer Science & Business Media. This book was released on 2010-04-20 with total page 284 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of the workshop was Foundations of Computer Software, Future Trends and Techniques for Development. The 13 revised full papers presented at the workshop explore, how the foundations and development techniques of computer software could be adapted to address such a challenge. Material presented in the papers spans the whole software life cycle, starting from specification and analysis, design and the choice of architectures, large scale, real-world software development, code generation and configuration, deployment, and evolution.


Foundations of Computer Software: Future Trends and Techniques for Development Related Books

Foundations of Computer Software: Future Trends and Techniques for Development
Language: en
Pages: 284
Authors: Christine Choppy
Categories: Computers
Type: BOOK - Published: 2010-04-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of
Guide to the Software Engineering Body of Knowledge (Swebok(r))
Language: en
Pages: 348
Authors: IEEE Computer Society
Categories: Computer software
Type: BOOK - Published: 2014 - Publisher:

DOWNLOAD EBOOK

In the Guide to the Software Engineering Body of Knowledge (SWEBOK(R) Guide), the IEEE Computer Society establishes a baseline for the body of knowledge for the
Domain Science and Engineering
Language: en
Pages: 403
Authors: Dines Bjørner
Categories: Computers
Type: BOOK - Published: 2021-11-08 - Publisher: Springer Nature

DOWNLOAD EBOOK

In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing sys
Trustworthy Cyber-Physical Systems Engineering
Language: en
Pages: 482
Authors: Alexander Romanovsky
Categories: Computers
Type: BOOK - Published: 2016-10-03 - Publisher: CRC Press

DOWNLOAD EBOOK

Focuses on various issues related to engineering trustworthy cyber-physical systems Contributes to the improved understanding of system concepts and standardiza
Formal Modeling and Verification of Cyber-Physical Systems
Language: en
Pages: 324
Authors: Rolf Drechsler
Categories: Computers
Type: BOOK - Published: 2015-06-05 - Publisher: Springer

DOWNLOAD EBOOK

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic o