2748 search results - page 225 / 550 » Generating Object-Z Specifications from Use Cases |
125
click to vote
CLA
2006
15 years 2 months ago
2006
Abstract. Design defects are poor design choices resulting in a hard-tomaintain software, hence their detection and correction are key steps of a disciplined software process aimed...
130
Voted
ICCV
2003
IEEE
16 years 2 months ago
2003
IEEE
Registration of a preoperative CT (3D) image to one or more X-ray projection (2D) images, a special case of the pose estimation problem, has been attempted in a variety of ways wi...
128
Voted
ERSA
2009
14 years 10 months ago
2009
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...
120
Voted
CAISE
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
118
Voted
ECBS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...