softwaretool  (508 Angebote unter 17 193 960 Artikeln)

This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The re...

This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015. The revised 1...

This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 1...

21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.

The8thInternationalConferenceonReliableSoftwareTechnologies,Ada-Europe 2003,tookplaceinToulouse,France,June18-20,2003.ItwassponsoredbyAda- Europe, the European federation of national Ada societies,...

This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 ...

The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federatio...

The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federatio...

This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revis...

Die Software ermöglicht die Erstellung von Messprotokollen.

Software Development Graphs a unifying concept for software development?.- Concurrent runtime checking of annotated Ada programs.- Recovery of noncurrent variables in source-level debugging of opti...

Algebraic operational semantics.- On ambiguity of DTOL systems.- The equivalence problem for n-tape finite automata with simple cycles.- Relating the degree of ambiguity of finite automata to the s...

Logic for knowledge representation.- Logical specification and implementation.- Process specification of logic programs.- Functional programming systems revisited.- Models and transformations for n...