Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Synthesis and processing”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
DOE OSTI2022

A Novel Process for Carbon Dioxide Conversion to Fuel

In this project, TDA developed a new mixed metal oxide-based sorbent that converts CO2 (captured from coal fired power plants) to CO, which can then be combined with renewable H2 generated by water electrolysis or H2 from steam methane reforming to produce different liquid fuels. TDA’s absorbent-based CO2 conversion process uses a redox process, which splits the catalytic reforming of methane with CO2 reaction into two stages: CO2 reduction to CO and CH4 reforming into H2 and CO which eliminates the equilibrium limitations. The CO produced in the two-stage reactor system can then be further reacted with renewable H2 to produce methanol, naphtha, diesel, or gasoline. We worked with the Advanced Power & Energy Program (APEP) of University of California, Irvine (UCI) to design and develop the liquid fuel synthesis process that is built around this new material. We demonstrated the techno-economic viability of the new sorbent based redox process to convert CO2 into synthesis gas by demonstrating continuous carbon dioxide reduction in a prototype test system for over 585 hours while converting up to 10 kg CO2/day. With the successful completion of the R&D effort, the technology is now ready for a larger pilot-scale demonstration and the technology readiness has been raised from TRL 3 to TRL 5. In collaboration with UCI, we completed a high-fidelity process design and economic analysis. The required sale price (RSP) for gasoline (Case 1 NG-MTG) is $4.91/gal and naphtha and diesel (Case 2 NG-FT) are $4.23/gal and $6.07/gal, respectively, on a 2011 dollar basis. To put these costs in perspective, the California prices in current dollars (with its strict specifications) for regular grade gasoline from last year to current year have varied from a low of $3.10/gal in January 2021 to a high of $5.76/gal in March 2022, while prices for diesel from last year to current year have varied from a low of $3.40/gal in January 2021 to a high of $6.41/gal in May 2022 according to the U.S. Energy Information Agency data. It should be noted that the gasoline and diesel produced by these designs of Case 1 and Case 2 would be of very high quality and both nitrogen and sulfur free. These RSPs are based on a cost of imported electricity of $64/MWh based on the low-end current wind generated electricity cost (Genevieve 2011). This cost is by far the largest component of the variable costs used in computing the RSPs. A sensitivity analysis of these RSPs to the cost of imported electricity shows that the cost of the imported electricity has a significant effect on the RSPs. The life cycle analysis (LCA) shows that the total cradle-to-gate CO2 emissions for both liquid fuels (diesel and gasoline) were negative, indicating that overall more CO2 is consumed than released during production of the fuel from CO2 feed stack for both cases (-296 kgCO2 per MT gasoline for Case 1 and -705 kgCO2 per MT diesel for Case 2). On a cradle-to-grave comparison, the use of diesel produced using TDA’s process (2,457 kgCO2 per MT diesel) would release 37.6% less CO2 compared to petroleum based diesel (3,937 kgCO2 per MT diesel) while the use of gasoline produced using TDA’s process (2,792 kgCO2 per MT gasoline) would release 29.3% less CO2 compared to petroleum based gasoline (3,946 kgCO2 per MT gasoline). With the successful completion of the R&D effort, the technology is now ready for a bench-scale demonstration and the technology readiness has been raised from TRL 3 (Analytical and experimental critical function and/or characteristic proof of concept) to TRL 5 (Laboratory scale similar system validation in relevant environment).

20 FOSSIL-FUELED POWER PLANTS↗
DOE OSTI2023

In planta single-molecule imaging and holographic force spectroscopy to study real-time, multimodal turnover dynamics of polysaccharides and associated carbohydrate metabolites

