In this particular paper we survey development of Expert System by methodologies and
applications from 2005 to 2015 via a literature review of a theoretical and classification …

The request of formal methods for the specification and analysis of distributed systems is
nowadays increasing, especially when considering the development of Cloud systems and …

In this paper, we develop a framework for the automated verification of Web sites, which can
be used to specify integrity conditions for a given Web site, and then automatically check …

In this paper, we present the rewriting-based, Web verification service WebVerdi-M, which is
able to recognize forbidden/incorrect patterns and incomplete/missing Web pages …

It is inevitable to face production problems in various aspects such as human fallibility,
defective processes and unreliable technologies in industrial manufacturing business. Thus …

The development and the maintenance of Web sites are difficult tasks. To maintain the
consistency of ever-larger, complex Web sites, Web administrators need effective …

The increasing complexity of software systems has led to the development of sophisticated
formal Methodologies for verifying and correcting data and programs. In general …

In the context of Cloud computing, a service can be invoked by distinct devices having
different HW/SW characteristics; therefore, the content must be adapted to each device …

In this paper, we present an abstract framework for Web site verification which improves the
performance of a previous, rewriting-based Web verification methodology. The …

Informe Tecnico / Technical Report Page 1 DEPARTAMENTO DE SISTEMAS INFORM ATICOS Y
COMPUTACI ON UNIVERSIDAD POLIT ECNICA DE VALENCIA PO Box: 22012 E-46071 Valencia …