A web teaching system based on formal methods

机译：基于形式化方法的网络教学系统

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper presents a means for the modelling of courses available in the WWW, making use of formal cosntructions known as Deterministic Finite Automata. Our work, partially described in this paper, is centred in developing a semi-automated system to support the teaching (both undergraduate and graduate levels) of theoretical computing science and VLSI design at the Computer Science Institute of the Federal University of Rio Grande do Sul - Brazil. It was done through the definition of a set of courseware tools based on the manipulation of constructions from Automata Theory, Category Theory and Hyper-document Technology.

机译：本文介绍了一种形式化的方法，可用于WWW中可用的课程建模，利用称为确定性有限自动机的形式结构。我们在本文中进行部分描述的工作集中在开发半自动化系统上，以支持南里奥格兰德州联邦大学计算机学院的理论计算科学和VLSI设计的教学（无论是本科生还是研究生） - 巴西。它是通过定义一组基于自动机理论，类别理论和超文档技术的构造操作的课件工具来完成的。

著录项

来源
《IFIP 16th World Computer Congress 2000 and Conference on Educational Uses of Information and Communication Technologies August 21-25, 2000, Beijing, China》|2000年|p.221-224|共4页
会议地点 Beijing(CN);Beijing(CN);Beijing(CN)
作者
Carlos Tadeu Q. de Morais; Julio P. Machado; Paulo B. Menezes; Ricardo Reis;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类无线电电子学、电信技术;
关键词
WWW; distance education; remote courses; finite automata; course modelling;

机译：万维网;远程教育;远程课程；有限自动机课程建模;

相似文献

外文文献
中文文献
专利

1. Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method [J] . Guillaume Babin, Yamine Aït-Ameur, Marc Pantel Services Computing, IEEE Transactions on . 2017,第1期

机译：运行时Web服务补偿：使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
2. EVAWEB V2: Enhancing a Web-Based Assessment Systems Focused on Nonrepudiation Use and Teaching [J] . Gonzalez-Tablas A.I., Ramos A. Orfila, Ribagorda A. InternatIonal Journal of Web-based LearnIng and TeachIng TechnologIes . 2008,第1期

机译：EVAWEB V2：增强基于Web的评估系统，该系统侧重于不可否认性的使用和教学
3. Comparison of a web-based package with tutor-based methods of teaching respiratory medicine: subjective and objective evaluations [J] . Susan F Smith, Nicola J Roberts, Martyn R Partridge BMC Medical Education . 2007,第1期

机译：基于网络的软件包与基于教师的呼吸医学教学方法的比较：主观和客观评估
4. A web teaching system based on formal methods [C] . Carlos Tadeu Q. de Morais, Julio P. Machado, Paulo B. Menezes, World computer congress . 2000

机译：基于形式方法的网络教学系统
5. Web based content and hybrid teaching: Student perceptions of the effectiveness of using web based content and hyper-linked teaching units in teaching hybrid business and marketing post secondary classes. [D] . Richardson, W. Tim G. 2007

机译：基于Web的内容和混合教学：学生对使用基于Web的内容和超链接教学单元在混合商务和市场营销中学后课程教学中的有效性的看法。
6. Comparison of a web-based package with tutor-based methods of teaching respiratory medicine: subjective and objective evaluations [O] . Susan F Smith, Nicola J Roberts, Martyn R Partridge 2007

机译：基于网络的软件包与基于教师的呼吸医学教学方法的比较：主观和客观评估
7. Designing Of Lectures through Systemic Approach to Teaching and Learning, a Model for (SATL) MethodologyConcepts play a vital role in enabling chemist to deliver. The recently developing concept based teaching methods are likely to play a pivotal role towards the efforts for promoting understanding of chemical concepts and assimilation of vital theoretical foundations of chemistry. A. F. M. Fahmy and J. J. Lagowski are the leading figures in a worldwide derive towards concept building of young generation through this novel mode of teaching and learning. However, their efforts, till recently have been mostly organic chemistry specific. Nevertheless, SALTC teaching methods are equally applicable to various other disciplines in chemistry. SATLC methodology can also be thus used to overcome the problems faced by students in understanding the efficacy of any chemical entity for a specific and desired chemical action. This presentation outlines possible applications of SATLC technique to the concepts related to a number of aspects of Physical Chemistry that are to be put together in one unit for facilitating a chemical compound’s application in any chemical change desired by any researcher. [O] . *M. Nazir, I. I. Naqvi 2012

机译：通过系统的教学方法设计讲座，（saTL）方法论概念概念在使化学家能够实现方面发挥着至关重要的作用。最近开发的基于概念的教学方法可能在促进理解化学概念和吸收化学重要理论基础的努力中发挥关键作用。 a. F. m. Fahmy和J. J. Lagowski是世界范围内通过这种新颖的教学模式建立年轻一代概念的主要人物。然而，他们的努力，直到最近已经大多是有机化学特定的。然而，saLTC教学方法同样适用于化学中的其他各个学科。因此，saTLC方法也可用于克服学生在理解任何化学实体对特定和所需化学作用的功效方面所面临的问题。本演示文稿概述了saTLC技术可能应用于与物理化学的许多方面相关的概念，这些概念将被整合在一个单元中，以促进化合物在任何研究人员所需的任何化学变化中的应用。

A web teaching system based on formal methods

摘要

著录项

相似文献

相关主题

期刊订阅