Cellular production of polysaccharides from simple sugar molecules serves critical roles in a variety of metabolic processes essential to the survival of every living organism. In the context of photosynthetically fixed carbon, cell wall polysaccharides synthesis is particularly of interest for increased biomass accumulation for human food, animal feed, and bioenergy related applications. Despite a long history of research in plant cell biology, our understanding of in planta cell wall biosynthesis and its regulation is far from complete due to lack of a comprehensive microscopy toolkit that encompass the multiple spatial and temporal scales in which cell wall polysaccharides fibrils are synthesized and assembled into intricate cell wall networks. In this project, a multidisciplinary team of scientists from Rutgers University, Vanderbilt University, and Oak Ridge National Laboratory carried out innovative multimodal, multiscale microscopy studies of cell wall synthesis using single-molecule force-spectroscopy, super-resolution fluorescence microscopy, and in vivo live cell imaging. Our novel multimodal and holistic imaging approach revealed plant cell wall polysaccharides synthesis processes in unprecedented detail across multiple spatiotemporal scales, from a single-molecule to a single-cell. Besides, the team has made technical and scientific innovations across multiple research fields—microscopy, bioengineering, single-molecule biophysics, and plant biology, etc.—to accomplish the goals. The results from this project will greatly advance the mechanistic and holistic understanding of in planta cell wall synthesis, which will accelerate the development of better transgenic crops for bioenergy applications. Moreover, the new toolbox, combining powerful advanced microscopy assays with cell/protein engineering, will have broader impacts on molecular and cellular biology fields by paving the way for studying cellular processes occurring across multiple physical scales with multimodal microscopy methodologies.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS1985

Processing of laser formed SiC powder

Superior SiC characteristics can be achieved through the use of ideal constituent powders and careful post-synthesis processing steps. High purity SiC powders of approx. 1000 A uniform diameter, nonagglomerated and spherical were produced. This required major revision of the particle formation and growth model from one based on classical nucleation and growth to one based on collision and coalescence of Si particles followed by their carburization. Dispersions based on pure organic solvents as well as steric stabilization were investigated. Although stable dispersions were formed by both, subsequent part fabrication emphasized the pure solvents since fewer problems with drying and residuals of the high purity particles were anticipated. Test parts were made by the colloidal pressing technique; both liquid filtration and consolidation (rearrangement) stages were modeled. Green densities corresponding to a random close packed structure (approx. 63%) were achieved; this highly perfect structure has a high, uniform coordination number (greater than 11) approaching the quality of an ordered structure without introducing domain boundary effects. After drying, parts were densified at temperatures ranging from 1800 to 2100 C. Optimum densification temperatures will probably be in the 1900 to 2000 C range based on these preliminary results which showed that 2050 C samples had experienced substantial grain growth. Although overfired, the 2050 C samples exhibited excellent mechanical properties. Biaxial tensile strengths up to 714 MPa and Vickers hardness values of 2430 kg/sq mm 2 were both more typical of hot pressed than sintered SiC. Both result from the absence of large defects and the confinement of residual porosity (less than 2.5%) to small diameter, uniformly distributed pores.

Haggerty, J. S.↗
NASA NTRS1982

The chemical basis for the origin of the genetic code and the process of protein synthesis

The major thrust is to understand just how the process of protein synthesis, including that very important aspect, genetic coding, came to be. Two aspects of the problem: the chemistry of active aminoacyl species; and affinities between amino acids and nucleotides, and specifically, how these affinities might affect the chemistry between the two are stressed.

Source record↗
NASA NTRS1990

Conservative buffering of approximate nonlinear constraints

In engineering design practice behavior is usually predicted based on some known nominal design. However, when the design is fabricated it will differ from the nominal design because of manufacturing tolerances. In order to generate nominal designs that will still satisfy behavior constraints in the presence of manufacturing tolerances, engineers resort to the use of safety factors, over and above those introduced to account for other uncertainties (e.g., in load conditions, material properties, analysis modeling). The accurate selection of the values of these manufacturing tolerances safety factors is dependent on the capability of the engineer to determine the sensitivity of the critical constraints to changes in the design variables. This process usually leads to overly conservative designs. The task of choosing safety factors is much more difficult in structural synthesis because: (1) it is not known which constraints will be active at the final design, (2) as the design changes during the synthesis process the sensitivities of the constraints with respect to the design variables also change, and (3) the imposition of the safety factors themselves may change the set of critical constraints. These difficulties can be overcome with the approximation concepts approach to structural synthesis by buffering the approximate constraints with quantities that are related to the design variable tolerances and the accurate sensitivities of the constraints with respect to the design variable. Designs generated by this approach tend to be feasible but not overly conservative.

Thomas, H. L.↗
DOE OSTI2024

In Situ Insights into Cathode Calcination for Predictive Synthesis: Kinetic Crystallization of LiNiO 2 from Hydroxides

