Search for Author All Reviews
	Jacquot, Jean     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Validation of formal specifications through transformation and animation Mashkoor A., Jacquot J. Requirements Engineering 22(4): 433-451, 2017.  Type: Article A validation check between a design and its implementation is usually done in order to validate the correctness of the requirements for any system. It is crucial to check that the requirements are correct when the system is developed. ...... Jan 18 2018      Utilizing Event-B for domain engineering: a critical analysis Mashkoor A., Jacquot J. Requirements Engineering 16(3): 191-207, 2011.  Type: Article Mashkoor and Jacquot discuss using the formal modeling and reasoning language Event-B for domain engineering, and provide an interesting (but rather simplistic) example of computer-controlled cars (CyCabs). They properly state that &am...... Jul 19 2012
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy