22 results on '"Salamah, Salamah"'
Search Results
2. Investigating the Benefits of Introducing Process-Oriented Life Cycle Development Models to Improve Students Appreciation for Agile Methods.
3. A platform for evaluator-centric cybersecurity training and data acquisition.
4. An approach to enhance students' competency in software verification techniques.
5. Transforming engineering and science education through active learning.
6. Consistency Checks of System Properties Using LTL and Büchi Automata.
7. Read before you write.
8. Enhancing Property Specification Tools With Validation Techniques.
9. A Property Specification Tool for Generating Formal Specifications: Prospec 2.0.
10. PROTEF: Automatic Verification of Pattern-Based LTL Templates.
11. A Technique for Using Model Checkers to Teach Formal Specifications.
12. A Novel Approach for Software Property Validation.
13. Improving Pattern-Based LTL Formulas for Automata Model Checking.
14. Generating Linear Temporal Logic Formulas for Pattern-Based Specifications.
15. Verification of Automatically Generated Pattern-Based LTL Specifications.
16. Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.
17. Verifying Pattern-Generated LTL Formulas: A Case Study.
18. An Analysis Platform for Execution-Based Model Generation.
19. Using Pairwise Testing to Verify Automatically-Generated Formal Specifications.
20. Developing an Air/Ground Robots for Disaster Response as a Project for a Senior Capstone Design Course.
21. The DigitalHome Case Study Material.
22. Developing case modules for teaching software engineering and computer science concepts.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.