Language Engineering and Rigorous Software Development

Language Engineering and Rigorous Software Development
Author :
Publisher : Springer Science & Business Media
Total Pages : 301
Release :
ISBN-10 : 9783642031533
ISBN-13 : 3642031536
Rating : 4/5 (536 Downloads)
DOWNLOAD EBOOK
Book Synopsis Language Engineering and Rigorous Software Development by : Ana Bove

Download or read book Language Engineering and Rigorous Software Development written by Ana Bove and published by Springer Science & Business Media. This book was released on 2009-07-27 with total page 301 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.


Language Engineering and Rigorous Software Development Related Books

Language Engineering and Rigorous Software Development
Language: en
Pages: 301

Language Engineering and Rigorous Software Development

Authors: Ana Bove
Categories: Computers
Type: BOOK - Published: 2009-07-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development:
Rigorous Software Development
Language: en
Pages: 269

Rigorous Software Development

Authors: José Bacelar Almeida
Categories: Computers
Type: BOOK - Published: 2011-01-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by
Rigorous Software Engineering for Service-Oriented Systems
Language: en
Pages: 747

Rigorous Software Engineering for Service-Oriented Systems

Authors: Martin Wirsing
Categories: Computers
Type: BOOK - Published: 2011-05-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Service-oriented computing is a paradigm for developing software addressing key contemporary IT challenges. The result of the SENSORIA project, this book presen
Model-Based Engineering with AADL
Language: en
Pages: 765

Model-Based Engineering with AADL

Authors: Peter H. Feiler
Categories: Computers
Type: BOOK - Published: 2012-09-25 - Publisher: Addison-Wesley

DOWNLOAD EBOOK

Conventional build-then-test practices are making today’s embedded, software-reliant systems unaffordable to build. In response, more than thirty leading indu
Software Metrics
Language: en
Pages: 638

Software Metrics

Authors: Norman E. Fenton
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: Course Technology Ptr

DOWNLOAD EBOOK

PART I: FUNDAMENTALS OF MEASUREMENT AND EXPERIMENTATION 1. Measurement: What Is It and Why Do It? 2. The Basics of Measurement 3. A Goal-Based Framework for Sof