Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 5 of 5

Full-Text Articles in Computer Engineering

A Theory Of Specification-Based Testing For Object-Oriented Software, StéPhane Barbey, Cécile Péraire, Didier Buchs Sep 1996

A Theory Of Specification-Based Testing For Object-Oriented Software, StéPhane Barbey, Cécile Péraire, Didier Buchs

Cécile Péraire

No abstract provided.


Issues And Theory For Unit Testing Of Object-Oriented Software, StéPhane Barbey, Didier Buchs, Cécile Péraire Sep 1996

Issues And Theory For Unit Testing Of Object-Oriented Software, StéPhane Barbey, Didier Buchs, Cécile Péraire

Cécile Péraire

No abstract provided.


Unified Process Specification Language: Requirements For Modeling Process, Craig Schlenoff, Amy Knutilla, Steven Ray Aug 1996

Unified Process Specification Language: Requirements For Modeling Process, Craig Schlenoff, Amy Knutilla, Steven Ray

Steven R Ray

A wide range of applications deal with the manipulation and expression of collections of activities. Examples include project management, workflow management, business process reengineering, product realization process modeling, manufacturing process planning, production scheduling, simulation, and Computer Aided Software Engineering, each of which is supported by some combination of graphical programming and control languages, Petri nets, PERT charts or other representation methodology. Each of these applications serves a specific audience and need, and focuses on particular aspects of a process. Nevertheless, much could be gained by sharing information among applications. One of the primary obstacles to such integration is the lack …


An Architecture Of Component - Based Capp Systems For Agile Manufacturing, Chun Zhang, Shaw Feng, Steven Ray Jan 1996

An Architecture Of Component - Based Capp Systems For Agile Manufacturing, Chun Zhang, Shaw Feng, Steven Ray

Steven R Ray

The current manufacturing planning software systems (such as computer aided process planning (CAPP) systems) are general and in a closed form, i.e., it is very difficult to modify these systems to respond to a user's dynamically changing needs. These systems are no longer suitable for agile manufacturing. This research work aims at developing an architecture for rapid development of CAPP systems. The architecture supports the construction of CAPP systems from prepackaged, plug-compatible software components. The specifications of the architecture and its building blocks are defined. A prototype system is under development to prove the concept.


A Theory Of Specification-Based Testing For Object-Oriented Software, StéPhane Barbey, Didier Buchs, Cécile Péraire Dec 1995

A Theory Of Specification-Based Testing For Object-Oriented Software, StéPhane Barbey, Didier Buchs, Cécile Péraire

Cécile Péraire

No abstract provided.