450 search results - page 8 / 90 » Formal Methods for Industrial Products |
IPCO
2004
13 years 8 months ago
2004
Managing an industrial production facility requires carefully allocating limited resources, and gives rise to large, potentially complicated scheduling problems. In this paper we c...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
In market-driven product development large numbers of requirements threaten to overload the development organization. It is critical for product management to select the requireme...
JUCS
2007
13 years 7 months ago
2007
: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...
WSC
2008
13 years 9 months ago
2008
Experienced and wise industrial engineering educators and practitioners have long understood that industrial engineering is a coherent discipline encompassing techniques that work...
AEI
2006
13 years 7 months ago
2006
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...