Ada Software

Reliable Software Technologies - Ada-Europe 2007  eBooks & eLearning

Posted by alt_f4 at Aug. 20, 2016
Reliable Software Technologies - Ada-Europe 2007

Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, … (Lecture Notes in Computer Science) by Nabil Abdennahder
English | Aug. 8, 2007 | ISBN: 3540732292 | 258 Pages | PDF | 2 MB

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies.

ADA 3D Mesh2Surface For Rhinoceros 5.v4.1.74 (x64)  

Posted by speedzodiac_ at Nov. 2, 2015
ADA 3D Mesh2Surface For Rhinoceros 5.v4.1.74 (x64)

ADA 3D Mesh2Surface For Rhinoceros 5.v4.1.74 (x64) | 2 MB

Boost Rhinoceros software and make reverse engineering quick and easy. Mesh2Surface is a plug-in for Rhinoceros providing tools to convert your meshed scan data to complete CAD model in minutes rather than hours.
ADA 3D Mesh2Surface For Rhinoceros 5.v4.1.68 (x64)

ADA 3D Mesh2Surface For Rhinoceros 5.v4.1.68 (x64) | 2 MB

Boost Rhinoceros software and make reverse engineering quick and easy. Mesh2Surface is a plug-in for Rhinoceros providing tools to convert your meshed scan data to complete CAD model in minutes rather than hours.

ADA 3D Mesh2Surface For Rhinoceros 5 v3.0.48 (x64)  

Posted by Dizel_ at April 17, 2015
ADA 3D Mesh2Surface For Rhinoceros 5 v3.0.48 (x64)

ADA 3D Mesh2Surface For Rhinoceros 5 v3.0.48 (x64) | 2 MB

Boost Rhinoceros software and make reverse engineering quick and easy. Mesh2Surface is a plug-in for Rhinoceros providing tools to convert your meshed scan data to complete CAD model in minutes rather than hours.

Ada for Software Engineers, Second Edition (Repost)  

Posted by step778 at March 31, 2015
Ada for Software Engineers, Second Edition (Repost)

Mordechai Ben-Ari, "Ada for Software Engineers, Second Edition"
2009 | pages: 511 | ISBN: 1848823134 | PDF | 2,7 mb
Design of Multithreaded Software: The Entity-Life Modeling Approach (Repost)

Design of Multithreaded Software: The Entity-Life Modeling Approach by Bo I. Sandén
English | 2011 | ISBN: 047087659X | 308 Pages | PDF | 3 MB

This book assumes familiarity with threads (in a language such as Ada, C#, or Java) and introduces the entity-life modeling (ELM) design approach for certain kinds of multithreaded software.
ADA: Eine Einführung in die Programmiersprache der Softwaretechnik

ADA: Eine Einführung in die Programmiersprache der Softwaretechnik (German Edition) by Manfred Nagl
German | January 23, 2012 | ISBN: 3528333472 | 341 Pages | PDF | 21 MB

Die vierte, verbesserte Auflage der Einführung in die Programmiersprache Ada unterstreicht wieder einmal mehr den Zusammenhang mit der Softwaretechnik. Insbesondere wird solchen Sprachkonstrukten hohe Aufmerksamkeit geschenkt, die für das ,,Programmieren im Großen" entscheidend sind. Das Ziel dieser ist es, die Wartung von Software zu vereinfachen, aber auch Verbesserungsmöglichkeiten auszuschöpfen, was Qualitätssicherung, Projektmanagement und Dokume ntation anbelangt.Das Buch läßt sich sowohl als verständliche Einführung wie auch a ls profundes Nachschlagewerk nutzen.

Reliable Software Technologies â Ada-Europe 2011 (repost)  

Posted by Veslefrikk at Sept. 26, 2014
Reliable Software Technologies â Ada-Europe 2011 (repost)

Alexander Romanovsky, Tullio Vardanega, "Reliable Software Technologies â Ada-Europe 2011"
S,..er | 2011 | ISBN: 3642213375 | 240 pages | PDF | 4 MB
Ada 2005 Rationale: The Language, The Standard Libraries (repost)

Ada 2005 Rationale: The Language, The Standard Libraries (Lecture Notes in Computer Science / Programming and Software Engineering) by John Barnes
Springer | May 20, 2008 | English | ISBN: 3540797009 | 267 pages | PDF | 2 MB

Ada 2005 is the latest version of the International Standard for the programming language Ada. Formally, it is an Amendment of ISO/IEC 8652:1995 (E) rather than a completely new standard. The primary goals for the new version were to enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Accordingly, a number of intriguing and attractive ideas have been included and implemented in a coherent manner as appropriate to the level of perfection necessary for the diligent maintenance of a language standard.

Ada for Software Engineers 2nd Edition [Repost]  

Posted by AlenMiler at July 31, 2014
Ada for Software Engineers 2nd Edition [Repost]

Ada for Software Engineers 2nd Edition by M. Ben-Ari
Springer | Apr 16 2009 | ISBN: 1848823134 | Pages: 524 | PDF | 2.63 MB

Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for Software Engineers explains the language concepts and the terminology of the standards document, the Ada Reference Manual (ARM). Extracts from the ARM are used throughtout and there are extensive cross references to the ARM.