Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 6 of 6
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.
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.