Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Antonio Filieri
A Formal Approach to Adaptive Software: Continuous Assurance of Non-Functional Requirements
Formal Aspects of Computing
Theoretical Computer Science
Software
Autotuning Control Structures for Reliability-Driven Dynamic Binding
Related publications
Integration of Functional and Interface Requirements of an Web Based Software: A VDM Based Formal Approach
Extracting Non-Functional Requirements Based on Agile Software Development(ASD)
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
A Risk-Based Approach for Selecting Software Requirements
A Fuzzy Decision Support Approach for Model-Based Tradeoff Analysis of Non-Functional Requirements
A Formal Model of Requirements
Open Transportation Journal
Modeling
Transportation
Simulation
One Approach to Functional Safety Assurance and Safety Lifecycle Compliance
Sequential Continuous Time Adaptive Control: A Behavioral Approach
Towards a Domain-Specific Language to Design Adaptive Software: The DMLAS Approach
Ingenieria y Universidad
Engineering
An Empirical Approach for Software Reengineering Process With Relation to Quality Assurance Mechanism
ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal