<--- Back to Details
First PageDocument Content
Avionics / Electronics / Embedded systems / Safety / Software requirements / Lauterbach /  Baden-Württemberg / Lauterbach /  Hesse / Lauterbach / Programming tool / Software development / Software testing / Computing
Date: 2014-06-25 09:27:22
Avionics
Electronics
Embedded systems
Safety
Software requirements
Lauterbach
Baden-Württemberg
Lauterbach
Hesse
Lauterbach
Programming tool
Software development
Software testing
Computing

Add to Reading List

Source URL: www.lauterbach.com

Download Document from Source Website

File Size: 615,00 KB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Software review / Program analysis / Software testing / Object-oriented programming languages / Static program analysis / Java / Android / Software quality / Computer programming / Memory leak

Program Analyses for Understanding the Behavior and Performance of Traditional and Mobile Object-Oriented Software Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in

DocID: 1xVqM - View Document

Network architecture / Computing / Computer architecture / Information and communications technology / Emerging technologies / Internet architecture / Configuration management / Software-defined networking / Network protocols / OpenFlow / Open vSwitch / Computer network

Robust fault-recovery in Software-Defined Networks IBSDN: IGP as a Backup in SDN Master’s thesis presented in partial fulfillment of the requirements for the degree of

DocID: 1xUkw - View Document

Real-time computing / Scheduling / Technology / Computer architecture / System software / Embedded operating systems / Automotive software / OSEK / Worst-case execution time / Real-time operating system / Uppaal Model Checker / Model checking

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1

DocID: 1xU0r - View Document

Software Lifecycle  nLogic software engineers are highly qualified throughout the fully software life cycle including requirements, design, coding, test, and documentation. Our

DocID: 1vnBe - View Document

Product Specification Sheet: MAXit for Arbortext Editor Hardware and Software Requirements

DocID: 1vnpo - View Document