pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation

Authors: Gashi, Triera, Bosio, Sophie Adeline Solheim, Kristensen, Joachim Tilsted, Thomsen, Michael Kirkedal

Subject Terms: Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2309.04696

Massive Open Online Course in Elementary Statistics: From Analysis to Evaluation

Authors: Joel Alvarez (ORCID 0000-0002-2774-614X), Sheena Mai A. Galman (ORCID 0000-0002-5044-4668)

Source: Educational Process: International Journal. Article e2025086 2025 14.

Peer Reviewed: Y

Page Count: 22

Descriptors: Foreign Countries, Undergraduate Students, College Faculty, Statistics Education, MOOCs, Online Courses, Computer Assisted Instruction, Instructional Development, Instructional Effectiveness, Program Validation, Teacher Attitudes, Student Attitudes, Mathematical Concepts, Transformative Learning, Educational Change, Technology Integration

Geographic Terms: Philippines

Toward Implementing Computer-Assisted Foreign Language Assessment in the Official Spanish University Entrance Examination

Authors: Sanz, Ana Gimeno, Pavón, Ana Sevilla

Source: Research-publishing.net. 2015.

Peer Reviewed: Y

Page Count: 7

Descriptors: Program Implementation, Second Language Programs, Spanish, College Entrance Examinations, Computer Assisted Testing, High School Students, Pretesting, Program Validation, Participant Satisfaction, Usability, Questionnaires, Foreign Countries

Geographic Terms: Spain

“Stress-free” mobile app for Moroccan university students: “relaxation program” validation

Authors: Hakima, El Madani, Maryem, Baya, Ikrame, Yazghich, Imane, Taoufiq, Chadya, Aarab, Mohamed, Berraho

Source: 2020 International Conference on Intelligent Systems and Computer Vision (ISCV) Intelligent Systems and Computer Vision (ISCV), 2020 International Conference on. :1-5 Jun, 2020

Relation: 2020 International Conference on Intelligent Systems and Computer Vision (ISCV)

Leveraging speculative architectures for run-time program validation

Authors: Martinez Santos, Juan Carlos, Fei, Yunsi

Source: 2008 IEEE International Conference on Computer Design Computer Design, 2008. ICCD 2008. IEEE International Conference on. :498-505 Oct, 2008

Relation: 2008 IEEE International Conference on Computer Design (ICCD)

Development of Prospective Teacher Student Worksheets through Interactive Case-Based Learning Model Assisted by Cublend App to Improve Mathematical Literacy Skills

Authors: Ramdani Miftah, Lia Kurniawati, Kamal Fikri Musa

Source: Mathematics Teaching Research Journal. 2024 16(4):76-93.

Peer Reviewed: Y

Page Count: 18

Descriptors: Foreign Countries, Inservice Teacher Education, Electronic Learning, Worksheets, Computer Uses in Education, Case Method (Teaching Technique), Numeracy, Mathematics Activities, Mathematics Instruction, Mathematics Skills, Mathematics Teachers, Mathematical Applications, Teacher Student Relationship, Program Validation, Program Development, Program Evaluation, Instructional Materials, Computer Assisted Instruction

Geographic Terms: Indonesia

Insights on Usability Testing: The Effectiveness of an Adaptive E-Learning System for Secondary School Mathematics

Authors: Liz Aliza Awang (ORCID 0009-0002-6888-8328), Farrah Dina Yusop (ORCID 0000-0002-5796-4463), Mahmoud Danaee (ORCID 0000-0002-5014-5684)

Source: International Electronic Journal of Mathematics Education. 2024 19(3).

Peer Reviewed: Y

Page Count: 15

Descriptors: Foreign Countries, Secondary School Mathematics, Secondary School Students, Electronic Learning, Computer Assisted Instruction, Mathematics Instruction, Summative Evaluation, Program Effectiveness, Program Evaluation, Program Validation

Geographic Terms: Malaysia

Experimental validation of clock synchronization algorithms / Daniel L. Palumbo, R. Lynn Graham.

Authors: Palumbo, Daniel L., author

Subject Terms: Proving., Computer systems programs., Data processing., Synchronization., Electronic data processing -- Distributed processing., Computer programs -- Validation., Computer programs -- Verification., Electronic data processing -- Distributed processing., Real-time data processing., Synchronization.

Online Access: https://purl.fdlp.gov/GPO/gpo173720
https://ntrs.nasa.gov/api/citations/19920018346/downloads/19920018346.pdf

