1141 search results - page 52 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
140
Voted
IUI
2005
ACM
15 years 11 months ago
2005
ACM
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...
163
Voted
SAFECOMP
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
161
click to vote
EICS
2009
ACM
16 years 19 days ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
169
Voted
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
207
Voted
CCECE
2006
IEEE
16 years 6 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...