Content deleted Content added
No edit summary |
m wikified a bit |
||
Line 1: | Line 1: | ||
{{context}} |
{{context}} |
||
'''Darwin''' is an [[Architecture Description Language]] (ADL). |
|||
⚫ | |||
arwin is a architectural description language (ADL). |
|||
⚫ | |||
Its use of FSP language allow the verification of the temporal properties of the architecture. |
Its use of FSP language allow the verification of the temporal properties of the architecture. |
||
It was developed at [[Imperial College London]]. |
|||
[[Category:Software architecture]] |
Revision as of 22:10, 3 December 2005
Darwin is an Architecture Description Language (ADL). Comparing to others ADLs, such as Wright, the language doesn't provide the connector notion. Its use of FSP language allow the verification of the temporal properties of the architecture.
It was developed at Imperial College London.