(Created page with " == Abstract == This chapter introduces a single large example of using the properties and architecture which have been discussed in earlier chapters. The example chosen is a...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 3: | Line 3: | ||
This chapter introduces a single large example of using the properties and architecture which have been discussed in earlier chapters. The example chosen is an Air Traffic Control (ATC) Support System. The concrete meaning of the abstract properties introduced in earlier chapters will be discussed in that context, showing how one property interacts with other properties. The relevance of this to the design is shown by examples, which are followed by a discussion of possible architectures for the ATC Support System. | This chapter introduces a single large example of using the properties and architecture which have been discussed in earlier chapters. The example chosen is an Air Traffic Control (ATC) Support System. The concrete meaning of the abstract properties introduced in earlier chapters will be discussed in that context, showing how one property interacts with other properties. The relevance of this to the design is shown by examples, which are followed by a discussion of possible architectures for the ATC Support System. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| Line 15: | Line 10: | ||
* [https://link.springer.com/content/pdf/10.1007%2F978-0-387-34912-1_6.pdf https://link.springer.com/content/pdf/10.1007%2F978-0-387-34912-1_6.pdf] | * [https://link.springer.com/content/pdf/10.1007%2F978-0-387-34912-1_6.pdf https://link.springer.com/content/pdf/10.1007%2F978-0-387-34912-1_6.pdf] | ||
| + | |||
| + | * [http://link.springer.com/content/pdf/10.1007/978-0-387-34912-1_6 http://link.springer.com/content/pdf/10.1007/978-0-387-34912-1_6], | ||
| + | : [http://dx.doi.org/10.1007/978-0-387-34912-1_6 http://dx.doi.org/10.1007/978-0-387-34912-1_6] | ||
| + | |||
| + | * [https://link.springer.com/chapter/10.1007/978-0-387-34912-1_6 https://link.springer.com/chapter/10.1007/978-0-387-34912-1_6], | ||
| + | : [https://www.scipedia.com/public/Gram_Cockton_2013a https://www.scipedia.com/public/Gram_Cockton_2013a], | ||
| + | : [https://academic.microsoft.com/#/detail/2490049135 https://academic.microsoft.com/#/detail/2490049135] | ||
Latest revision as of 14:40, 21 January 2021
Abstract
This chapter introduces a single large example of using the properties and architecture which have been discussed in earlier chapters. The example chosen is an Air Traffic Control (ATC) Support System. The concrete meaning of the abstract properties introduced in earlier chapters will be discussed in that context, showing how one property interacts with other properties. The relevance of this to the design is shown by examples, which are followed by a discussion of possible architectures for the ATC Support System.
Original document
The different versions of the original document can be found in:
Back to Top
Document information
Published on 01/01/2013
Volume 2013, 2013
DOI: 10.1007/978-0-387-34912-1_6
Licence: CC BY-NC-SA license
Share this document
Keywords
claim authorship
Are you one of the authors of this document?