Useful wiki features

From Evidence on Formal Methods Uses and Impact on Industry
Jump to: navigation, search

The following features are available in this wiki:


A search zone is available in the top right corner. Just type your keywords and hit the Search button. The result page also provide functions to refine your search if required.

Discussion Pages

Each page has an associated "Discussion" page. The purpose of this page is to give feedback about the related page by pointing missing/unclear statements, asking questions, suggesting improvements, etc. This is the first and easiest level of contribution. In order to post you need to be registered on the wiki which can be done using the registration link in the area at the top.

Discussion are organised as a forum i.e. it is composed of a set of threaded item under discussion. Before creating a new thread, please check that it is not already being discussed in an existing one.

Information Boxes

Success Story
Domain <some industrial domain, e.g. automotive, transportation,...
Keywords <list of keywords reflecting the topic of the success story>
Source <the company providing the success story>
Credit <optional reference to some people or extra organisation who contributed>

An infobox is a fixed-format table usually present in the top right-hand corner of articles to consistently present a summary of some unifying aspect that the articles share and sometimes to improve navigation to other interrelated articles. Such a box is present for each success story and has the following structure:

Quality Tags

Although periodically reviewed, this is live material and some content may not be up to date any more or have incomplete sections. In order to cope with this, some tags have been defined and are shown at the top of related page. Here are some of the most frequent tags:


Each success story or FAQ has a reference section using a standard wikimedia citation system. References are formated according to scientific litterature. At this point there is no unified bibliography among shared references, nor pointers to electronic publishin areas where the paper can be found.

Personal tools