Tag Archives: Specification

The Specs in Enhancing Skills: Analysis of Extensive and Extended Responses to Literary Comprehension Questions (Published)

Why do students respond to literary questions the way they should not be? Filipino college students are in great dilemma in answering literary comprehension question. Do Filipino Tertiary teachers do exercises meant to measure skills necessary for ESL learners? Extensive writing does not only mean excessive and exhaustive writing. Extended response writing on the other hand needs writing prompts. Are questions of BSU literature classes extensive and extended? Using Indirect Functional Behavioral Analysis (IFBA), the researcher aimed at finding out the exhibited behavior of the respondents meant to identify possible conditions in the natural environment indirectly affective on the recollection of such problem behaviors. Checklist of literary questions whether or not extensiveness and extendedness was analyzed. Results show the superficiality of either literary questions or writing prompts. Therefore, there is a need for literary questions to be responsive to the specification needs of the learners.      

Keywords: Extensive and Extended Writing, Response Writing Techniques and Prompts, Specification

A SURVEY PAPER ON ABSTRACT STATE MACHINES AND HOW IT COMPARES TO Z AND VDM (Published)

This codeless method of programming using ASMs is not only capable of producing transparent software but reliable, proven and checked, all the way through its specification as ground model to its implementation. In other words evolving algebra method supports all the software life-cycle phases from initial specifications or requirement gathering to executable code. Above all, this method is platform independent and the ease with which computer scientist can build simple and clean system models out of evolving algebra pushes further the potential it needs to influence future industrial formal methods techniques. This formal specifications and designs demonstrate the consistency between the specifications and the code for all possible data inputs at various levels of abstractions.

Keywords: Evolving Algebra, Formal Methods, Specification, Verification