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

	JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide • DocID: 1rt1j - View Document
	aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems DocID: 1rk18 - View Document
	Computer Communications–4059 Contents lists available at ScienceDirect Computer Communications journal homepage: www.elsevier.com/locate/comcom DocID: 1rbCM - View Document
	Language-based security for mobile code with applications to smart cards Xavier Leroy INRIA Rocquencourt & DocID: 1r89z - View Document
	DIVILAR: Diversifying Intermediate Language for Anti-Repackaging on Android Platform Wu Zhou ∗ , Zhi Wang † , Yajin Zhou ∗ , Xuxian Jiang ∗ North Carolina State University † Florida State University wzhou2@ncsu DocID: 1qSge - View Document