Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Denise M. Woit

dblp:47/3493 · DBLP profile ↗
← Back
11ranked-venue papers
8as first author
0since 2021 · last 2005
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Human-computer interaction and ubiquitous computing · 6 · 4 first-authorSoftware engineering, systems software and programming languages · 5 · 4 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
3 papers
Empirical software engineering · 41% Requirements engineering and software design · 32% Software testing · 27%

Topics — the 8 heaviest of 9, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Empirical software engineering
agile software development
0.112005
Requirements interaction management in an eXtreme programming environment: a case study · ICSE 2005
Empirical software engineering › agile software development
extreme programming
0.112005
Requirements interaction management in an eXtreme programming environment: a case study · ICSE 2005
Requirements engineering and software design › software architecture
component-based software engineering
0.012001
Theory of Software Reliability Based on Components · ICSE 2001
Software testing
software reliability
0.012001
Theory of Software Reliability Based on Components · ICSE 2001
Software testing › software reliability
operational profile
0.011993
Specifying Operational Profiles for Modules · ISSTA 1993
Software testing › test generation
random test generation
0.011993
Specifying Operational Profiles for Modules · ISSTA 1993
Software testing
statistical testing
0.011993
Specifying Operational Profiles for Modules · ISSTA 1993
Software testing
test generation
0.011993
Specifying Operational Profiles for Modules · ISSTA 1993

Methods — techniques the papers use, named apart from their topics

reliability modeling · 0.0component certification · 0.0
YearPublicationVenuePosition
2005 Requirements interaction management in an eXtreme programming environment: a case study
abstract
This work reports experience applying the process of Requirements Interaction Management (RIM) within the context of developing a commercial, internet-based software application in an industrial venue, employing the eXtreme Programming (XP) methodology. We describe our means of managing the interactions -- by extending the standard XP requirements process while maintaining consistency with the principles of XP itself. We outline our rationale for modifying the XP requirements process, and provide a temporal comparison showing that, for this project, modified process is essential to successful application of RIM.
Denise M. Woit
ICSE1
2005 Student communication challenges in distributed software engineering environments
abstract
We investigate Non-Face-to-Face (NFtF) distributed collaboration in a population for which technology poses no barrier-students involved in distributed software engineering via Distance Learning. Our study finds students believe themselves significantly less effective in this environment because of lack of traditional non-verbal cues, in partial agreement with previous work. Based on our results, we identify potential problems and present activities to mitigate these so that NFtF oriented interactions may be made more effective for this group.
Denise M. Woit, K. J. Bell
ITiCSE1
2004 Independence Transformations and Tools for Components
abstract
Although component independence is a common underlying assumption in most reliability composition models, relatively little work focuses on this area. Preliminary work, however, shows that continuation passing style (CPS) compliance is an essential property of independent components. We provide a set of transformations which can be used to convert components to functionally equivalent CPS compliant components. We also present a tool to perform these transformations automatically. We include experimental evidence that our tool successfully produces CPS compliant components without altering the functionality of the original components. Use of our tool or manual transformations will aid in the creation of components whose reliabilities can be composed without violating the underlying assumptions of the composition models.
Denise M. Woit, M. Fan
ICECCS1
2003 Effectiveness of online assessment
abstract
For five academic years we have engaged in an on-going study of the effectiveness of online assessment of student programming abilities for introductory programming courses in Computer Science. Our results show that online evaluation can be implemented securely, efficiently, and can result in increased student motivation and programming efficacy; however, unless online components are integrated throughout the course evaluations, student competence will be underestimated. Our data reveals disadvantages of online evaluations, but also shows that both students and faculty benefit when online evaluations are implemented appropriately.
Denise M. Woit, David V. Mason
SIGCSE1
2001 Theory of Software Reliability Based on Components
abstract
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce measurements that are later used by system designers to calculate composite system reliability, without implementation and test of the system being designed. The theory describes how to make component measurements that are independent of operational profiles, and how to incorporate the overall system-level operational profile into the system reliability calculations. In principle, the theory resolves the central problem of assessing a component, which is: a component developer cannot know how the component will be used and so cannot certify it for an arbitrary use; but if the component buyer must certify each component before using it, component based development loses much of its appeal. This dilemma is resolved if the component developer does the certification and provides the results in such a way that the component buyer can factor in the usage information later without repeating the certification. Our theory addresses the basic technical problems inherent in certifying components to be released for later use in an arbitrary system. Most component research has been directed at functional specification of software components; our theory addresses the other equally important side of the coin: component quality.
Richard G. Hamlet, David V. Mason, Denise M. Woit
ICSE3
2000 Enhancing student learning through on-line quizzes
abstract
We have experimented with the use of weekly on-line quizzes to enhance student learning in our first-year computer science courses. In our experiments we compared the effectiveness of using quizzes to the alternative of using weekly marked laboratory assignments. The results of our experiments show that student learning and retention increase with on-line quizzes. Weekly quizzes would be impossible if they were administered and marked in the traditional fashion; thus, we developed and used a secure, online environment for administering, writing, and marking the quizzes, with most of the marking performed automatically via simple marking programs. In this paper we describe our experiment, present our observations about student learning, outline student opinion, relate problems we encountered and our solutions, and provide technical details of our closed-quiz and marking environment.
Denise M. Woit, David V. Mason
SIGCSE1
1999 Providing mark-up and feedback to students with online marking
abstract
Online marking of assignments can lead to improved marking consistency and integrate well with on-line mark reporting. It can also be easier for the marker. Unfortunately, most such systems do not include good feedback mechanisms for the students. This paper describes an environment that provides online marking with convenient, structured and detailed feedback.
David V. Mason, Denise M. Woit
SIGCSE2
1998 Lessons from on-line programming examinations
abstract
We have been using a combination of conventional and on-line programming examinations for the past 3 years in our first year programming courses. We plan to continue using on-line components because of the positive feedback from both students and faculty. We describe the operational and pedagogical lessons we have learned, illustrating problems encountered and our solutions, in the hope that others considering on-line examinations may also benefit from our experiences.
Denise M. Woit, David V. Mason
ITiCSE1
1998 Integrating technology into computer science examinations
abstract
On-line programming tests and examinations were administered to approximately 120 first year computer science students in order to evaluate their practical skills. We describe our motivation for on-line testing, outline the technical details of our closed testing environment, and present our observations about student performance. We also compare the effectiveness of on-line tests versus conventional tests, report the problems we encountered and our solutions, relate student opinion regarding the on-line testing experiment, and present some insights gained by this experiment.
David V. Mason, Denise M. Woit
SIGCSE2
1994 A framework for reliability estimation
abstract
We present a framework for reliability estimation for software modules. The framework comprises methods and tools relating not only to calculating the reliability estimates, but also for specifying and creating the operational profiles and random test cases upon which the estimations are based.>
Denise M. Woit
ISSRE1
1993 Specifying Operational Profiles for Modules
abstract
We describe a technique for specifying operational profiles for modules. The technique is more general than those of the current literature and allows more accurate specification of module usage. We also outline an algorithm for automatically generating random test cases from any such operational profile specification for a module, such that the test cases correspond to a random sampling of the module's input in actual operation. Operational-based statistical estimations, such as operational reliability, may be more meaningful when our specification method and generation algorithm are used, because our method permits more precise specifications than do other methods in the current literature.
Denise M. Woit
ISSTA1