Abstract Calcination is a solid‐state synthesis process widely deployed in battery cathode manufacturing. However, its inherent complexity associated with elusive intermediates hinders the predictive synthesis of high‐performance cathode materials. Here, correlative in situ X‐ray absorption/scattering spectroscopy is used to investigate the calcination of nickel‐based cathodes, focusing specifically on the archetypal LiNiO 2 from Ni(OH) 2 . Combining in situ observation with data‐driven analysis reveals concurrent lithiation and dehydration of Ni(OH) 2 and consequently, the low‐temperature crystallization of layered LiNiO 2 alongside lithiated rocksalts. Following early nucleation, LiNiO 2 undergoes sluggish crystallization and structural ordering while depleting rocksalts; ultimately, it turns into a structurally‐ordered layered phase upon full lithiation but remains small in size. Subsequent high‐temperature sintering induces rapid crystal growth, accompanied by undesired delithiation and structural degradation. These observations are further corroborated by mesoscale modeling, emphasizing that, even though calcination is thermally driven and favors transformation towards thermodynamically equilibrium phases, the actual phase propagation and crystallization can be kinetically tuned via lithiation, providing freedom for structural and morphological control during cathode calcination.

36 MATERIALS SCIENCE↗
DOE OSTI2023

Proton-Conducting Solid Oxide Electrolysis Cells for Large-scale Hydrogen Production at Intermediate Temperatures

Proton-conducting electrolyte based SOECs offer potential for operation at low to intermediate temperatures. Although yttrium-doped barium zirconate (BZY) and ceria-doped barium zirconate (BCY) have conductivity of 0.01 and 0.017 S.cm -1 respectively at 650C in comparison to the conductivity of 0.015 S.cm -1 for 8-YSZ at 850°C, there remains technology gaps and research needs related to understanding of chemical and structural stability in oxidizing and/or reducing atmospheres at intermediate temperatures, material processing and densification techniques, high polarization losses, and electrode poisoning due to intrinsic and extrinsic gas phase contaminants. Synthesis methods have produced proton-conducting materials and cells that met degradation rate targets, showcasing stable hydrogen production. Improved performance was evident in the HSOEC cell, achieving higher hydrogen production at a lower operating temperature compared to standard cells. Collaborations with multiple research facilities ensured scaling up of synthesis processes and milestone achievements for large-scale manufacturing. Assessment of contaminants revealed their adverse effects on electrode performance and structural stability. Contaminants like Cr and Si compounds, in high humidity, degraded electrodes by forming stable silicate and chromates, inhibiting active surface reactions. Getter materials showed promise in capturing contaminants, suggesting potential for mitigation.

08 HYDROGEN↗
NASA NTRS1979

Mechanism of disorder of plastic processes in tissue during prolonged hypokinesia

The subcellular structures of the myocardium, skeletal muscles, liver and kidneys of adult rats subjected to hypokinesia (in immobilization chambers) for 15, 30, and 45 days were studied. An anabolyser (retabolil) and vitamin D (a Ca metabolism regulator) were administered to two groups of rats. On the second week of hypokinesia, inhibition of synthesis processes was observed. Administration of retabolil increased protein synthesis both in the normal and hypokinesia-subjected rats; however, in the latter group, synthesis did not completely normalize, especially in the myocardium. Administration of vitamin D also stimulated protein synthesis, apparently by normalizing Ca tissue metabolism. The combined action of both preparations was the most effective in normalizing protein synthesis intensity. It was concluded that inhibition of synthesis is related to weakening of hormone synthesis induction and disorder of Ca metabolism.

Makarov, G. A.↗
DOE OSTI2023

Combined Algal Processing for the Synthesis of Liquid Oleofuels and Products (CAPSLOC) - WBS 1.3.4.204

Combined Algal Processing for the Synthesis of Liquid Oleofuels and Products (CAPSLOC) aims to develop a biorefinery concept that is composition-agnostic and enables economically, environmentally, and socially viable biofuel production by maximizing the value from each fraction. To achieve this, we have employed an iterative approach between R&D and TEA/LCA to establish process targets and quantify improvements in the minimum fuel selling price (MFSP), reduce carbon intensity, and support the state of technology (SOT). We have surveyed various methods for biomass pretreatment and successfully demonstrated pre-pilot scale pretreatment in batch mode. Using techniques such as lipid modification, fermentation, mild oxidative treatment (MOT), and carbonization, we have developed biofuel precursors and a range of value-added co-products. Our project has demonstrated significant improvements in key aspects of algae processing, particularly in pretreatment technologies suitable for variable composition, co-products available from lipid and extracted solid streams, conditioning and fermenting high-protein hydrolysates, and recovering nitrogen (N) and phosphorus (P) nutrients for recycling to cultivation ponds. The success of this project will support the commercialization of a sustainable microalgal biorefinery industry.

