Search results for:
Filter your results
0 Search results
SpecRep
About Project
Constraint-based Specification Repair
Acronym
SpecRep
Responsible
Nuno Filipe Moreira Macedo
Status
Concluded
Start
January 1, 2022
End
January 31, 2023
Effective End
January 31, 2023
Global Budget
€49,908.00
Financing
€49,908.00
Members
Team Leaders
I'm an assistant professor at the Department of Informatics Engineering (DEI) of the Faculty of Engineering of the University of Porto (FEUP), Portugal, and a senior researcher at HASLab, INESC TEC's unit focused on high-assurance software development, developing, teaching and applying formal techniques for software engineering.
My main research interest lies in trustworthy software design, particularly in the application of lightweight formal methods based on model checking and model finding to software engineering. I'm one of the developers of Alloy 6 and its Analyzer, a tool to analyze software models. I've also been tailoring such techniques for the robotics domain to promote the development of dependable robotics software, and I've applied them in knowledge transfer and consultancy projects.
My teaching activities mainly focus on programming languages and formal methods for software engineering. In this context, I also maintain Alloy4Fun, a platform for teaching Alloy.
Ana Paiva (publishes as Ana C. R. Paiva). Ana Paiva is Assistant Professor at the Informatics Engineering Department of the Faculty of Engineering of University of Porto (FEUP) where she works since 1999. She is a researcher at INESC TEC in the Software Engineering area and member of the Software Engineering research group which gathers researchers and post graduate students with common interests in software engineering. She teaches subjects like Software Testing, Formal Methods and Software Engineering, among others. She has a PhD in Electrical and Computer Engineering from FEUP with a thesis titled"Automated Specification Based Testing of Graphical User Interfaces". Her expertise is on the implementation and automation of the model based testing process. She has been developing research work in collaboration with Foundation of Software Engineering research group within Microsoft Research where she had the opportunity to extend Microsoft's model-based testing tool, Spec Explorer, for GUI testing. She is PI of a National Science Foundation funded project on Pattern-Based GUI Testing (PBGT). She is a member of the PSTQB (Portuguese Software Testing Qualification Board) board general assembly, member of TBok, Glossary, and the MBT Examination Working Groups of the ISTQB (International Software Testing Qualification Board), member of the Council of the Department of Informatics Engineering, and member of the Executive Committee of the Department of Informatics Engineering.
Associated Centres
High-Assurance Software
At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.
Human-Centered Computing and Information Science
The Centre for Human-Centered Computing and Information Science (HumanISE) brings together engineers, scientists, and designers with expertise in Human-Centred Computing (HCC), Computer Science (CS), and Information Science (IS). Interdisciplinarity, one of the Centre’s defining features, fosters the development of software systems, methods, and tools designed to empower individuals and their communities. The excellence and impact of HumanISE’s research, innovation, and consultancy activities allow addressing increasingly complex, volatile, heterogeneous, ambiguous, and uncertain challenges, while ensuring compliance with legal, ethical, and organisational standards and frameworks. Value transfer is achieved through close collaboration with academia and industry partners. HumanISE’s core research areas include Human-Computer Interaction; Computer Graphics and Interactive Digital Media; Information Management and Information Systems; Software Engineering; and Large-Scale and Special-Purpose Computing Systems, Languages, and Tools; as well as Computing for Embedded and Cyber-Physical Systems. HumanISE also explores innovation domains like Earth, Ocean and Space Sciences; Personalised Health Research; Geospatial Information Systems Engineering; and Applied Information Systems and Computing.
