Engineering Commons^™

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

Cécile Péraire

No abstract provided.

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 …

Development Of A Bovine X Chromosome Linkage Group And Painting Probes To Assess Cattle, Sheep, And Goat X Chromosome Segment Homologies., Sakthikumar Ambady, F.Abel Ponce Leon, Gregory Hawkins, Steven Kappes, Michael Bishop, James Robl, Craig Beattle

Sakthikumar Ambady

The X chromosome linkage group is conserved in placental mammals. However, X chromosome morphological differences, due to internal chromosome rearrangements, exist among mammalian species. We have developed bovine chromosome painting probes for Xp and Xq to assess segment homologies between the submetacentric bovine X chromosome and the acrocentric sheep and goat X chromosomes. These painting probes and their corresponding DNA libraries were developed by chromosome micromanipulation, DNA micropurification, microcloning, and PCR amplification. The bovine Xp painting probe identified an interstitially located homologous segment in the sheep and goat Xq region, most probably resulting from chromosome inversion. Ten type II (microsatellite) …

Teaching Engineering Ethics: Why? What? Where? When?, Michael Pritchard, C.E. Harris, Michael Rabins

Michael Pritchard

Scanning Local‐Acceleration Microscopy, Nancy Burnham, A. Kulik, G. Gremaud, P. Gallo, F. Oulevey

Nancy A. Burnham

By adapting a scanning force microscope to operate at frequencies above the highest tip–sample resonance, the sensitivity of the microscope to materials’ properties is greatly enhanced. The cantilever’s behavior in response to high‐frequency excitation from a transducer underneath the sample is fundamentally different than to its low‐frequency response. In this article, the motivations, instrumentation, theory, and first results for this technique are described.

Materials’ Properties Measurements: Choosing The Optimal Scanning Probe Microscope Configuration, Nancy Burnham, G Gremaud, A Kulik, P Gallo, F Oulevey

Nancy A. Burnham

Rheological models are used to represent different scanning probe microscope configurations. The solutions for their static and dynamic behavior are found and used to analyze which scanning probe microscope configuration is best for a given application. We find that modulating the sample at high frequencies results in the best microscope behavior for measuring the stiffness of rigid materials, and that by modulating the tip at low frequencies and detecting the motion of the tip itself (not its position relative to the tip holder) should be best for studying compliant materials in liquids.

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

Cécile Péraire

No abstract provided.