A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis
2014
2014 IEEE 23rd International WETICE Conference
A wiki is a collaborative Web site whose content can be edited by anyone who has access to it. Wikis are becoming a new work tool in enterprises and are widely spreading everywhere. In fact, they are often used as internal documentation for various in-house systems and applications. Understanding and maintaining the structure of a wiki may be a crucial aspect. As well as software grows, decays and needs refactoring, the organic growth of a wiki inevitably leads to its degradation. We propose a
doi:10.1109/wetice.2014.25
dblp:conf/wetice/RuvoS14a
fatcat:35gtfwejurcztn7v6w4vyvus7e