Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage
暂无分享,去创建一个
Jorge García Duque | José Juan Pazos-Arias | Rebeca P. Díaz Redondo | Ana Fernández Vilas | Alberto Gil-Solla
[1] Terry Bollinger,et al. Making reuse cost-effective , 1991, IEEE Software.
[2] Rebeca P. Díaz Redondo,et al. ARIFS Methodology: A Case Study , 2004 .
[3] Manfred Broy,et al. Formal Description Techniques - How Formal and Descriptive are they? , 1996, FORTE.
[4] Gerard J. Holzmann,et al. An improved protocol reachability analysis technique , 1988, Softw. Pract. Exp..
[5] Rubén Prieto-Díaz. Implementing faceted classification for software reuse , 1991, CACM.
[6] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[7] Kenneth L. McMillan,et al. A technique of state space search based on unfolding , 1995, Formal Methods Syst. Des..
[8] José Juan Pazos-Arias,et al. Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage , 2003, Component-Based Software Quality.
[9] Jeannette M. Wing,et al. Specification matching of software components , 1997 .
[10] John Penix,et al. Efficient Specification-Based Component Retrieval , 1999, Automated Software Engineering.
[11] Jorge García Duque,et al. SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study , 2001, Formal Aspects of Computing.
[12] Roland Mittermeir,et al. Storing and retrieving software components: a refinement based system , 1994, ICSE '94.