Redefining the Software Engineering Profession for AI | Communications of the ACM

Front Matter | Verified Software. Theories, Tools and Experiments

Automated Trace Link Recovery Between Natural Language Requirements and Formal Specifications via LLMs | Theoretical Aspects of Software Engineering

A Odisseia - Centro de Animação Cultural de Mortágua

Mínimos e os Monstros (VP) - Centro de Animação Cultural de Mortágua

Dia D - Sob Pressão - Centro de Animação Cultural de Mortágua

Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations | Proceedings of the ACM on Programming Languages

On the Evaluation of Large Language Models in Multilingual Vulnerability Repair | ACM Transactions on Software Engineering and Methodology

Development of a Realistic Emergency Control Center Simulation Software for Controlled Behavioral Studies | Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management