SDL
2007
14 years 3 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
ISCAS
1999
IEEE
14 years 6 months ago
1999
IEEE
Systems engineering is the process which takes requirements specifications and engineers products and product families which involve hardware, software and possibly mechanical sub...
ECBS
1999
IEEE
14 years 6 months ago
1999
IEEE
An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure t...
SIGADA
2004
Springer
14 years 7 months ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
HICSS
2008
IEEE
14 years 8 months ago
2008
IEEE
What does differentiate service systems from traditional subjects of systems engineering such as manufacturing, and software? We address this issue by defining customer-intensive ...