论文信息 - Precise Definition of Software Component Specifications

Precise Definition of Software Component Specifications

Abstract A set of generic specification categories is presented which can be used to comprehensively define any software component within a certain class. With these categories as a template, a specific set of formal specifications can be generated for each component. Specifications for a particular component (an algorithm that estimates the position and orientation of a physical object using visual sensing) have been defined in EXPRESS, an information modeling language. A few example natural language specifications are presented for this particular component.

[1] M. Hofri. Analysis of Algorithms: Computational Methods & Mathematical Tools , 1995 .

[2] F DementhonDaniel,et al. Model-based object pose in 25 lines of code , 1995 .

[3] Robert M. Haralick. Performance Characterization in Computer Vision , 1992, BMVC.

[4] Herbert Freeman,et al. Machine Vision for Inspection and Measurement , 1989 .

[5] Robert B. Grady,et al. Software Metrics: Establishing a Company-Wide Program , 1987 .

[6] Tieniu Tan,et al. Pose Determination and Recognition of Vehicles in Traffic Scenes , 1994, ECCV.

[7] Xinhua Zhuang,et al. Pose estimation from corresponding point data , 1989, IEEE Trans. Syst. Man Cybern..

[8] Tieniu Tan,et al. Closed-form algorithms for object pose and scale recovery in constrained scenes , 1996, Pattern Recognit..

[9] Julian Rose,et al. Z - An introduction to formal methods (2nd edn) : Antoni Diller John Wiley, Chichester (1994) £22.50 (1st edn published in 1990) ISBN 0 471 93973 0 , 1995, Inf. Softw. Technol..

[10] Antoni Diller,et al. Z - an introduction to formal methods , 1990 .

[11] J.D. Holt,et al. Handbook of software engineering , 1986, Proceedings of the IEEE.

[12] Tieniu Tan,et al. Linear Algorithms for Object Pose Estimation , 1992, BMVC.