Analytical Methods in Software Engineering

Analytical Methods in Software Engineering Economics  eBooks & eLearning

Posted by MoneyRich at Dec. 24, 2014
Analytical Methods in Software Engineering Economics

Analytical Methods in Software Engineering Economics by Thomas R. Gulledge
English | June 24, 1985 | ISBN: 364277797X | 252 Pages | PDF | 8 MB

This volume presents a selection of the presentations from the first annual conference on Analytical Methods in Software Engineering Economics held at The MITRE Corporation in McLean, Virginia. The papers are representative of the issues that are of interest to researchers in the economics of information systems and software engineering economics. The 1990s are presenting software economists with a particularly difficult set of challenges.
Statistical Methods in Software Engineering: Reliability and Risk (Springer Series in Statistics) by Nozer D. Singpurwalla

Statistical Methods in Software Engineering: Reliability and Risk (Springer Series in Statistics) by Nozer D. Singpurwalla
English | 1999 | ISBN: 1461268206 | 301 Pages | PDF | 9 MB

In establishing a framework for dealing with uncertainties in software engineering, and for using quantitative measures in related decision-making, this text puts into perspective the large body of work having statistical content that is relevant to software engineering. Aimed at computer scientists, software engineers…
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (repost)

John Wordsworth, "Software Development With Z: A Practical Approach to Formal Methods in Software Engineering"
Addison-Wesley Pub (Sd) | 1992 | ISBN: 0201627574 | 336 pages | Djvu | 2,1 MB
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering

John Wordsworth, "Software Development With Z: A Practical Approach to Formal Methods in Software Engineering"
Addison-Wesley Pub (Sd) | 1992 | ISBN: 0201627574 | 336 pages | Djvu | 2,1 MB
Designing Software Architectures: A Practical Approach (SEI Series in Software Engineering)

Designing Software Architectures: A Practical Approach (SEI Series in Software Engineering) by Humberto Cervantes
English | 29 Apr. 2016 | ASIN: B01ERR2TMS | 320 Pages | AZW3 | 20.96 MB

Agile Processes in Software Engineering and Extreme Programming  eBooks & eLearning

Posted by AvaxGenius at April 15, 2017
Agile Processes in Software Engineering and Extreme Programming

Agile Processes in Software Engineering and Extreme Programming: 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings By Baumeister Hubert Lichter Horst Riebisch Matthias
English | PDF | 2017 | 311 Pages | ISBN : 3319576321 | 21.17 MB

The volume constitutes the proceedings of the 18th International Conference on Agile Software Development, XP 2017, held in Cologne, Germany, in May 2017.
Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice) by Robert L. Baber
English | Aug. 1, 1991 | ISBN: 0471930164 | 88 Pages | PDF | 56 MB

Demonstrates how formal mathematical methods of proving correctness can help decrease the incidence of design errors (``bugs'') in software development. While all the techniques described here have a rigorous mathematical foundation, it is omitted in favor of emphasizing practical applications.

Green in Software Engineering(Repost)  eBooks & eLearning

Posted by thingska at April 9, 2017
Green in Software Engineering(Repost)

Green in Software Engineering by Coral Calero
English | 2015 | ISBN: 3319085808 | 327 Pages | PDF | 8.89 MB

Formal Methods and Software Engineering [repost]  eBooks & eLearning

Posted by naag at March 17, 2017
Formal Methods and Software Engineering [repost]

Formal Methods and Software Engineering (Lecture Notes in Computer Science) by Karin Breitman
English | 17 Nov. 2009 | ISBN: 3642103723 | 776 Pages | PDF | 13 MB

Formal Methods and Software Engineering  eBooks & eLearning

Posted by DZ123 at March 16, 2017
Formal Methods and Software Engineering

Stephan Merz, Jun Pang, "Formal Methods and Software Engineering"
English | 2014 | ISBN: 331911736X | PDF | pages: 476 | 8.0 mb