Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Renzo Degiovanni
An Evolutionary Approach to Translating Operational Specifications Into Declarative Specifications
Science of Computer Programming
Software
Related publications
An Approach to Animating Z Specifications
Exploiting Functional Dependencies in Declarative Problem Specifications
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs
Compiling Problem Specifications Into SAT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Specification Translation From Behavioral Specifications to Rewrite Specifications
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Automatic Translation of Architecture Constraint Specifications Into Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Building Specifications in an Arbitrary Institution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Introducing Software Specifications to an Undergraduate Software Engineering Program
Programming With Specifications
