2702 search results - page 168 / 541 » Practically Applicable Formal Methods |
92
Voted
DATE
2003
IEEE
15 years 3 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 ...
84
Voted
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
ER
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
CHI
2008
ACM
15 years 11 months ago
2008
ACM
Open source projects are gradually incorporating usability methods into their development practices, but there are still many unmet needs. One particular need for nearly any open ...
139
click to vote
ECOOP
2003
Springer
15 years 3 months ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...