1037 search results - page 179 / 208 » Lightweight Languages as Software Engineering Tools |
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Program analysis and veriļ¬cation tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
IUI
2004
ACM
14 years 1 months ago
2004
ACM
WOLD (Wizard fOr Leveraging the Development of multi-platform user interfaces) helps designers to produce running user interfaces to data bases of information systems simultaneous...
SIGSOFT
2004
ACM
14 years 1 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
EMSOFT
2009
Springer
14 years 2 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses signiļ¬cant challenges from a design and veriļ¬cation point of view. In ...
CODES
2003
IEEE
14 years 27 days ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...