16 resultados para Log conformance
Filtro por publicador
- JISC Information Environment Repository (1)
- Aberdeen University (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (1)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (3)
- Aquatic Commons (65)
- Archive of European Integration (1)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (9)
- Aston University Research Archive (7)
- Biblioteca de Teses e Dissertações da USP (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (5)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (6)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (19)
- Bibloteca do Senado Federal do Brasil (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (16)
- Boston University Digital Common (1)
- Brock University, Canada (3)
- Bulgarian Digital Mathematics Library at IMI-BAS (3)
- CaltechTHESIS (12)
- Cambridge University Engineering Department Publications Database (26)
- CentAUR: Central Archive University of Reading - UK (6)
- Center for Jewish History Digital Collections (2)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (24)
- Cochin University of Science & Technology (CUSAT), India (1)
- Coffee Science - Universidade Federal de Lavras (1)
- Collection Of Biostatistics Research Archive (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- Dalarna University College Electronic Archive (1)
- Department of Computer Science E-Repository - King's College London, Strand, London (2)
- Digital Commons - Michigan Tech (2)
- Digital Commons at Florida International University (4)
- DigitalCommons@The Texas Medical Center (2)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (4)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (25)
- Harvard University (1)
- Helda - Digital Repository of University of Helsinki (27)
- Indian Institute of Science - Bangalore - Índia (156)
- Ministerio de Cultura, Spain (4)
- National Center for Biotechnology Information - NCBI (2)
- Nottingham eTheses (1)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- Publishing Network for Geoscientific & Environmental Data (189)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (12)
- Queensland University of Technology - ePrints Archive (230)
- RDBU - Repositório Digital da Biblioteca da Unisinos (1)
- Repositorio Institucional de la Universidad Nacional Agraria (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (7)
- Repositorio Institucional Universidad Católica de Colombia (1)
- South Carolina State Documents Depository (3)
- Universidad Autónoma de Nuevo León, Mexico (3)
- Universidad Politécnica de Madrid (4)
- Universidade Federal do Rio Grande do Norte (UFRN) (2)
- Universitat de Girona, Spain (3)
- Université de Montréal, Canada (1)
- University of Michigan (62)
- University of Queensland eSpace - Australia (4)
- University of Southampton, United Kingdom (4)
- WestminsterResearch - UK (2)
Resumo:
Software erosion can be controlled by periodically checking for consistency between the de facto architecture and its theoretical counterpart. Studies show that this process is often not automated and that developers still rely heavily on manual reviews, despite the availability of a large number of tools. This is partially due to the high cost involved in setting up and maintaining tool-specific and incompatible test specifications that replicate otherwise documented invariants. To reduce this cost, our approach consists in unifying the functionality provided by existing tools under the umbrella of a common business-readable DSL. By using a declarative language, we are able to write tool-agnostic rules that are simple enough to be understood by non-technical stakeholders and, at the same time, can be interpreted as a rigorous specification for checking architecture conformance