Catalog Sections:   Accounting   Advertising   Africa   African American studies   Anthropology   Architecture Area Studies topics China Africa Japan Middle East Third World Asia Latin America   Art   Astronomy   Biology Business topics Finance & Accounting General HR Management International Managerial Science Marketing   China   Communications   Computers   Criminology Drama topics American English European Greek Shakespeare Economics topics Economic Theory International Developed Nations Third World Nations U.S. Education topics General Education Special Education Alternative and University Sports   Employee Relations   Environmental Science   Film   Finance   Foreign Governments   Foreign Policy (U.S.)   Gender & Sexuality Geography topics China Africa Japan Middle East Third World Asia Latin America Western History topics European to 1500 European 1500-1900 European 1900 to Present U.S. to 1865 U.S. 1865 -1945 U.S. 1945 to Present   HR Management   International Relations   International Trade   Internet   Japan   Journalism   Juvenile Delinquency   Labor   Latin America Law topics General Penology   Linguistics Literature topics American to 1900 American 1900 to Present English to 1900 English 1900 to Present European Comparative Greek and Roman World   MIS   Managerial Science   Marketing   Marx and Marxism   Math Media topics Film Radio/Television Communications   Medicine and Health Care   Middle East   Minorities (other than Blacks)   Music   Nursing   Penology   Personality Theory   Personnel Management Philosophy topics Western to 1900 Western 1900 to Present Greek & Roman Medieval   Physical Education Poetry topics American English European   Police Science   Political Science (non-US)   Political Science (U.S.)   Political Theory Psychology topics Abnormal Behaviorism Developmental Freud General Personality Theory Social Therapies   Psychopathology   Psychotherapy   Public Administration   Religion (Judeo-Christian)   Religion (non-Judeo Christian) Science topics Biology Environmental General Physical   Sexuality   Shakespeare   Social Problems Sociology topics Theory Sexuality Minorities (non-Black) Social Problems Urban Studies General   Sports   Television and Radio   Third World Asia   Urban Studies   Women's Studies

Search by topic:   08453. VALIDATION AND VERIFICATION IN SOFTWARE ENGINEERING. Examines the problems of validation and verification as they relate to some of the general principles of the structured programming revolution. Static analysis, symbolic execution, unit and system testing, and formal verification by mathematical techniques are discussed. 12 pages 21 footnotes, 4 bibliographic sources.   $84 Copyright 2002 Academic Research Papers Associate Term Paper Sites: Academic Research Papers Academic-Research-Papers Research Central Term Paper Assistance