46 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. Bale Desa and Pawonan Tengger: Reflections on Managerial Order, Sociocultural Integration, and Language Defense Practices
7. Consistency Checks of System Properties Using LTL and Büchi Automata.
8. Read before you write.
9. Enhancing Property Specification Tools With Validation Techniques.
10. A Property Specification Tool for Generating Formal Specifications: Prospec 2.0.
11. PROTEF: Automatic Verification of Pattern-Based LTL Templates.
12. A Technique for Using Model Checkers to Teach Formal Specifications.
13. A Novel Approach for Software Property Validation.
14. Improving Pattern-Based LTL Formulas for Automata Model Checking.
15. Generating Linear Temporal Logic Formulas for Pattern-Based Specifications.
16. Verification of Automatically Generated Pattern-Based LTL Specifications.
17. Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.
18. Verifying Pattern-Generated LTL Formulas: A Case Study.
19. An Analysis Platform for Execution-Based Model Generation.
20. Using Pairwise Testing to Verify Automatically-Generated Formal Specifications.
21. Developing an Air/Ground Robots for Disaster Response as a Project for a Senior Capstone Design Course.
22. The DigitalHome Case Study Material.
23. Types of Speech Acts in the Short Film Nilep (2015)
24. Developing case modules for teaching software engineering and computer science concepts.
25. A System for Analyzing Diversified Software Binaries
26. Investigating the Benefits of Introducing Process-Oriented Life Cycle Development Models to Improve Students Appreciation for Agile Methods
27. A platform for evaluator-centric cybersecurity training and data acquisition
28. An Analysis Platform for Execution-Based Model Generation
29. An approach to enhance students' competency in software verification techniques
30. Using Pairwise Testing to Verify Automatically-Generated Formal Specifications
31. Transforming engineering and science education through active learning
32. Using the case method to transform engineering education
33. Developing an Air/Ground Robots for Disaster Response as a Project for a Senior Capstone Design Course
34. Immersive audio-visual system for an Unmanned Robotic Vehicle in a Senior Design Project
35. Developing case modules for teaching software engineering and computer science concepts
36. Read before you write
37. A comparative study of a tool-based approach for teaching formal specifications
38. A Technique for Using Model Checkers to Teach Formal Specifications
39. The DigitalHome Case Study Material
40. Improving Pattern-Based LTL Formulas for Automata Model Checking
41. Verification of Automatically Generated Pattern-Based LTL Specifications
42. Teaching Black Box Testing Techniques Through Specification Patterns
43. Using Mini-projects to Foster Student Collaboration in Multi-disciplinary Capstone Design Course
44. Reporting on the Use of a Software Development Case Study in Computing Curricula
45. Panel Session: Case Study Teaching in Computing Curricula
46. An Experiment To Evaluate An Approach To Teaching Formal Specifications Using Model Checking
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.