Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
- Publication
- File Type
Articles 1 - 7 of 7
Full-Text Articles in Computer Engineering
From Requirements To Tests Via Object-Oriented Design, StéPhane Barbey, Didier Buchs, Marie-Claude Gaudel, Bruno Marre, Cécile Péraire, Pascale Thévenod-Fosse, Hélene Waeselynck
From Requirements To Tests Via Object-Oriented Design, StéPhane Barbey, Didier Buchs, Marie-Claude Gaudel, Bruno Marre, Cécile Péraire, Pascale Thévenod-Fosse, Hélene Waeselynck
Cécile Péraire
No abstract provided.
A Multi-Media Computer Application For Undergraduate Instruction: Attention Deficit Hyperactivity Disorder As A Model, A. R. Arachy, Lisa (Miller) Zilinski, I. B. Johanson, L. M. Terry
A Multi-Media Computer Application For Undergraduate Instruction: Attention Deficit Hyperactivity Disorder As A Model, A. R. Arachy, Lisa (Miller) Zilinski, I. B. Johanson, L. M. Terry
Lisa Zilinski
The study of Attention Deficit Hyperactivity Disorder (ADHD) can be used as a model to understand neuro-biological mechanisms of behavior. Neuropharmacological and neuroanatomical studies of children with ADHD can be used to stimulate interest in these fields incorporating both clinical and basic issues. The purpose of this paper is to illustrate the use of a multi-media computer application (Hyperstudio) in the presentation of complex neurobiological material using ADHD as a clinical example. The growing availability of computers and multi-media software in educational settings can enhance lectures and increase the opportunity for interactive study by students. The purpose of this paper …
An Analysis Of Requirements For Specifying Manufacturing Engineering And Business Processes, Steven Ray, Amy Knutilla, Craig Schlenoff
An Analysis Of Requirements For Specifying Manufacturing Engineering And Business Processes, Steven Ray, Amy Knutilla, Craig Schlenoff
Steven R Ray
A wide range of manufacturing software applications deal with the manipulation and expression of collections of activities. Examples include manufacturing process planning, production scheduling, simulation, project management, workflow, business process reengineering, and product realization process modeling. While each of these applications serves a specific audience and need and focuses on particular aspects of a process, much could be gained by sharing process information among applications. One of the primary obstacles to such integration is the lack of any common representation of what is really the underlying concept of process. The objective of the work described here is to investigate the …
Test Selection For Object-Oriented Software Based On Formal Specifications, Cécile Péraire, StéPhane Barbey, Didier Buchs
Test Selection For Object-Oriented Software Based On Formal Specifications, Cécile Péraire, StéPhane Barbey, Didier Buchs
Cécile Péraire
No abstract provided.
Testing The Production Cell Case Study From Co-Opn Specification, Cécile Péraire, StéPhane Barbey, Didier Buchs
Testing The Production Cell Case Study From Co-Opn Specification, Cécile Péraire, StéPhane Barbey, Didier Buchs
Cécile Péraire
No abstract provided.
Process Specification Language: An Analysis Of Existing Representations, Amy Knutilla, Stephen Polyak, Craig Schlenoff, Shu Cheah, Steven Ray, Richard Anderson
Process Specification Language: An Analysis Of Existing Representations, Amy Knutilla, Stephen Polyak, Craig Schlenoff, Shu Cheah, Steven Ray, Richard Anderson
Steven R Ray
The goal of the NIST Process Specification Language (PSL) project is to investigate and arrive at a neutral, unifying representation of process information to enable sharing of process data among manufacturing engineering and business applications. This paper focuses on the second phase of the project, the analysis of existing process representations to determine how well existing process representation methodologies support the requirements for specifying processes found in Phase One. This analysis will provide an objective basis from which to develop a comprehensive language and will promote the leveraging of existing work.
Incremental Test Selection For Specification-Based Unit Testing Of Object-Oriented Software Based On Formal Specifications, StéPhane Barbey, Didier Buchs, Cécile Péraire, Alfred Strohmeier
Incremental Test Selection For Specification-Based Unit Testing Of Object-Oriented Software Based On Formal Specifications, StéPhane Barbey, Didier Buchs, Cécile Péraire, Alfred Strohmeier
Cécile Péraire
No abstract provided.