Welcome to the InfoSci Platform
Enhancing Formal Methods with Feature Models in MDD

Enhancing Formal Methods with Feature Models in MDD

Felice Laura, Ridao Marcela, Mauco María Virginia, Leonardi María Carmen
Copyright: © 2015 |Pages: 16
ISBN13: 9781466658882|ISBN10: 1466658886|EISBN13: 9781466658899
DOI: 10.4018/978-1-4666-5888-2.ch700
Cite Chapter Cite Chapter

MLA

Laura, Felice, et al. "Enhancing Formal Methods with Feature Models in MDD." Encyclopedia of Information Science and Technology, Third Edition, edited by Mehdi Khosrow-Pour, D.B.A., IGI Global, 2015, pp. 7106-7121. https://doi.org/10.4018/978-1-4666-5888-2.ch700

APA

Laura, F., Marcela, R., Virginia, M. M., & Carmen, L. M. (2015). Enhancing Formal Methods with Feature Models in MDD. In M. Khosrow-Pour, D.B.A. (Ed.), Encyclopedia of Information Science and Technology, Third Edition (pp. 7106-7121). IGI Global. https://doi.org/10.4018/978-1-4666-5888-2.ch700

Chicago

Laura, Felice, et al. "Enhancing Formal Methods with Feature Models in MDD." In Encyclopedia of Information Science and Technology, Third Edition, edited by Mehdi Khosrow-Pour, D.B.A., 7106-7121. Hershey, PA: IGI Global, 2015. https://doi.org/10.4018/978-1-4666-5888-2.ch700

Export Reference

Mendeley
Favorite

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.