Sciweavers

361 search results - page 39 / 73
» An industrial case study in reconstructing requirements view...
Sort
View
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 5 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
CISIS
2009
IEEE
14 years 9 months ago
Making Expert Knowledge Explicit to Facilitate Tool Support for Integrating Complex Information Systems in the ATM Domain
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
Thomas Moser, Richard Mordinyi, Alexander Mikula, ...
JDCTA
2010
104views more  JDCTA 2010»
14 years 6 months ago
Mean Shifts Identification Model in Bivariate Process Based on LS-SVM Pattern Recognizer
This study develops a least squares support vector machines (LS-SVM) based model for bivariate process to diagnose abnormal patterns of process mean vector, and to help identify a...
Zhi-Qiang Cheng, Yi-Zhong Ma, Jing Bu
CSCL
2007
114views more  CSCL 2007»
14 years 11 months ago
Community-based learning: The core competency of residential, research-based universities
Traditionally, universities focus primarily on instructionist teaching. Such an understanding has been criticized from theoretical and practical points of view. We believe that so...
Gerhard Fischer, Markus Rohde, Volker Wulf
CAD
1998
Springer
14 years 11 months ago
CAD and the product master model
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...
Christoph M. Hoffmann, Robert Joan-Arinyo