IFIP-WADLPub Date : 2004-08-22DOI: 10.1007/0-387-24590-1_7
Seamus Galvin, J. Collins, C. Exton, Finbar McGurren
{"title":"Enhancing the Role of Interfaces in Software Architecture Description Languages (ADLs)","authors":"Seamus Galvin, J. Collins, C. Exton, Finbar McGurren","doi":"10.1007/0-387-24590-1_7","DOIUrl":"https://doi.org/10.1007/0-387-24590-1_7","url":null,"abstract":"","PeriodicalId":301344,"journal":{"name":"IFIP-WADL","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133455270","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
IFIP-WADLPub Date : 2004-08-22DOI: 10.1007/0-387-24590-1_10
Jeff Bastian, Soner Önder
{"title":"Specification of Intel IA-32 Using an Architecture Description Language","authors":"Jeff Bastian, Soner Önder","doi":"10.1007/0-387-24590-1_10","DOIUrl":"https://doi.org/10.1007/0-387-24590-1_10","url":null,"abstract":"","PeriodicalId":301344,"journal":{"name":"IFIP-WADL","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122733400","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
IFIP-WADLPub Date : 2004-08-22DOI: 10.1007/0-387-24590-1_5
S. Faucou, A. Déplanche, Y. Trinquet
{"title":"An ADL Centric Approach for the Formal Design of Real-Time Systems","authors":"S. Faucou, A. Déplanche, Y. Trinquet","doi":"10.1007/0-387-24590-1_5","DOIUrl":"https://doi.org/10.1007/0-387-24590-1_5","url":null,"abstract":"","PeriodicalId":301344,"journal":{"name":"IFIP-WADL","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121807617","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
IFIP-WADLPub Date : 1900-01-01DOI: 10.1007/b106318
P. Dissaux
{"title":"Architecture Description Languages - IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France","authors":"P. Dissaux","doi":"10.1007/b106318","DOIUrl":"https://doi.org/10.1007/b106318","url":null,"abstract":"","PeriodicalId":301344,"journal":{"name":"IFIP-WADL","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133464350","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}