1481 search results - page 102 / 297 » Enriching the Software Development Process by Formal Methods |
154
Voted
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
147
Voted
CICLING
2007
Springer
15 years 9 months ago
2007
Springer
Semantic parsing is the task of mapping a natural language sentence into a complete, formal meaning representation. Over the past decade, we have developed a number of machine lear...
106
Voted
ICASSP
2007
IEEE
15 years 7 months ago
2007
IEEE
Thanks to a specific formalism for signal generation, it is possible to transpose an image processing problem to an array processing problem. For straight line characterization, t...
110
click to vote
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
We report on one organization's experience making process changes in a suite of projects. The changes were motivated by clients’ requests for better time estimates, better ...
106
Voted
WICSA
2007
15 years 4 months ago
2007
Multi-site development organizations require coordination and communication efforts between different sites to ensure successful distributed development. These efforts need to be ...