User talk:GoetzUM

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Hello GoetzUM, welcome to Wikipedia.

You might find these links helpful: How to edit a page, How to write a great article, Naming conventions, Manual of Style. You should read our policies at some point too.

If you have any questions, see the help pages, add a question to the village pump, or ask me on my talk page. I hope you enjoy editing here and being a Wikipedian!

  • You can introduce yourself on the new users page.
  • You can find lots more information, including open tasks and daily tips, at the community portal.
  • You can sign your name using three tildes, like this: ~~~. If you use four, you can add a datestamp as well.
  • Before saving a page, it's a good idea to use the Show preview button to review your edits. Also, consider writing a summary for each edit.

Again, welcome! Chris Roy 05:18, 19 Apr 2004 (UTC)


It is important to be able to tell if a system meets specifications and if it runs correctly. These are the processes of verification and validation. Verification is the process of determining if a system meets the conditions set forth at the beginning. Validation is the process of evaluating a system to determine whether it satisfies the specified requirements.

In mission-critical systems where flawless performance is absolutely necessary, formal methods can be used to ensure the correct operation of a system. However, often-times for non-mission-critical systems, formal methods prove to be very costly and an alternative method of V&V must be sought out. In this case, syntactic methods are often used.

Syntactic methods[edit]

I have added a "{{prod}}" template to the article Syntactic methods, suggesting that it be deleted according to the proposed deletion process. All contributions are appreciated, but I don't believe it satisfies Wikipedia's criteria for inclusion, and I've explained why in the deletion notice (see also "What Wikipedia is not" and Wikipedia's deletion policy). You may contest the proposed deletion by removing the {{dated prod}} notice, but please explain why you disagree with the proposed deletion in your edit summary or on its talk page. Also, please consider improving the article to address the issues raised. Even though removing the deletion notice will prevent deletion through the proposed deletion process, the article may still be deleted if it matches any of the speedy deletion criteria or it can be sent to Articles for Deletion, where it may be deleted if consensus to delete is reached. Jeepday (talk) 02:16, 17 May 2007 (UTC)[reply]