1023 search results - page 18 / 205 » A Formal Method for Program Slicing |
MICCAI
2004
Springer
14 years 9 months ago
2004
Springer
We propose a semi-automatic endocardial border detection method for 3D+T cardiac ultrasound data based on pattern matching and dynamic programming, operating on 2D slices of the 3D...
FMCO
2006
Springer
14 years 7 days ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
AFP
1998
Springer
14 years 25 days ago
1998
Springer
SAS
1994
Springer
14 years 20 days ago
1994
Springer
EDUTAINMENT
2007
Springer
14 years 2 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...