@inproceedings{78e3a809b56144f398d40911976740a4,
title = "Formal interface-component based software analysis and design",
abstract = "Interaction interface is an important concept in component-base software engineering. In this paper, an interface-component based software analysis and design method is proposed, which is characterized by interface-based requirement analysis and interface-based design. It includes mainly three steps:(1)Capture and formally describe the interfaces from original user requirement;(2)Refine the interfaces until each interface becomes easily programable;(3)Dispatch interfaces to components and define the components assembly principle for further component-based implementation.We illustrates our approach in an application of a fully automatic washing machine control program named WashControl, and it shows good readability and traceability during the requirement analysis and design.",
author = "Song, \{Cui Ye\} and Du, \{Cheng Lie\} and Gang Li",
year = "2010",
doi = "10.1109/CISE.2010.5676791",
language = "英语",
isbn = "9781424453924",
series = "2010 International Conference on Computational Intelligence and Software Engineering, CiSE 2010",
booktitle = "2010 International Conference on Computational Intelligence and Software Engineering, CiSE 2010",
note = "2010 International Conference on Computational Intelligence and Software Engineering, CiSE 2010 ; Conference date: 10-12-2010 Through 12-12-2010",
}