1312 search results - page 134 / 263 » Embedded contract languages |
138
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
141
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
108
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Rhizome is an end-to-end feature modeling and code generation platform that includes a feature modeling language (FeatureML), a template language (MarkerML) and a template-based c...
122
Voted
VL
2007
IEEE
15 years 9 months ago
2007
IEEE
Children who are active on the internet are performing significant design and programming activity without realising it, in the course of hacking little animations, game scripts a...
126
click to vote
TLCA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...