Evolving Software Systems

Evolving Software Systems [Repost]  eBooks & eLearning

Posted by ChrisRedfield at May 13, 2014
Evolving Software Systems [Repost]

Tom Mens, ‎Alexander Serebrenik, ‎Anthony Cleve - Evolving Software Systems
Published: 2014-01-28 | ISBN: 364245397X | PDF | 420 pages | 14 MB

Evolving Software Systems  eBooks & eLearning

Posted by nebulae at Feb. 13, 2014
Evolving Software Systems

Tom Mens, Alexander Serebrenik and Anthony Cleve, "Evolving Software Systems"
English | ISBN: 364245397X | 2014 | 420 pages | PDF | 14 MB

Specification of Software Systems  eBooks & eLearning

Posted by AvaxGenius at May 6, 2018
Specification of Software Systems

Specification of Software Systems By V. S. Alagar
English | PDF | 1998 | 436 Pages | ISBN : 0387984305 | 31.10 MB

This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fundamental principles of formal methods in the construction of modular and verifiable formal specifications. The book introduces several formal specification techniques and illustrates the expressive power of each technique with a number of examples. General Characteristics Traditional textbooks on software engineering discuss the difficulties and chal­ lenges that lie on the path from requirements analysis to implementation of a software product.

Environmental Software Systems. Computer Science for Environmental Protection  eBooks & eLearning

Posted by AvaxGenius at April 27, 2018
Environmental Software Systems. Computer Science for Environmental Protection

Environmental Software Systems. Computer Science for Environmental Protection: 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings By Jiří Hřebíček
English | PDF,EPUB | 2017 | 492 Pages | ISBN : 3319899341 | 73.29 MB

This book constitutes the refereed proceedings of the 12th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2017, held in Zadar, Croatia, in May 2017.
The 35 revised full papers presented together with 4 keynote lectures were carefully reviewed and selected from 46 submissions. The papers deal with environmental challenges and try to provide solutions using forward-looking and leading-edge IT technology. They are organized in the following topical sections: air and climate; water and hydrosphere; health and biosphere; risk and disaster management; information systems; and modelling, visualization and decision support.

Validation of Evolving Software (Repost)  eBooks & eLearning

Posted by insetes at Jan. 6, 2018
Validation of Evolving Software (Repost)

Validation of Evolving Software By Hana Chockler, Daniel Kroening, Leonardo Mariani
2015 | 230 Pages | ISBN: 3319106228 | PDF | 6 MB

System-level Test and Validation of Hardware/Software Systems  eBooks & eLearning

Posted by DZ123 at Dec. 17, 2017
System-level Test and Validation of Hardware/Software Systems

Matteo Sonza Reorda, Zebo Peng, Massimo Violante, "System-level Test and Validation of Hardware/Software Systems"
English | 2005 | ISBN: 1852338997 | PDF | pages: 187 | 1.7 mb

Intelligence Emerging: Adaptivity and Search in Evolving Neural Systems  eBooks & eLearning

Posted by interes at May 19, 2017
Intelligence Emerging: Adaptivity and Search in Evolving Neural Systems

Intelligence Emerging: Adaptivity and Search in Evolving Neural Systems by Keith L. Downing
English | 2015 | ISBN: 0262029138 | 504 pages | PDF | 8 MB
Evolving Fuzzy Systems - Methodologies, Advanced Concepts and Applications (Repost)

Edwin Lughofer, "Evolving Fuzzy Systems - Methodologies, Advanced Concepts and Applications"
English | 2011 | ISBN: 3642180868 | 456 pages | PDF | 15 MB

Evolving Intelligent Systems: Methodology and Applications (repost)  eBooks & eLearning

Posted by interes at June 16, 2015
Evolving Intelligent Systems: Methodology and Applications (repost)

Evolving Intelligent Systems: Methodology and Applications by Plamen Angelov, Dimitar P. Filev, Nik Kasabov
English | 2010 | ISBN: 0470287195 | 444 pages | PDF | 6,5 MB

Evolving Connectionist Systems: The Knowledge Engineering Approach  eBooks & eLearning

Posted by step778 at May 13, 2015
Evolving Connectionist Systems: The Knowledge Engineering Approach

Nikola Kasabov, "Evolving Connectionist Systems: The Knowledge Engineering Approach"
2007 | pages: 465 | ISBN: 1846283450 | PDF | 16,6 mb