biofuel↗
DOE OSTI2022

Wet chemical synthesis and properties of argyrodite sulfide solid electrolytes for solid state lithium batteries

The commercialization of the lithium-ion battery (LIB) in 1991 was responsible for the explosion in portable electronic technologies that has been seen over the past 30 years. With the advent of electric vehicles and other high-powered technologies, there is tremendous demand for LIBs with higher energy density and high safety. To achieve this, new electrode materials must be explored. The obvious choice of anode material would be pure metal lithium, which has a theoretical specific capacity of 3860 mAh g-1 . Unfortunately, metal lithium anodes have not been widely commercialized due to their tendency to react violently with the flammable liquid electrolytes used in today’s batteries. Battery safety can best be achieved by adopting solid electrolytes in place of liquid electrolytes. Solid electrolytes are nonvolatile and nonflammable, safely allowing for the combination of high-capacity cathode materials with a Li metal anode. Argyrodite sulfide solid electrolytes such as halogen-doped Li6PS5X (X = Cl, Br, I) are noted for their high ionic conductivity. But before sulfides can be commercially adopted, they possess several disadvantages which must be addressed, including time- and energy-consuming synthesis processes, poor electrochemical stability, and intrinsically poor air stability. This dissertation seeks to address each of these challenges through materials design an synthesis strategies. In this work, we pioneer a solvent-based approach for the synthesis of argyrodite solid electrolytes Li7PS6 and Li6PS5Xinstead of a stringent solid-state synthesis. Nontoxic ethanol is employed as the solvent, enabling a rapid synthetic approach to produce argyrodite solid electrolytes with high phase purity and compositional flexibility. Compared with Li7PS6, halogen doping (i.e. X = F, Cl, Br, I) not only increases the ionic conductivity, but also enhances the electrochemical stability at the interface towards Li metal. Specifically, F-doped argyrodites produce a robust SEI layer containing LiF, contributing to enhanced interfacial stability. Finally, to address the air instability challenge, argyrodite-incorporated composite solid electrolytes (CSEs) are designed and prepared to produce stable and flexible membranes that are demonstrated in solid-state Li metal batteries. These advances push argyrodite sulfide solid electrolyte research further and pave the way for the proliferation of next generation lithium metal batteries.

25 ENERGY STORAGE↗
DOE OSTI2022

Status Report 2: Advanced Nuclear Reactors Utilized for Synthetic Fuel Creation

Synthetic fuels (synfuels) are hydrocarbon fuels that source energy from electricity. Synfuels have the potential to significantly reduce greenhouse gas emissions throughout the transportation sector. To achieve this substantial reduction in greenhouse gas emissions, the electricity must be sourced from zero- or near-zero-carbon fuel sources such as solar, wind, hydroelectricity, and nuclear power. Synfuels are produced from a combination of carbon and hydrogen sources. Hydrogen can be sourced from water electrolysis with near-zero-carbon electricity and heat (e.g., nuclear), while carbon dioxide can be sourced from ethanol and ammonia plants. In the hydrocarbon fuel synthesis process, hydrogen and carbon dioxide can be reacted to produce carbon monoxide and water, via the so-called reverse watergas shift reaction. Carbon monoxide can then react with additional hydrogen to form hydrocarbons, with carbon chains ranging from C1–C30 in the reaction known as the Fischer-Tropsch (F-T) synthesis reaction. The synthesized hydrocarbon molecules can then be hydro-processed with additional hydrogen and distilled into different carbon chain lengths so as to be compatible with existing conventional gasoline, jet, and diesel fuels. Carbon-free synfuel production comes with a “green premium” over the manufacture of identical products via conventional fossil fuels. Reports from Argonne National Laboratory (ANL) reveal that hydrogen costs dominate the cost of carbon-free synfuel production. This suggests that for the cost of green synfuel to approach that of conventional petroleum fuel, the cost of hydrogen must be approximately $\$1$/kg. Of the primary low-carbon energy sources, only nuclear carries the potential to produce hydrogen at below $\$2$/kg. (Still a bit above the lofty $\$1$/kg goal, but perhaps manageable). To further identify the potential for creating low-cost synfuels capable of competing with legacy technologies, the Department of Energy Office of Nuclear Energy has funded a multi-program, multi-lab effort among ANL, Idaho National Laboratory (INL), the Integrated Energy Systems (IES) program, and the Light Water Reactor Sustainability (LWRS) program. This collaboration effort will determine the possibility of using current and next generation nuclear reactors to create low-cost carbon-free synfuels for sale in the U.S. energy and commodities market.

