The Experts below are selected from a list of 2592 Experts worldwide ranked by ideXlab platform
R Hibberd - One of the best experts on this subject based on the ideXlab platform.
-
use of a specification construction and animation tool to teach formal methods
Computer Software and Applications Conference, 1993Co-Authors: I Morrey, Jawed I A Siddiqi, G Buckberry, R HibberdAbstract:ZAL (Z Animation in LISP) is a package which allows a Z specification to be incrementally designed and validated in an interactive environment built on Common LISP. A Z specification is transformed into an equivalent ZAL program which can be executed in order to demonstrate the functionality of the intended implementation. ZED is a full Screen Editor and syntax analyser for Z. Using these two tools as an integrated package encourages and facilitates an exploratory approach to formal specification which reflects the way in which many users of Z (particularly beginners) prefer to approach the specification task. The package has also been used to support the teaching of students following courses in discrete mathematics, formal specification and software development. >
I Morrey - One of the best experts on this subject based on the ideXlab platform.
-
use of a specification construction and animation tool to teach formal methods
Computer Software and Applications Conference, 1993Co-Authors: I Morrey, Jawed I A Siddiqi, G Buckberry, R HibberdAbstract:ZAL (Z Animation in LISP) is a package which allows a Z specification to be incrementally designed and validated in an interactive environment built on Common LISP. A Z specification is transformed into an equivalent ZAL program which can be executed in order to demonstrate the functionality of the intended implementation. ZED is a full Screen Editor and syntax analyser for Z. Using these two tools as an integrated package encourages and facilitates an exploratory approach to formal specification which reflects the way in which many users of Z (particularly beginners) prefer to approach the specification task. The package has also been used to support the teaching of students following courses in discrete mathematics, formal specification and software development. >
Jawed I A Siddiqi - One of the best experts on this subject based on the ideXlab platform.
-
use of a specification construction and animation tool to teach formal methods
Computer Software and Applications Conference, 1993Co-Authors: I Morrey, Jawed I A Siddiqi, G Buckberry, R HibberdAbstract:ZAL (Z Animation in LISP) is a package which allows a Z specification to be incrementally designed and validated in an interactive environment built on Common LISP. A Z specification is transformed into an equivalent ZAL program which can be executed in order to demonstrate the functionality of the intended implementation. ZED is a full Screen Editor and syntax analyser for Z. Using these two tools as an integrated package encourages and facilitates an exploratory approach to formal specification which reflects the way in which many users of Z (particularly beginners) prefer to approach the specification task. The package has also been used to support the teaching of students following courses in discrete mathematics, formal specification and software development. >
G Buckberry - One of the best experts on this subject based on the ideXlab platform.
-
use of a specification construction and animation tool to teach formal methods
Computer Software and Applications Conference, 1993Co-Authors: I Morrey, Jawed I A Siddiqi, G Buckberry, R HibberdAbstract:ZAL (Z Animation in LISP) is a package which allows a Z specification to be incrementally designed and validated in an interactive environment built on Common LISP. A Z specification is transformed into an equivalent ZAL program which can be executed in order to demonstrate the functionality of the intended implementation. ZED is a full Screen Editor and syntax analyser for Z. Using these two tools as an integrated package encourages and facilitates an exploratory approach to formal specification which reflects the way in which many users of Z (particularly beginners) prefer to approach the specification task. The package has also been used to support the teaching of students following courses in discrete mathematics, formal specification and software development. >
Tang, Lynda Y.) - One of the best experts on this subject based on the ideXlab platform.
-
Effects of multi-layered environments in learning app inventor
Massachusetts Institute of Technology, 2018Co-Authors: Tang, Lynda Y.)Abstract:Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.Cataloged from student-submitted PDF version of thesis.Includes bibliographical references (pages 75-76).MIT App Inventor is a mobile application development platform that seeks to democratize the construction of mobile apps by making app development accessible to people with little to no experience with script-based programming. It uses block-based programming to introduce and teach programming concepts to its users. Users drag and drop functional and visual components onto their planned app in the Screen Editor, and construct the logic behind those components by using blocks in the block Editor. In this thesis, we design and implement Constrained Sets, a system that allows instructors and developers to allow access to only a subset of App Inventor functionality by hiding component and block access. This system allows for the construction of multi-layered interfaces, which we then use to conduct an experiment that explores how novice App Inventor users learn App Inventor in different interface environments. Furthermore, we discuss and test the possibility of using a React based implementation of the App Inventor designer, and what implications that may have on creating more flexible user interfaces.by Lynda Tang.M. Eng