Browsing Research Reports in Software Engineering and Management by Subject
Now showing items 1-20 of 40
| Subject |
|---|
| Agent Theories and Models [1] |
| Aspect-Oriented Programming [1] |
| assumptions [1] |
| Controlled Experiment, [1] |
| Controllers [1] |
| Defect analysis [1] |
| Deontic Logic [1] |
| evolution [1] |
| formal specification [1] |
| integration [1] |
| Legal Contracts [1] |
| Model-checking [1] |
| Modelling [1] |
| Monitoring [1] |
| monitoring [1] |
| Monitors [1] |
| Normative Systems [1] |
| Process [1] |
| Reactive synthesis [1] |
| Replication [1] |