Search
for Author
All Reviews
Mashkoor, Atif
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
4
of
4
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
Rigorous modeling and analysis of interoperable medical devices
Mashkoor A., Sametinger J. MSM 2016 (Proceedings of the Modeling and Simulation in Medicine Symposium, Pasadena, CA, Apr 3-6, 2016) 1-8, 2016. Type: Proceedings, Reviews: (2 of 2)
“First, do no harm” meets the Internet of Things (IoT)? This paper proposes that we need to be sure that medical systems are functional, safe, and secure--of course. Further, the authors try to show how the...
...
Aug 19 2016
Rigorous modeling and analysis of interoperable medical devices
Mashkoor A., Sametinger J. MSM 2016 (Proceedings of the Modeling and Simulation in Medicine Symposium, Pasadena, CA, Apr 3-6, 2016) 1-8, 2016. Type: Proceedings, Reviews: (1 of 2)
With the advent of the electronic health record (EHR), the quality of patient care increased. Many hospitals are encouraging patients to voluntarily provide their own health status (patient health record, PHR) to be used by doctors whe...
...
Aug 18 2016
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