Singapore Students' and Teachers' Perceptions of Computer-Supported Project Work Classroom Learning Environments

Authors: Wong, Angela F. L., Quek, Choon-Lang, Divaharan, Shanti, Liu, Woon-Chia, Peer, Jarina, Williams, Michael D.

Source: Journal of Research on Technology in Education. Sum 2006 38(4):449-479.

Peer Reviewed: Y

Page Count: 31

Descriptors: Foreign Countries, Educational Environment, Student Attitudes, Test Validity, Item Analysis, Virtual Classrooms, High Schools, Participant Satisfaction, Teacher Attitudes, Program Validation, Problem Based Learning, Research Methodology

Geographic Terms: Singapore

Access URL: https://www.iste.org/Content/NavigationMenu/Publications/JRTE/Issues/Volume_38/Number_4_Summer_2006/Singapore_Students_and_Teachers_Perceptions_of_Computer-Supported_Project_Work_Classroom_Learning_En.htm

Clinical digital neuropathology: experience and observations from a departmental digital pathology training programme, validation and deployment

Authors: Bethany Jill Williams, Azzam Ismail, Arundhati Chakrabarty, Darren Treanor

Source: Journal of Clinical Pathology. 74:456-461

Subject Terms: 0301 basic medicine, 03 medical and health sciences, Pathology, Clinical, 0302 clinical medicine, Neurology, Image Interpretation, Computer-Assisted, Humans, 3. Good health

Access URL: https://pubmed.ncbi.nlm.nih.gov/32139375

A procedure for PLC programs validation

Authors: Gergely, E. I., Popentiu-Vladicescu, Fl., Madsen, H., Mang, G.E., Nagy, Z. T., Spoiala, D.

Source: 2009 3rd International Workshop on Soft Computing Applications Soft Computing Applications, 2009. SOFA '09. 3rd International Workshop on. :171-176 Jul, 2009

Relation: 2009 3rd International Workshop on Soft Computing Applications (SOFA)

Approaches to Validation of Criterion-Referenced Tests and Computer-Based Instruction in a Military Prdject.

Authors: Tatsuoka, Kikumi, Illinois Univ., Urbana. Computer-Based Education Research Lab.

Peer Reviewed: N

Page Count: 65

Sponsoring Agency: Advanced Research Projects Agency (DOD), Washington, DC.

Descriptors: Bayesian Statistics, Computer Assisted Instruction, Criterion Referenced Tests, Evaluation Methods, Mastery Learning, Mathematical Models, Military Training, Program Evaluation, Program Validation, Test Validity

Computer Science and Technology: Validation, Verification, and Testing for the Individual Programmer.

Authors: Branstad, Martha A., National Bureau of Standards (DOC), Washington, DC. Inst. for Computer Sciences and Technology.

Peer Reviewed: N

Page Count: 26

Descriptors: Computer Programs, Design, Evaluation Methods, Evaluation Needs, Formative Evaluation, Guidelines, Program Development, Program Evaluation, Program Validation, Programing, Testing

Geographic Terms: U.S.; District of Columbia

Journal Code: RIEFEB1981

Faculty's Acceptance of Computer Based Technology: Cross-Validation of an Extended Model

Authors: Ahmad, Tunku Badariah Tunku, Madarsha, Kamal Basha, Zainuddin, Ahmad Marzuki, Ismail, Nik Ahmad Hisham, Nordin, Mohamad Sahari

Source: Australasian Journal of Educational Technology. 2010 26(2):268-279.

Peer Reviewed: Y

Page Count: 12

Descriptors: Structural Equation Models, Self Efficacy, Motivation, Foreign Countries, Models, Program Validation, Use Studies, Technology Uses in Education, Gender Differences, Age Differences, Questionnaires, College Faculty, Teacher Attitudes, Computer Attitudes

Geographic Terms: Malaysia

Access URL: https://www.ascilite.org.au/ajet/ajet26/ahmad.pdf

Development and Validation of a Computer-Administered Number Sense Scale for Fifth-Grade Children in Taiwan

Authors: Li, Mao-Neng Fr, Yang, Der-Ching

Source: School Science and Mathematics. Apr 2010 110(4):220-230.

Peer Reviewed: Y

Page Count: 11

Descriptors: Test Validity, Foreign Countries, Grade 5, Program Validation, Test Construction, Psychometrics, Mathematics Tests, Screening Tests, Computer Assisted Testing, Number Concepts, Number Systems, Numbers, Numeracy, Item Analysis, Pretests Posttests, Rating Scales

