1 resultado para Hardware description language
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
- JISC Information Environment Repository (2)
- KUPS-Datenbank - Universität zu Köln - Kölner UniversitätsPublikationsServer (1)
- Repository Napier (2)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (4)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (3)
- Aquatic Commons (44)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (30)
- Aston University Research Archive (11)
- Biblioteca Digital da Câmara dos Deputados (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (3)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (1)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (21)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (3)
- Bucknell University Digital Commons - Pensilvania - USA (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (10)
- CaltechTHESIS (3)
- Cambridge University Engineering Department Publications Database (106)
- CentAUR: Central Archive University of Reading - UK (7)
- Center for Jewish History Digital Collections (1)
- Central European University - Research Support Scheme (2)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (74)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Commons at Florida International University (7)
- Digital Peer Publishing (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (13)
- FUNDAJ - Fundação Joaquim Nabuco (1)
- Glasgow Theses Service (1)
- Greenwich Academic Literature Archive - UK (1)
- Helda - Digital Repository of University of Helsinki (60)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (2)
- Indian Institute of Science - Bangalore - Índia (64)
- Infoteca EMBRAPA (2)
- Instituto Politécnico do Porto, Portugal (2)
- Línguas & Letras - Unoeste (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (2)
- Massachusetts Institute of Technology (28)
- Memoria Académica - FaHCE, UNLP - Argentina (3)
- Nottingham eTheses (1)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (1)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (13)
- Queensland University of Technology - ePrints Archive (314)
- Repositorio Académico de la Universidad Nacional de Costa Rica (2)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (1)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT) (1)
- Repositorio Institucional de la Universidad de Málaga (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (35)
- Research Open Access Repository of the University of East London. (2)
- SAPIENTIA - Universidade do Algarve - Portugal (1)
- School of Medicine, Washington University, United States (1)
- Universidad de Alicante (1)
- Universidad del Rosario, Colombia (1)
- Universidad Politécnica de Madrid (20)
- Universidade Federal do Rio Grande do Norte (UFRN) (12)
- Université de Montréal (1)
- Université de Montréal, Canada (8)
- University of Michigan (7)
- University of Queensland eSpace - Australia (1)
- University of Southampton, United Kingdom (1)
- WestminsterResearch - UK (1)
Resumo:
Architectural description languages (ADLs) are used to specify high-level, compositional view of a software application. ADLs usually come equipped with a rigourous state-transition style semantics, facilitating specification and analysis of distributed and event-based systems. However, enterprise system architectures built upon newer middleware (implementations of Java’s EJB specification, or Microsoft’s COM+/ .NET) require additional expressive power from an ADL. The TrustME ADL is designed to meet this need. In this paper, we describe several aspects of TrustME that facilitate specification and anlysis of middleware-based architectures for the enterprise.