Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mohamed A. Sullabi
CSCW for Preparing Formal Software Specifications: Issues and Implementation
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Related publications
Test Selection for Object-Oriented Software Based on Formal Specifications
Formal Specifications of Software Model Evolution Using Contracts
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
Advances in Software Engineering
Automatic Testing From Formal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Validation of Formal Specifications
Ontology Based Specifications for Software Reliability Advancement
International Journal of Computer Applications
Having Fun in Learning Formal Specifications
EasyChair Preprints
Composite Public Values and Software Specifications
Lecture Notes in Business Information Processing
Control
Systems Engineering
Information Systems
Business
International Management
Simulation
Management
Management Information Systems
Modeling
Automated Error-Detection and Repair for Compositional Software Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
