No abstract

Engaging and maintaining student engagement with the content of a course in formal language theory and the theory of computation is notoriously difficult. A major factor is student's perception of the relevance of the required mathematical material to computer science as they have studied the discipline. Usually, the mathematical material discourages students and for many it forms an insurmountable barrier. This paper describes the construction of a course using the discovery learning technique known as the Moore Method that directly addresses student engagement with this material. The results of the delivery of this course were that students remained engaged with the course throughout the semester and enthusiastically received the pedagogical approach employed. While the course described was delivered to a small class in a liberal arts college, it may be adapted to larger class sizes and taught in any computer science program.

The capture of design rationale in terms of the process and product quality requirements for a software system from different perspectives in concurrent engineering poses two challenges (1) process and product quality requirements arising from different perspectives usually conflict with each other, and (2) both process and product quality requirements are often vague and imprecise Recent research into methods for handling software quality requirements has taken one of two approaches—quantitative and qualitative Quantitative approaches are based upon software metrics and specify requirements using predicate logic Qualitative approaches represent requirements qualitatively and decompose the requirements into a hierarchy of subrequirements A unified approach for specifying and analyzing requirements quantitatively and qualitatively is also developed based on fuzzy logic However, none of these methods addresses design rationale capture based on integrated analysis of both product and process quality requirements from multiple perspectives in concurrent software development In this paper a formal framework is developed for an integrated analysis of software process and product quality requirements to support design rationale capture from

No abstract

No abstract