Back to Results
First PageMeta Content
Ada programming language / AdaCore / SPARK / Ada / TI MSP430 / Buoy / Microcontroller / GNAT / Embedded system / Computing / Software engineering / Computer programming


Use of SPARK in a Resource Constrained Embedded System Chad Loseby Peter Chapin
Add to Reading List

Document Date: 2013-05-09 09:08:56

Open Document

File Size: 117,18 KB

Share Result on Facebook

City

St. Petersburg / /

Company

Rowley Associates / Application-Based Systems / Cold Regions Research & Engineering Laboratory / Timer Hardware / /

Country

United States / /

Currency

USD / /

/

Event

Funding / /

Facility

VT Vermont Technical College Randolph Center / University of Vermont / Vermont Technical College / Loseby Peter Chapin Carl Brandon Vermont Technical College Randolph Center / /

IndustryTerm

tool chain / satellite photographs / gcc technology / software complexity / power management / hardware devices / satellite project / buoy software / software makes / compiler technology / satellite network / satellite link / satellite modem / software main loop / /

NaturalFeature

Arctic sea / /

Organization

University of Vermont / Vermont Technical College / United States Army / Associate Chair Department of Mathematics & Statistics / National Aeronautics and Space Administration / /

Person

Jun Yu / Ada Magic / Peter Chapin Carl Brandon Vermont / /

Position

Professor / Embedded Systems General / translator / /

Product

Because / Sofcheck / /

ProgrammingLanguage

Ada / C / /

ProvinceOrState

Alaska / Florida / /

Technology

RAM / Sofcheck compiler technology / remote sensing / GPS / /

URL

http /

SocialTag