|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 7 gevonden artikelen
| Titel: |
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B |
| Auteur: |
Abrial, Jean-Raymond Hallerstede, Stefan |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 77 (2007) nr. 1-2 pagina's 1-28 |
| Jaar: |
2007-06-29 |
| Inhoud: |
We argue that formal modeling should be the starting point for any serious development of computer systems. This claim poses a challenge for modeling: at first it must cope with the constraints and scale of serious developments. Only then it is a suitable starting point. We present three techniques, refinement, decomposition, and instantiation, that we consider indispensable for modeling large and complex systems. The vehicle of our presentation is Event-B, but the techniques themselves do not depend on it. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 7 gevonden artikelen
| << vorige | volgende >> |