Software Models

Formal Methods for Executable Software Models  eBooks & eLearning

Posted by ChrisRedfield at Nov. 11, 2014
Formal Methods for Executable Software Models

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer - Formal Methods for Executable Software Models
Published: 2014-06-07 | ISBN: 3319073168 | PDF | 343 pages | 8 MB
Modelling in Mechanical Engineering and Mechatronics: Towards Autonomous Intelligent Software Models (repost)

Nikolay Avgoustinov, "Modelling in Mechanical Engineering and Mechatronics: Towards Autonomous Intelligent Software Models"
Springer | 2007 | ISBN: 1846289084 | 226 pages | PDF | 6,1 MB
Modelling in Mechanical Engineering and Mechatronics: Towards Autonomous Intelligent Software Models

Nikolay Avgoustinov “Modelling in Mechanical Engineering and Mechatronics:
Towards Autonomous Intelligent Software Models"

Springer | 2007-08-24 | ISBN: 1846289084 | 226 pages | PDF | 6,1 MB

Ontology-Driven Software Development  eBooks & eLearning

Posted by AvaxGenius at May 13, 2017
Ontology-Driven Software Development

Ontology-Driven Software Development By Jeff Z. Pan, Steffen Staab, Uwe Aßmann, Jürgen Ebert, Yuting Zhao
English | EPUB | 2013 | 338 Pages | ISBN : 364231225X | 77 MB

This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning into mainstream software development and its languages. Ontology Driven Software Development is the essential, comprehensive resource on enabling technologies, consistency checking and process guidance for ontology-driven software development (ODSD). It demonstrates how to apply ontology reasoning in the lifecycle of software development, using current and emerging standards and technologies.

Software Process Improvement and Capability Determination  eBooks & eLearning

Posted by DZ123 at March 13, 2017
Software Process Improvement and Capability Determination

Antanas Mitasiunas, Terry Rout, Rory V. O'Connor, "Software Process Improvement and Capability Determination"
English | 2014 | ISBN: 3319130358 | PDF | pages: 294 | 7.7 mb

Ontology-Driven Software Development (repost)  eBooks & eLearning

Posted by nebulae at Feb. 13, 2017
Ontology-Driven Software Development (repost)

Jeff Z. Pan, Steffen Staab, "Ontology-Driven Software Development"
2013 | ISBN-10: 364231225X | 364 pages | PDF | 7 MB

Artificial Life Models in Software (Repost)  eBooks & eLearning

Posted by leonardo78 at Jan. 20, 2017
Artificial Life Models in Software (Repost)

Artificial Life Models in Software by Maciej Komosinski, Andrew Adamatzky
2009 | ISBN: 1848822847 | 441 pages | PDF | 14,3 MB

The advent of powerful processing technologies and the advances in software development tools have drastically changed the approach and implementation of computational research in fundamental properties of living systems through simulating and synthesizing biological entities and processes in artificial media.

Models@run.time: Foundations, Applications, and Roadmaps (Repost)  eBooks & eLearning

Posted by bookwarrior at Nov. 23, 2015
Models@run.time: Foundations, Applications, and Roadmaps (Repost)

Models@run.time: Foundations, Applications, and Roadmaps By Nelly Bencomo, Robert B. France, Betty H.C. Cheng
2014 | 332 Pages | ISBN: 3319089145 | PDF | 8 MB

Models@run.time: Foundations, Applications, and Roadmaps (Repost)  eBooks & eLearning

Posted by happy4all at Aug. 8, 2015
Models@run.time: Foundations, Applications, and Roadmaps (Repost)

Models@run.time: Foundations, Applications, and Roadmaps By Nelly Bencomo, Robert B. France, Betty H.C. Cheng
2014 | 332 Pages | ISBN: 3319089145 | PDF | 8 MB

Models@run.time: Foundations, Applications, and Roadmaps (Repost)  eBooks & eLearning

Posted by tukotikko at March 11, 2015
Models@run.time: Foundations, Applications, and Roadmaps (Repost)

Models@run.time: Foundations, Applications, and Roadmaps By Nelly Bencomo, Robert B. France, Betty H.C. Cheng
2014 | 332 Pages | ISBN: 3319089145 | PDF | 11 MB