Filters








31,722 Hits in 8.8 sec

The effectiveness of using educational robot in the computer course in the development of scientific thinking skills among first year secondary students

Najwa Al-Mohammadi
2017 International Journal of Research Studies in Educational Technology  
Second, decision makers should design training courses for teachers in the building and designing of Robot programming and to assess the effectiveness of using the educational Robot in the development  ...  Now we have the robot as an educational practical aid that opens unlimited horizons for a student to think, design, apply and employ scientific principals he knows and searches for when striving to reach  ...  The training program for designing and programming NXT robot was built according to the basics of building training programs, and went through the following steps: Setting the objectives of the training  ... 
doi:10.5861/ijrset.2017.1734 fatcat:a2vumyaxc5cwper36nns3dr2e4

Quality School

Mary L. Foss, S. Breanndan Moore
2005 American Journal of Clinical Pathology  
of our Quality Unit (which was administratively independent of day-to-day operations).  ...  This Quality School approach was developed specifically for transfusion medicine, but the principles could be applied to any clinical laboratory.  ...  To achieve this level of training, Quality School was developed. Quality School Quality School was designed to provide systematic training in quality principles and practices.  ... 
doi:10.1309/uhkmfrftdrj7mj58 pmid:16146810 fatcat:da2uk4tucjavjplvuhknb3yrpe

Proposed V-E-learning Model: Applying V-Model to Ensure the Quality of E-Learning System Implementation at Higher Education Institutions

Mohammad Samir Abdel-Haq, Evan Asfoura
2021 Turkish Journal of Computer and Mathematics Education  
Preventative procedures have been taken, including suspending teaching and training for K-12 and higher education and moving to use distance education as an alternative to face-to-face education, with  ...  those responsible for quality management to verify and validate the adherence to these standards.  ...  Acknowledgement The researchers extend their thanks and gratitude to the Deanship of Graduate Studies and Scientific Research at Dar Al Uloom University for their support and funding of this study.  ... 
doi:10.17762/turcomat.v12i6.2688 fatcat:dcuvp22g5ngdbaxodrhk5tvfmi

An Architecture of Procedures in Modeling for Manufacturing Logistics

Udula Mangalika
2020 Journal of Sustainable Machines  
As such, this contribution fills the prevailing gap between the architectural design/development and the validation/verification of modeling and simulation procedures.  ...  However, there are gaps in the discussion of the complete cycle of modeling and simulation which incorporates the verification and development of an architecture that can be used in manufacturing logistics  ...  model within the model enahncement process; where the process of validation is incorporated within the framework development process. • Independent validation:This approach represents independent parties  ... 
doi:10.46532/jsm.20200902 fatcat:exgrvg52fbhzjdij5ob63zrxk4

Applying the ARCS Motivation Theory for the Assessment of AR Digital Media Design Learning Effectiveness

Yuh-Shihng Chang
2021 Sustainability  
Augmented reality acts as a tool for this research, wherein it is applied with the course of a 3D model-based interface and built-in learning contexts for the "digital media design" of the learning topics  ...  According to the results of quantitative validation, experimental teaching with AR is more effective than traditional teaching methods.  ...  Acknowledgments: The author would like to thank the MOE Teaching Practice Research Program of Taiwan for the funding support given to this research.  ... 
doi:10.3390/su132112296 fatcat:wyieoya66zhsvg27yytx7fchgy

Assessment proposal of teaching and learning strategies in software process improvement

Bell Manrique-Losada, Gloria Piedad Gasca-Hurtado, María Clara Gómez Álvarez
2015 Revista Facultad de Ingeniería  
According to [15] , assessment is a continuous and participative process for measuring the evolution of student learning and making decisions to improve the design and development of the teaching processes  ...  This verification is similar to the software testing process planned during the design phase. f) The tester and the leader of each team fill the defects registration form with the verification metrics  ... 
doi:10.17533/udea.redin.n77a13 fatcat:royhdlmzfzc4hmasxph4vcwjaa

Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface [article]

Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Thierry Tambe, Gus Henry Smith, Akash Gaonkar, Vishal Canumalla, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik
2022 arXiv   pre-print
Finally, we show checking the correctness of the resulting code through formal verification of individual matched operations and fully automated simulation-based validation of complete applications.  ...  Specialized accelerators are increasingly used to meet the power-performance goals of emerging applications such as machine learning, image processing, and graph analysis.  ...  Acknowledgments This work was supported in part by the Applications Driving Architectures (ADA) Research Center, a JUMP Center cosponsored by SRC and DARPA.  ... 
arXiv:2203.00218v1 fatcat:xorbvhk6efbupfnlfq5pwj37h4

Space Shuttle primary onboard software - STS-1 to operational use

