aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems

First Page		Document Content
Date: 2010-08-21 17:29:07 Computing Software engineering Object-oriented programming Data types Type theory Cross-platform software Java virtual machine Aicas Software development process Polymorphism Subtyping Java		aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems Add to Reading List Source URL: d3s.mff.cuni.cz Download Document from Source Website File Size: 980,13 KB Share Document on Facebook

	Permission-Based Separation Logic for Multithreaded Java Programs✩ Christian Haacka,1 , Marieke Huismanb,2 , Cl´ement Hurlinc,3,∗ a Aicas GmbH, Karslruhe, Germany DocID: 1u83x - View Document
	aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems DocID: 1rk18 - View Document
	Towards Monitoring Temporal Properties with JamaicaVM Clemens Ballarin aicas GmbH Haid-und-Neu-StraßeKarlsruhe, Germany DocID: 1nq1m - View Document
	Two Generalisations of Ro¸su and Chen’s Trace Slicing Algorithm A Clemens Ballarin aicas GmbH Haid-und-Neu-StraßeKarlsruhe, Germany DocID: 1nok6 - View Document
	Libro_Aicas_finalsep07.pmd DocID: 1Z3A - View Document