Premium
Continuous Electronic ENhancements using Simulatable Specifications
Author(s) -
Gearhart Larry,
Thullen Mark,
Winn Alan
Publication year - 1997
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.1997.tb02169.x
Subject(s) - wright , computer science , process (computing) , software engineering , development (topology) , new product development , systems engineering , manufacturing engineering , reliability engineering , engineering , operating system , programming language , business , mathematical analysis , mathematics , marketing
Current board/module‐level development processes cause errors in specifications and design while developing a product, and are usually not identified until late in development. Defining the system requirements for applying formal methods to the specification of board/module‐level products, and the associated impacts to the development process, tool integration, and electronic data interchange (EDI) will significantly alleviate these errors. The CEENSS program has several demonstrations, beginning with Build‐1 in January of 1997, which will examine the efficacy of this methodology. The CEENSS Project is sponsored by the Manufacturing Technology Directorate of Wright Laboratory, WL/MTIB, Wright Patterson AFB.