A. J. MACINA
1983 Journal of Guidance Control and Dynamics  
Verification receives the software at the end of the design, development, and integration cycle and subsequently subjects it to a complete detailed and system level validation program.  ...  The software organization was one geared toward basic design development and verification of an untried system.  ... 
doi:10.2514/3.19806 fatcat:qjqq2tykxbgdpgkipghouerfru

Hardware certification for real-time safety-critical systems: State of the art

Andrew J. Kornecki, Janusz Zalewski
2010 Annual Reviews in Control  
to hardware verification.  ...  Extensive literature review of the subject is given, including current views on and experiences of chip manufacturers and EDA industry with qualification of hardware design tools, including formal approaches  ...  Findings contained herein are not necessarily those of the FAA. The authors are grateful to the anonymous reviewers for constructive comments.  ... 
doi:10.1016/j.arcontrol.2009.12.003 fatcat:tqz3ftovubcclcsuu5bypjlelm

Design of a Self-Audit Tool for the Application of Lockout on Machinery in the Province of Quebec, Canada to Control Hazardous Energies

Karimi, Burlet-Vienney, Chinniah, Aucourt
2019 Safety  
Failure to apply lockout procedures for the control of hazardous energies is one of the main causes of machinery-related fatal and serious injuries in North America.  ...  The developed audit tool defines the actual procedures to audit, as well as the surrounding conditions that are needed and the prerequisites based on standards, regulations, and findings from previous  ...  Conflicts of Interest: The authors declare no conflict of interest. Safety 2019, 5, 53  ... 
doi:10.3390/safety5030053 fatcat:dzawdczffrbx7nvgje3sdydd34

Certified Embedding of B Models in an Integrated Verification Framework

Alexandra Halchin, Yamine Ait-Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni
2019 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)  
The developed Isabelle/HOL models are proved in order to guarantee the correctness of our translation process.  ...  This work is proposed in the B-PERFect project of RATP (Parisian Public Transport Operator and Maintainer), it aims to apply formal verification using the PERF approach on the integrated safety-critical  ...  Indeed, several modeling techniques, programming languages, design processes, validation and verification procedures, etc. may be set up by each stakeholder.  ... 
doi:10.1109/tase.2019.000-4 dblp:conf/tase/HalchinASFO19 fatcat:l676mrfdurdytlmfhk4k6i2dgq

A survey on formal specification and verification of separation kernels

Yongwang Zhao, Zhibin Yang, Dianfu Ma
2017 Frontiers of Computer Science  
This paper surveys the important formal specification and verification of system-Level achievements in industrial circles.  ...  They use mathematical logic and rigorous models for analysis and verification, can be used at all the system life cycles, and provide verified software without bugs with respect to certain properties.  ...  Occam conversion system only applies the rules of Occam programming to generate equivalent microcode programs.  ... 
doi:10.1007/s11704-016-4226-2 fatcat:2sbm6z35y5cphjxeg4z2spf63a

Météor: A Successful Application of B in a Large Project [chapter]

Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier
1999 Lecture Notes in Computer Science  
The automatic train operating system for METEOR, the first driverless metro in the city of Paris, is designed to manage the traffic of the vehicles controlled automatically or manually.  ...  This system, developed by Matra Transport International for the RATP, requires a very high level of dependability and safety for the users and the operator.  ...  An important work program was required and it was decided to go for the following objectives: 1. to define the new processes for the development and the validation teams, benefiting from the use of B;  ... 
doi:10.1007/3-540-48119-2_22 fatcat:bzgzdwhfvjaf5fkab5qw2qsysq

Design and development research: a model validation case

Monica W. Tracey
2007 Educational technology research and development  
This is a report of one case of a design and development research study that aimed to validate an overlay instructional design model incorporating the theory of multiple intelligences into instructional  ...  study of design, development and evaluation processes with the aim of establishing an empirical basis for the creation of instructional and non-instructional products and tools and new or enhanced models  ...  Instructional design is a process used to create instructional products, programs, and delivery systems.  ... 
doi:10.1007/s11423-007-9075-0 fatcat:j4dmvdvzefcuznq3ixuev722ha

Multimodal Versus Unimodal Instruction in a Complex Learning Context

Mark Gellevij, Hans Van Der Meij, Ton De Jong, Jules Pieters
2002 Journal of Experimental Education  
That is, the multimodal manual led to a stronger mental model of the computer program, improved identification of window elements and objects, and speeded up the location of window elements and objects  ...  During 2 103-116-min training sessions, cognitive load, and time and ability to recover from errors were measured.  ...  This contrast only applies when a large amount of memory is necessary to process the content to be learned.  ... 
doi:10.1080/00220970209599507 fatcat:plaa3h7uwzb4jiec5e6xyiuity
« Previous Showing results 1 — 15 out of 31,722 results