7206 search results - page 140 / 1442 » Using a Hypermedia System for Systems Engineering |
165
click to vote
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
160
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
The recovery of software architecture is a first important step towards re-engineering a software system. Architecture recovery usually involves clustering. The problem with curre...
135
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
This paper reports the progress being made towards complete turbo-pump simulation capability for liquid rocket engines. The Space Shuttle Main Engine (SSME) turbo-pump impeller is...
164
click to vote
KIC
2000
15 years 7 months ago
2000
: In this paper, we propose a fundamental idea of a new CAD architecture to facilitate design knowledge management. This architecture is useful to develop an advanced design suppor...
179
click to vote
UAI
1996
15 years 7 months ago
1996
Developing a large belief network, like any large system, requires systems engineering to manage the design and construction process. We propose that network engineering follow a ...