Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 9 of 9
Full-Text Articles in Engineering
A Theory Of Specification-Based Testing For Object-Oriented Software, StéPhane Barbey, Cécile Péraire, Didier Buchs
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
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
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
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
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
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
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
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
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.