I have been investigating several modeling systems for my January 18 cover story on embedded software shortcuts. Instead of a traditional written specification, these systems require a formal ...

Synthetic operating systems might mean never having to port software again. Software can be automatically generated-synthesized-to meet the demands of a changing system. For decades hardware design ...