450 search results - page 17 / 90 » Formal Methods for Industrial Products |
WSC
2008
13 years 9 months ago
2008
Revenue management is the collection of strategies and tactics firms use to scientifically manage demand for their products and services. The practice has grown from its origins i...
MEMOCODE
2005
IEEE
14 years 1 months ago
2005
IEEE
We recall the story of the development of the synchronous data-flow language LUSTRE and of its industrial transfer inside the toolset SCADE. We try to analyse the reasons of its ...
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
In the present paper we propose a method that permits visualization of manufacturing devices from a functional perspective. The aim of this method is to raise raction level of man...
INFSOF
2002
13 years 7 months ago
2002
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
FMICS
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...