Sciweavers

659 search results - page 74 / 132
» Process Modeling in the telco industry
Sort
View
ISORC
2005
IEEE
14 years 2 months ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
Zonghua Gu, Kang G. Shin
WCE
2007
13 years 10 months ago
Human error of commission modeled with Theory of Games
— Industrial plants makes a carefully trace of the human intervention on the process. This intervention happens at different points in the history of the facility, since the desi...
Selva S. Rivera, Jorge E. Núñez Mc L...
ELPUB
1999
ACM
14 years 1 months ago
Learning Curves: Managing Smooth Product Development Cycles in Non-Print Environments
and abstract entry. But since the burgeoning of the scholarly literature since World War II, these processes had become well-known and expertly done by most organizations in the pu...
Jill O'Neill, Chris Leonard
ICSM
1995
IEEE
14 years 25 days ago
Iterative reengineering to compensate for quick-fix maintenance
A typical approach to software maintenance is analyzing just the source code, applying some patches, releasing the new version, and then updating the documentation. This quick-fix...
Filippo Lanubile, Giuseppe Visaggio
ISF
2006
161views more  ISF 2006»
13 years 9 months ago
Capturing and reusing knowledge in engineering change management: A case of automobile development
The development of complex products, such as automobiles, involves engineering changes that frequently require redesigning or altering the products. Although it has been found that...
Hong Joo Lee, Hyung Jun Ahn, Jong Woo Kim, Sung Jo...