10 SYNTHETIC FUELS↗
DOE OSTI2022

Identification of 2,2-dinitropropanol, a Hydrolyzed Product of Aged Eutectic Bis(2,2-dinitropropyl) Acetal – Bis(2,2-dinitropropyl) Formal Mixture

Eutectic bis(2,2-dinitropropyl) acetal - bis(2,2-dinitropropyl) formal mixture, nitroplasticizer (herein called NP) has historically been produced by either the ter Meer or oxidative nitration synthesis process, wherein 2,2-dinitropropanol (DNPOH) is produced as an intermediate step in both processes. Therefore that DNPOH, could be present in NP either as a production or hydrolysis degradation product is worth investigation. Here, we synthesized DNPOH, validated the synthesis using NMR, and identified DNPOH in aged NP using liquid chromatography tandem time of flight – quadrupole mass spectrometry (LC-QTOF). Using these results, for the first time we positively identify that DNPOH is absent from NP after its production, but is present as a degradation product through hydrolysis from a thermo-chemical aging profile of NP. To hydrolyze NP, prerequisite is the presence of both water and acid. Despite the presence of water in NP, DNPOH is only generated in the late stage of the aging process, when acid concentration is sufficiently high. It has been previously shown both theoretically and experimentally that a primary step of NP degradation is HONO elimination followed by decomposition, wherein nitric acid, nitrous acid, and water are produced (NP→NP’+2HONO and 2HONO→NO+NO 2 +H 2 O). It is shown from this reaction series that water slows HONO decomposition and therefore in small quantities, 100 s of ppm, water actually stabilizes NP against hydrolysis by equilibrium and reducing acidity.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2023

Pulsed Light Synthesis of High Entropy Nanocatalysts with Enhanced Catalytic Activity and Prolonged Stability for Oxygen Evolution Reaction

The ability to synthesize compositionally complex nanostructures rapidly is a key to high-throughput functional materials discovery. In addition to being time-consuming, a majority of conventional materials synthesis processes closely follow thermodynamics equilibria, which limit the discovery of new classes of metastable phases such as high entropy oxides (HEO). Herein, a photonic flash synthesis of HEO nanoparticles at timescales of milliseconds is demonstrated. By leveraging the abrupt heating and cooling cycles induced by a high-power-density xenon pulsed light, mixed transition metal salt precursors undergo rapid chemical transformations. Hence, nanoparticles form within milliseconds with a strong affinity to bind to the carbon substrate. Oxygen evolution reaction (OER) activity measurements of the synthesized nanoparticles demonstrate two orders of magnitude prolonged stability at high current densities, without noticeable decay in performance, compared to commercial IrO 2 catalyst. This superior catalytic activity originates from the synergistic effect of different alloying elements mixed at a high entropic state. It is found that Cr addition influences surface activity the most by promoting higher oxidation states, favoring optimal interaction with OER intermediates. The proposed high-throughput method opens new pathways toward developing next-generation functional materials for various electronics, sensing, and environmental applications, in addition to renewable energy conversion.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2022

Designing silicon carbide heterostructures for quantum information science: challenges and opportunities

Abstract Silicon carbide (SiC) can be synthesized in a number of different structural forms known as polytypes with a vast array of optically active point defects of interest for quantum information sciences. The ability to control and vary the polytypes during SiC synthesis may offer a powerful methodology for the formation of new material architectures that expand our ability to manipulate these defects, including extending coherence lifetimes and enhancing room temperature operation. Polytypic control during synthesis presents a significant challenge given the extreme conditions under which SiC is typically grown and the number of factors that can influence polytype selection. In situ monitoring of the synthesis process could significantly expand our ability to formulate novel polytype structures. In this perspective, we outline the state of the art and ongoing challenges for precision synthesis in SiC. We discuss available in situ x-ray characterization methods that will be instrumental in understanding the atomic scale growth of SiC and defect formation mechanisms. We highlight optimistic use cases for SiC heterostructures that will become possible with in situ polytypic control and end by discussing extended opportunities for integration of ultrahigh quality SiC materials with other semiconductor and quantum materials.

