Abstract State Machines and the Inquiry Process

被引：0

作者：

Huggins, James K. ^{[1
]}

Wallace, Charles ^{[2
]}

机构：

[1] Kettering Univ, Flint, MI 48504 USA

[2] Michigan Technol Univ, Houghton, MI 49931 USA

来源：

FIELDS OF LOGIC AND COMPUTATION: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 70TH BIRTHDAY | 2010年 / 6300卷

关键词：

formal methods; software requirements; education; refinement; inquiry;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

State Machines have long played a valuable role as a catalyst for inquiry into software problems. In the ASM literature, however, there is a tendency to omit reflection on the process of ASM-based design and analysis, focusing instead on final, complete ASM products. As educators, we believe it is important to expose our students to a full, explicit process of inquiry, using ASMs as a vehicle to motivate active questioning. We report on our experiences in bringing ASM-based inquiry to the classroom. A course plan that combines ASMs and Problem :Frames has proved effective in eliciting critical inquiry among students.

引用

页码：405 / +

页数：4

共 50 条

[41] Improving Science Process Skills in Science and Technology Course Activities Using the Inquiry Method
Akben, Nimet
EGITIM VE BILIM-EDUCATION AND SCIENCE, 2015, 40 (179): : 111 - 132
[42] PSYCHOTHERAPEUTIC PROCESS IN A PSYCHIATRIC DAY HOSPITAL - RESULTS FROM AN INQUIRY, AND INTEREST OF QUALITATIVE DATA
SEULIN, C
DAZORD, A
ENCEPHALE-REVUE DE PSYCHIATRIE CLINIQUE BIOLOGIQUE ET THERAPEUTIQUE, 1995, 21 (03): : 181 - 190
[43] The Inquiry Level of Teacher's Experimental Activities and the Relationship with their Own Science Process Skills
Barreto, M.
Guerrero, D.
Guerrero, M.
Giron, C.
NEW APPROACHES IN SOCIAL AND HUMANISTIC SCIENCES, 2016, : 55 - 60
[44] Specification of abstract date types using Real-Time Process Algebra (RTPA)
Tan, XM
Wang, YX
CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 1293 - 1296
[45] Transition between different abstraction levels in an Abstract State Machine (ASM) ground model
Kubovy, Jan
Auer, Dagmar
Kueng, Josef
Rady, Mariam
2013 24TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA 2013), 2013, : 227 - 230
[46] The 'Choc-Machine' - an Introduction to Algorithmic Thinking using Finite State Machines
Vielsack, Annika
Klein, Miriam
Niesenhaus, Thomas
Ulbrich, Mattias
PROCEEDINGS OF THE 18TH WIPSCE CONFERENCE IN PRIMARY AND SECONDARY COMPUTING EDUCATION RESEARCH, WIPSCE 2023, 2023,
[47] Using Aspect-Oriented State Machines for Detecting and Resolving Feature Interactions
Dinkelaker, Tom
Erradi, Mohammed
Ayache, Meryeme
COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2012, 9 (03) : 1045 - 1074
[48] Facilitating action research: a study of coaches, their experiences, and their reflections on leading teachers in the process of practitioner inquiry
Krell, Desirae E.
Dana, Nancy Fichtman
PROFESSIONAL DEVELOPMENT IN EDUCATION, 2012, 38 (05) : 827 - 844
[49] The Process of Scientific Inquiry as It Relates to the Creation/Evolution Controversy: I. A Serious Social Problem
Miller, Jon S.
Toth, Ronald
AMERICAN BIOLOGY TEACHER, 2014, 76 (04) : 238 - 241
[50] Reading between the lines: The effect of contextual factors on student motivation throughout an open inquiry process
Adler, Idit
Schwartz, Liron
Madjar, Nir
Zion, Michal
SCIENCE EDUCATION, 2018, 102 (04) : 820 - 855

← 1 2 3 4 5 →