Talk:KeY

This is the talk page for discussing improvements to the KeY article.
This is not a forum for general discussion of the article's subject.

Put new text under old text. Click here to start a new topic.
New to Wikipedia? Welcome! Learn to edit; get help.

Article policies

Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL

Computing: Software / CompSci / Free and open-source software Low‑importance

This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing articles

Low

This article has been rated as Low-importance on the project's importance scale.

This article is supported by WikiProject Software (assessed as Low-importance).

This article is supported by WikiProject Computer science (assessed as Mid-importance).

This article is supported by Free and open-source software (assessed as Low-importance).

Things you can help WikiProject Computer science with:

Here are some tasks awaiting attention:

Article requests :
- Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup :
- Computer science articles needing attention
- Computer science articles needing expert attention
Copyedit :
- Computing
Expand :
- Computer science
Infobox :
- Computer science articles without infoboxes
Maintain :
- Timeline of computing 2020–present
Photo :
- Find pictures for the biographies of computer scientists (see List of computer scientists)
- Computing articles needing images
Stubs :
- Computer science stubs
Unreferenced :
- WikiProject Computer science/Unreferenced BLPs
Project-related :
- Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

Java Low‑importance

	This article is within the scope of WikiProject Java, a collaborative effort to improve the coverage of Java on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.JavaWikipedia:WikiProject JavaTemplate:WikiProject JavaJava articles
Low	This article has been rated as Low-importance on the project's importance scale.

Proposed Deletion[edit]

The reason given for the proposed deletion of this article is that it was previously deleted. This is true, but it was undeleted again by the responsible administrator after this discussion here. KeYIT 16:17, 30 July 2007 (UTC)[reply]

Hmmm. Ok, I've now replaced that tag with a db-spam tag. Are there any secondary references for KeY? Like links to independent sites saying this a notable software?

/ Mats Halldin (talk) 16:28, 30 July 2007 (UTC)[reply]

Sure, there are secondary references. For example, the JML home page here. KeYIT 16:32, 30 July 2007 (UTC)[reply]

The subject does not appear to have sufficient notable coverage to merit an article even with the links in article considered, not to mention the apparent conflict of interest in this case. --Kuzaar^-T-C- 16:34, 30 July 2007 (UTC)[reply]

Well, that's why it is marked as a stub. So if it does not yet contain enough information for your taste, you are free to contribute something. KeYIT 16:41, 30 July 2007 (UTC)[reply]

For those in doubt of the notability of the subject, we recommend a Google search such as this one, which reveals a considerable number of sources referring to KeY, many of them independent of the project. KeYIT 06:31, 31 July 2007 (UTC)[reply]

In addition, the conference papers mentioned on the project page are to serious and well-known conferences in the area of deduction and program verification and have been thoroughly peer reviewed by external researchers.