Sciweavers

9974 search results - page 1358 / 1995
» Software Interconnection Models
Sort
View
RE
2002
Springer
15 years 6 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
CCE
2008
15 years 5 months ago
Optimal current distribution control for parallel electrolytic baths
A simple optimal balance control scheme for electrolyzation plants is proposed. It can be realized through the use of a commercially available model predictive control (MPC) packa...
Hidekazu Kugemoto, Keita Ozaki, Yoshinori Kutsuwa,...
ISSE
2010
15 years 5 months ago
A second look at Faster, Better, Cheaper
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
Oussama El-Rawas, Tim Menzies
IWPC
2010
IEEE
15 years 5 months ago
A Simple and Effective Measure for Complex Low-Level Dependencies
The measure dep-degree is a simple indicator for structural problems and complex dependencies on code-level. We model low-level dependencies between program operations as use-def ...
Dirk Beyer, Ashgan Fararooy
IWPC
2010
IEEE
15 years 5 months ago
On the Equivalence of Information Retrieval Methods for Automated Traceability Link Recovery
Abstract—We present an empirical study to statistically analyze the equivalence of several traceability recovery methods based on Information Retrieval (IR) techniques. The analy...
Rocco Oliveto, Malcom Gethers, Denys Poshyvanyk, A...
« Prev « First page 1358 / 1995 Last » Next »