987 search results - page 13 / 198 » Extending FeatuRSEB with Concepts from Systems Engineering |
TII
2008
13 years 7 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
CSCWD
2005
Springer
2005
Springer
Towards an engineering approach for groupware development: learning from the AulaNet LMS development
14 years 1 months ago
This paper presents the AulaNet learning management system, its architecture and the collaboration model that guided its development and that was refined during this process. A ca...
HICSS
2003
IEEE
14 years 25 days ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
FPGA
2007
ACM
13 years 11 months ago
2007
ACM
Progress in reconfigurable hardware technology allows the implementation of complete SoCs in today's FPGAs. In the context design for reliability, software checkpointing is a...
CAISE
2008
Springer
13 years 9 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...