Sciweavers

1032 search results - page 136 / 207
» A Survey on Industrial Software Engineering
Sort
View
ICST
2010
IEEE
15 years 4 months ago
Generating Transition Probabilities for Automatic Model-Based Test Generation
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
Abderrahmane Feliachi, Hélène Le Gue...
CCE
2011
15 years 1 months ago
Cell-based dynamic heat exchanger models - Direct determination of the cell number and size
Large amounts of thermal energy are transferred to for heating or cooling in the industry as well as in the other sectors. Typical examples are crude oil preheating, ethylene plan...
Petar Sabev Varbanov, Jirí Jaromír K...
ICSM
2009
IEEE
16 years 1 months ago
Regression model checking
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
Guowei Yang, Matthew B. Dwyer, Gregg Rothermel
KBSE
2008
IEEE
16 years 23 days ago
Utilizing Firm-Hosted Online Communities: Research challenges and needs
The increased popularity of Firm-Hosted Online Communities (FOC) has initiated a radical transformation of customer-producer relationships in many industries with important implic...
Sami Jantunen, Kari Smolander, Sanna Malinen, Tytt...
CSSE
2008
IEEE
15 years 6 months ago
The Virtual Automotive Paint Shop
Along with the variation of the market circumstance the automotive industry has to be confronted with various challenges. In order to satisfy the customers' requirement of Imp...
Song Cheng, Han Jing Yuan