Abstract
A method for design of embedded real-time systems is described. We discuss how the method separates concerns and at what points theory is applied. We also report on our experience from teaching the method to engineers from several Danish companies and their experience in using the method in real development projects.
| Original language | English |
|---|---|
| Journal | BIT |
| Volume | 28 |
| Issue number | 3 |
| Pages (from-to) | 427-438 |
| ISSN | 0006-3835 |
| DOIs | |
| Publication status | Published - 1988 |