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

Trends and Applications in Software Engineering  eBooks & eLearning

Posted by AvaxGenius at Oct. 18, 2017
Trends and Applications in Software Engineering

Trends and Applications in Software Engineering: Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017) By Jezreel Mejia, Mirna Muñoz, Álvaro Rocha, Yadira Quiñonez, Jose Calvo-Manzano
English | PDF | 2017 (2018 Edition) | 316 Pages | ISBN : 3319693409 | 9.4 MB

This book includes a selection of papers from the 2017 International Conference on Software Process Improvement (CIMPS’17), presenting trends and applications in software engineering. Held from 18th to 20th October 2017 in Zacatecas, Mexico, the conference provided a global forum for researchers and practitioners to present and discuss the latest innovations, trends, results, experiences and concerns in various areas of software engineering, including but not limited to software processes, security in information and communication technology, and big data.

Experimentation in Software Engineering  eBooks & eLearning

Posted by AvaxGenius at Oct. 16, 2017
Experimentation in Software Engineering

Experimentation in Software Engineering By Claes Wohlin, Per Runeson, Martin Höst, Magnus C. Ohlsson, Björn Regnell, Anders Wesslén
English | EPUB | 2012 | 236 Pages | ISBN : 3642290434 | 1.05 MB

Like other sciences and engineering disciplines, software engineering requires a cycle of model building, experimentation, and learning. Experiments are valuable tools for all software engineers who are involved in evaluating and choosing between different methods, techniques, languages and tools.

Formal Methods and Software Engineering  eBooks & eLearning

Posted by AvaxGenius at Oct. 14, 2017
Formal Methods and Software Engineering

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings By Zhenhua Duan, Luke Ong
English | PDF | 2017 | 509 Pages | ISBN : 3319686895 | 20.06 MB

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions.

Formal Methods and Software Engineering: 18th International Conference  eBooks & eLearning

Posted by Jeembo at Aug. 2, 2017
Formal Methods and Software Engineering: 18th International Conference

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings by Kazuhiro Ogata, Mark Lawford, Shaoying Liu
English | 2016 | ISBN: 3319478451 | 486 Pages | PDF | 50.2 MB

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.

Grand Timely Topics in Software Engineering  eBooks & eLearning

Posted by hill0 at June 30, 2017
Grand Timely Topics in Software Engineering

Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures (Lecture Notes in Computer Science) by Jácome Cunha
English | 3 Aug. 2017 | ISBN: 3319600737 | 235 Pages | PDF | 10.96 MB

Trends and Applications in Software Engineering  eBooks & eLearning

Posted by Jeembo at May 16, 2017
Trends and Applications in Software Engineering

Trends and Applications in Software Engineering: Proceedings of CIMPS 2016 by Jezreel Mejia, Mirna Muñoz, Álvaro Rocha, Tomas San Feliu,Adriana Peña
English | 2017 | ISBN: 3319485229 | 294 Pages | PDF | 20.9 MB

This book offers a selection of papers from the 2016 International Conference on Software Process Improvement (CIMPS’16), held between the 12th and 14th of October 2016 in Aguascalientes, Aguascalientes, México.