Harmon, K. J. (ORCID:0000000164277971)↗
NASA NTRS1984

Status of high temperature adhesives

The status of high temperature organic adhesives is reviewed. These materials are defined by having usable adhesive properties at temperatures ranging from 232 C (after hundreds of hours at 232 C) to 538 C (after a few minutes at 538 C). The search for high temperature adhesives began in the 1960s, primarily under government funding. Since then, many high temperature polymers have undergone evaluation as adhesives. In spite of this effort, only a few are commercially available because of an elusive market and an unfavorable combination of price, processability and performance. The principal adhesives to be discussed will be addition and condensation polyimides, polyquinoxalines, polybenzimidazoles, and addition, condensation, and cross-linked polyphenylquinoxalines. The synthesis, processability, adhesive performance, and availabiity of these materials are addressed.

Hergenrother, P. M.↗
NASA NTRS1991

Advanced Materials Center, Battelle

The goal of the Mixed Oxide Program is to determine the results obtained by using microgravity processing on a commercially significant catalyst - V-P-O System. The topics are presented in viewgraph form and include the following: (1) reasons for using microgravity; (2) the synthesis process; (3) novel results of the earth based program; and (4) Dupont interests.

Bellis, Harold↗
DOE OSTI2025

Ultrafast Photoflash Synthesis of High-Entropy Oxide Nanoparticles

High-entropy metal oxides (HEOs) have recently received growing attention for broad energy conversion and storage applications due to their tunable properties. HEOs typically involve the combination of multiple metal cations in a single oxide lattice, thus bringing distinctive structures, controllable elemental composition, and tunable functional properties. Many synthesis methods for HEOs have been reported, such as solid-state reactions and carbon thermal shock methods. These methods frequently are energy-intensive or require relatively expensive heating equipment. In this work, we report an ultrafast photoflash synthesis method for HEO nanoparticles on diverse substrates. The energy input is provided by a commercial Xe photoflash unit, which triggers exothermic reactions to convert metal salt precursors to HEO nanoparticles within tens of milliseconds. The formation of HEO nanoparticles is attributed to the ultrafast heating (∼106 K/s) and cooling (∼105 K/s) rates of the photoflash and overall high temperature (>1000 K) during the ultrafast synthesis process. When the synthesized CoNiFeCrMn oxide (HEO) is tested as an oxygen evolution reaction electrocatalyst, it shows similar activity to similar materials prepared by other methods. We believe this photoflash synthesis provides a simple method for many others to synthesize diverse HEOs and explore their properties and potential applications.

exothermic reaction synthesis↗
NASA NTRS1992

Reuse: A knowledge-based approach

This paper describes our research in automating the reuse process through the use of application domain models. Application domain models are explicit formal representations of the application knowledge necessary to understand, specify, and generate application programs. Furthermore, they provide a unified repository for the operational structure, rules, policies, and constraints of a specific application area. In our approach, domain models are expressed in terms of a transaction-based meta-modeling language. This paper has described in detail the creation and maintenance of hierarchical structures. These structures are created through a process that includes reverse engineering of data models with supplementary enhancement from application experts. Source code is also reverse engineered but is not a major source of domain model instantiation at this time. In the second phase of the software synthesis process, program specifications are interactively synthesized from an instantiated domain model. These specifications are currently integrated into a manual programming process but will eventually be used to derive executable code with mechanically assisted transformations. This research is performed within the context of programming-in-the-large types of systems. Although our goals are ambitious, we are implementing the synthesis system in an incremental manner through which we can realize tangible results. The client/server architecture is capable of supporting 16 simultaneous X/Motif users and tens of thousands of attributes and classes. Domain models have been partially synthesized from five different application areas. As additional domain models are synthesized and additional knowledge is gathered, we will inevitably add to and modify our representation. However, our current experience indicates that it will scale and expand to meet our modeling needs.

Iscoe, Neil↗