Gram Cockton 2013a - Revision history

Scipediacontent at 13:40, 21 January 2021

2021-01-21T13:40:49Z

Scipediacontent: Scipediacontent moved page Draft Content 894644308 to Gram Cockton 2013a

2020-10-14T10:57:46Z

Scipediacontent moved page Draft Content 894644308 to Gram Cockton 2013a

Scipediacontent: 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..."

2020-10-14T10:57:43Z

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..."

New page

== 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.

Document type: Part of book or chapter of book

== Full document ==
<pdf>Media:Draft_Content_894644308-beopen251-3479-document.pdf</pdf>

== Original document ==

The different versions of the original document can be found in:

* [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]

← Older revision		Revision as of 13:40, 21 January 2021
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.
−
−	~~Document type: Part of book or chapter of book~~
−
−	~~== Full document ==~~
−	~~<pdf>Media:Draft_Content_894644308-beopen251-3479-document.pdf</pdf>~~


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]

← Older revision	Revision as of 10:57, 14 October 2020
(No difference)