1481 search results - page 238 / 297 » Enriching the Software Development Process by Formal Methods |
MICCAI
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. Diffusion Tensor Imaging (DTI) is becoming a routine magnetic resonance technique to study white matter properties and alterations of fiber integrity due to pathology. Th...
108
click to vote
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
INFSOF
2006
14 years 12 months ago
2006
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
105
click to vote
IWPC
2000
IEEE
15 years 4 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
WCRE
1999
IEEE
15 years 4 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...