| Darwin (adl) |
Article Index for Darwin |
Website Links For Darwin |
Information AboutDarwin (adl) |
|
Darwin is a Computing 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 . |
|
|