1 resultado para Expressive language
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (1)
- Andina Digital - Repositorio UASB-Digital - Universidade Andina Simón Bolívar (1)
- Archive of European Integration (3)
- Aston University Research Archive (3)
- Biblioteca de Teses e Dissertações da USP (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) (10)
- Brock University, Canada (31)
- CentAUR: Central Archive University of Reading - UK (183)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (2)
- Cochin University of Science & Technology (CUSAT), India (5)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (69)
- Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (2)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Commons at Florida International University (4)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (56)
- DRUM (Digital Repository at the University of Maryland) (2)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (1)
- Galway Mayo Institute of Technology, Ireland (1)
- Georgian Library Association, Georgia (1)
- Institute of Public Health in Ireland, Ireland (27)
- Instituto Politécnico do Porto, Portugal (15)
- Martin Luther Universitat Halle Wittenberg, Germany (2)
- Massachusetts Institute of Technology (10)
- Ministerio de Cultura, Spain (173)
- National Center for Biotechnology Information - NCBI (1)
- Portal do Conhecimento - Ministerio do Ensino Superior Ciencia e Inovacao, Cape Verde (13)
- RCAAP - Repositório Científico de Acesso Aberto de Portugal (1)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (5)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (5)
- Repositório da Produção Científica e Intelectual da Unicamp (2)
- Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (1)
- Repositório de Administração Pública (REPAP) - Direção-Geral da Qualificação dos Trabalhadores em Funções Públicas (INA), Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (6)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (23)
- School of Medicine, Washington University, United States (52)
- Scielo Saúde Pública - SP (14)
- Scottish Institute for Research in Economics (SIRE) (SIRE), United Kingdom (8)
- Universidad Autónoma de Nuevo León, Mexico (3)
- Universidad de Alicante (2)
- Universidad del Rosario, Colombia (3)
- Universidade do Minho (8)
- Universidade Federal do Rio Grande do Norte (UFRN) (1)
- Universidade Metodista de São Paulo (3)
- Universitat de Girona, Spain (4)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (11)
- Université de Lausanne, Switzerland (80)
- Université de Montréal, Canada (26)
- University of Connecticut - USA (1)
- University of Michigan (1)
- University of Queensland eSpace - Australia (98)
- University of Southampton, United Kingdom (7)
- University of Washington (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.