1481 search results - page 91 / 297 » Enriching the Software Development Process by Formal Methods |
124
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
121
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
139
Voted
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
15 years 3 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
115
Voted
CLEIEJ
2010
15 years 27 days ago
2010
Formalizing and institutionalizing software processes has become a necessity in recent years requiring the management and enhancement of software production and, at the same time,...
149
click to vote
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...