Geographic Terms: Taiwan

Virtual vitreoretinal surgery: validation of a training programme: validation of a training programme

Authors: Vergmann, Anna Stage, Vestergaard, Anders Højslet, Grauslund, Jakob

Source: Vergmann, A S, Vestergaard, A H & Grauslund, J 2017, 'Virtual vitreoretinal surgery : validation of a training programme', Acta Ophthalmologica, vol. 95, no. 1, pp. 60–65. https://doi.org/10.1111/aos.13209

Subject Terms: Adult, Male, 0301 basic medicine, validity, Internship and Residency, eyesi, Middle Aged, Vitreoretinal Surgery, surgical simulator, User-Computer Interface, Young Adult, 03 medical and health sciences, virtual vitreoretinal surgery, 0302 clinical medicine, Surgery, Computer-Assisted, 13. Climate action, Humans, Computer Simulation, Female, Clinical Competence, Educational Measurement

Access URL: https://pubmed.ncbi.nlm.nih.gov/27535480

Building Information Model and Safety Requirements for Spatial Program Validation

Authors: Chaabane, Aymen, Ben, Feno, Mahenina, Remiel, Halin, Gilles, Messaoudi, Tommy, Moalla, Feriel

Contributors: École nationale supérieure d'architecture de Nancy (ENSA Nancy), Institut national de recherche et de sécurité (Vandoeuvre lès Nancy) (INRS ( Vandoeuvre lès Nancy)), Université de Lorraine (UL), Frédéric Noël, Felix Nyffenegger, Louis Rivest, Abdelaziz Bouras

Source: IFIP Advances in Information and Communication Technology ; 19th IFIP International Conference on Product Lifecycle Management (PLM) ; https://inria.hal.science/hal-05420905 ; 19th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2022, Grenoble, France. pp.484-494, ⟨10.1007/978-3-031-25182-5_47⟩

Subject Terms: Safety requirements, Spatial organization, BIM, [INFO]Computer Science [cs]

Subject Geographic: Grenoble, France

Availability: https://inria.hal.science/hal-05420905
https://inria.hal.science/hal-05420905v1/document
https://inria.hal.science/hal-05420905v1/file/538048_1_En_47_Chapter.pdf
https://doi.org/10.1007/978-3-031-25182-5_47

Computer-Based Training for Loan Counselors.

Authors: Bonello, David, Cavagnol, Richard M.

Source: Performance Improvement. Sep 1996 35(8):20-24.

Peer Reviewed: Y

Page Count: 5

Descriptors: Computer Assisted Instruction, Computer System Design, Cost Effectiveness, Improvement, Instructional Design, Job Training, Organizational Effectiveness, Program Development, Program Effectiveness, Program Validation, Self Evaluation (Groups), Time Management

Instructional Methods in STEM and English Subjects: A Validation Study

Authors: Zendler, Andreas, Klaudt, Dieter, Seitz, Cornelia

Source: International Journal of Research in Education and Science. Sum 2018 4(2):686-702.

Peer Reviewed: Y

Page Count: 18

Descriptors: STEM Education, Teaching Methods, English Instruction, Science Instruction, Program Validation, Questionnaires, Knowledge Base for Teaching, Instructional Effectiveness, Mathematics Teachers, English Teachers, Computer Science, Cohort Analysis, Learning Processes, Quasiexperimental Design, Teacher Surveys, Predictor Variables, Hypothesis Testing, Instructional Material Evaluation, Foreign Countries, Statistical Analysis

Geographic Terms: Germany

An Online Survey for Pharmacoepidemiological Investigation (Survey of Non-Medical Use of Prescription Drugs Program): Validation Study

Authors: Black, Joshua Curtis, Rockhill, Karilynn, Forber, Alyssa, Amioka, Elise, May, K Patrick, Haynes, Colleen M, Dasgupta, Nabarun, Dart, Richard C

Source: Journal of Medical Internet Research, Vol 21, Iss 10, p e15830 (2019)

Subject Terms: Computer applications to medicine. Medical informatics, R858-859.7, Public aspects of medicine, RA1-1270

File Description: electronic resource

Relation: http://www.jmir.org/2019/10/e15830/; https://doaj.org/toc/1438-8871

Access URL: https://doaj.org/article/feb07edd4670457794af7af5bbe94df8