Esta investigación se enmarca dentro del campo de la Ingeniería de Software, particularmente en lo que hace a la aplicación de metodologías formales y semi-formales de evaluación de sistemas, especialmente de sitios web de Gobierno Electrónico (GE o e-gov) así…