QA

Please support our Computer Science advertiser: Learn about neural networks and artificial intelligence.
Reply

•
•
Join Date: Feb 2008
Posts: 5
Reputation: Gatayo is an unknown quantity at this point 
Solved Threads: 0
Gatayo Gatayo is offline Offline
Newbie Poster

QA

 
-1
  #1
Nov 8th, 2009
Using a commercial software package as an example, discuss which properties could be verified and which properties could be validated. Give one example to illustrate that some properties that can only be validated originally can be approximately transformed to properties that could be verified.
Reply With Quote Quick reply to this message  
•
•
Join Date: May 2006
Posts: 1,867
Reputation: ithelp is a name known to all ithelp is a name known to all ithelp is a name known to all ithelp is a name known to all ithelp is a name known to all ithelp is a name known to all 
Solved Threads: 120
ithelp's Avatar
ithelp ithelp is offline Offline
Posting Virtuoso
 
1
  #2
Nov 8th, 2009
What is your question here ?
Assignment Help | Web Design Service | Homework Help | 498a
Programming Help | Need Help ? | Job Interview | Top 10 Hosts
Reply With Quote Quick reply to this message  
•
•
Join Date: Sep 2008
Posts: 1,658
Reputation: BestJewSinceJC is a splendid one to behold BestJewSinceJC is a splendid one to behold BestJewSinceJC is a splendid one to behold BestJewSinceJC is a splendid one to behold BestJewSinceJC is a splendid one to behold BestJewSinceJC is a splendid one to behold 
Solved Threads: 206
BestJewSinceJC BestJewSinceJC is offline Offline
Posting Virtuoso
 
1
  #3
Nov 9th, 2009
My question for him is why he couldn't at least thinly veil the obvious COTS "my professor wrote this and then I pasted it on daniweb"... question
Out.
Reply With Quote Quick reply to this message  
Reply

Quick Reply to Thread
•
•
•
•
•
•
•
•
Message:
•
•
•
•



Other Threads in the Computer Science Forum


Views: 479 | Replies: 2
Thread Tools Search this Thread



Tag cloud for Computer Science
ai algorithm algorithms amazon assignment assignmenthelp assignments automata battery bigbrother binary bittorrent bizarre bletchleypark blogging business cern clueless compiler computer computers computerscience computertrackingsoftware connect conversion csc data dataanalysis development dfa dissertation dissertations dissertationthesis dissertationtopic ebook employment energy floatingpoint foreclosuresoftware fuel gadgets geeks givemetehcodez government graphics hardware history homework homeworkassignment humor ibm idea ideas internet iphone ipod itcontracts jobs kindle laser lazy lsmeans marketing mining mobileapplication msaccess netbeans networking news os p2p parser piracy principles programming rasterizer research science security sex simulation software spoonfeeding spying sql-server student study supercomputing sweden syntactic technology textfield tree turing turingtest two'scompliment uk virus warehouse ww2
About Us | Contact Us | Advertise | DaniWeb | Acceptable Use Policy | RSS Feed

©2003 - 2009 DaniWeb® LLC