Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. Yehudai
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Software
Related publications
Specification and Prototyping of Structured Multimedia Documents Using Interval Temporal Logic
Advances in Temporal Logic
Prototyping Rule-Based Expert Systems With the Aid of Model Transformations
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Specification-Based Program Repair Using SAT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Durra: An Integrated Approach to Software Specification, Modeling and Rapid Prototyping
A Visual Specification Language for Model-To-Model Transformations
Detection of Metamorphic and Virtualization-Based Malware Using Algebraic Specification
Journal in Computer Virology
Rapid Prototyping Using a Configurable Platform
Technology Innovation Management Review
Rapid Prototyping MEMS Using Laminated Resin Printing
Query-Based Access Control for Secure Collaborative Modeling Using Bidirectional Transformations*
