Sciweavers

3828 search results - page 284 / 766
» Proof-Based System Engineering Using a Virtual System Model
Sort
View
IJCIM
2002
141views more  IJCIM 2002»
15 years 6 months ago
STEP-based data schema for implementing product data management system
Currently, the challenge of implementing a product data management system (PDMS) is how to ensure system integration and product data exchange is shared between heterogeneous syste...
Shen-Chou Yeh, Chun-Fong You
CAISE
2009
Springer
15 years 4 months ago
Developing Quality Management Systems with DEMO
The International Organization for Standardization (ISO) has defined Quality Management, but it has not yet adopted standards for developing Quality Management Systems (QMSs), nota...
Jos Geskus, Jan L. G. Dietz
ICFEM
2003
Springer
15 years 11 months ago
Formalization, Testing and Execution of a Use Case Diagram
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
Wuwei Shen, Shaoying Liu
ICCS
2007
Springer
15 years 10 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
WSC
2001
15 years 8 months ago
On the use of fuzzy clustering in construction simulation
This paper presents a methodology that integrates fuzzy clustering and computer simulation and demonstrates its use in modeling earthmoving operations. A simulation system (SimEar...
Mohamed Marzouk, Osama Moselhi