The First International Conference on Software Lifecycle using Digital and Artificial Intelligence Paradigms
Porto, Portugal
June 7 - 11, 2026
This event will be held in hybrid mode, with both on site and remote options.
Submission:
February 12, 2026
Notification:
April 2, 2026
Registration:
April 15, 2026
Camera Ready:
April 28, 2026
Submission deadline: February 12, 2026
- At a Glance
Software engineering faces a critical junction where classical design, modeling, simulation, and verification techniques are being reshaped by the pervasive influence of digital technologies and artificial intelligence. FSOFT aims to address advanced converging technologies and how traditional software engineering practices can adapt, extend, and co-evolve with AI and Digital paradigms.
Conference Chairs
Prof. Dr.
Davide Tosi
Università degli Studi dell’Insubria, Italy
Advisory Board
(to be announced)
Participate
If you want to get involved beyond submitting an article, please consider organizing a workshop, a thematic session, or a demo. Details are available on the Event Satellites page.
- Call For Papers
Software engineering faces a critical junction where classical design, modeling, simulation, and verification techniques are being reshaped by the pervasive influence of digital technologies and artificial intelligence. FSOFT aims to address advanced converging technologies and how traditional software engineering practices can adapt, extend, and co-evolve with AI and Digital paradigms.
Currently, the evolution of software engineering has reached a challenging frontier, where classical principles of design, modeling, simulation, testing, and verification intersect with the transformative impact of digital technologies and AI. Modern software systems are no longer limited to static architectures or isolated workflows; they are becoming part of dynamic, interconnected environments where adaptability, automation, and intelligence are essential. They extend to ensuring trustworthiness, resilience, and ethical alignment of AI-augmented solutions.
Digital twins, model-driven engineering, and AI-powered tools now enable faster prototyping, real-time analytics, and predictive capabilities, transforming how we design, build, and refine complex systems.
These opportunities come with new challenges. AI-driven code generation, heuristic optimization, and automated verification require trust, explainability, and rigorous validation to ensure reliability and safety, especially in critical domains such as autonomous systems, healthcare, and cyber-physical infrastructures. Digital ecosystems amplify the complexity of lifecycle management, demanding robust methodologies that integrate simulation, formal verification, and testing under evolving requirements.
The FSOFT series of events focuses on software production by considering challenging approaches and advanced technology solutions
Professionals from industry, government, and academia, researchers, engineers, practitioners, and students are invited to contribute. FSOFT welcomes 1) full papers presenting significant research, development, application, position, or survey, 2) short papers on work-in-progress, 3) posters, 4) contributed talk presentations, as well as workshops, thematic sessions, and demos.
Prospective authors are invited to submit original, unpublished works, which are not under review in any other conference or journal. Topics of interest include, but are not limited to, the following.
Topics
- Requirements in evolving environments
- Stakeholder alignment and mitigation across digital ecosystems
- AI-assisted requirements extraction and validation
- Requirements volatility in agile and dynamic settings
- Expressing non-functional requirements (security, trust, privacy, explainability)
- Specification for systems with embedded learning components
- Traceability from user intent to system behavior (form requirements to code)
- Requirements for specialized systems (cyber-physical, autonomous systems, health, etc.)
- Modeling uncertainty, intent-based, and adaptation in requirements
- Capturing digital ethics, fairness, and socio-technical needs
- Component-based software engineering
- Model-Driven Architecture (MDA)
- Design for maintainability and scalability
- Domain-specific software design
- Agile methodologies
- Design patterns and anti-patterns
- AI-assisted architectural decision-making
- Software product line architecture
- Cloud-native software design
- Digital twin integration at design stage
- Microservices and event-driven architectures
- UML and SysML extensions
- Formal semantics of modeling notations
- AI-enhanced model transformations
- Executable modeling and simulation
- Domain-Specific Modeling Languages (DSMLs)
- Digital support for co-simulation models
- Modeling tools with LLM integration
- Meta-modeling platforms and engines
- Graph-based and constraint-based modeling
- Simulation-oriented behavioral models
- Software-in-the-Loop (SiL) simulation
- Modeling-based simulation workflows
- Discrete-event and continuous simulation
- Co-simulation for embedded and CPS
- Scalable cloud-based simulation platforms
- AI-driven scenario generation for simulation
- Virtual prototyping and digital twins
- Emulation vs. simulation for validation
- Simulation trace analysis and debugging
- Adaptive simulation control and orchestration
- Functional and non-functional testing
- AI-guided test case generation
- Unit, integration, and regression testing
- Model-based testing frameworks
- Test automation strategies
- Simulation-based testing approaches
- Mutation testing and fault injection
- Testing large-scale distributed systems
- Explainable test coverage for safety-critical code
- Digital testing environments and twins
- Formal verification of control software
- Runtime verification and monitoring
- Proof-carrying code and contracts
- Compositional verification techniques
- Software verification in AI-based systems
- Digital assurance and traceability
- Hybrid approaches: simulation + formal methods
- Certification for automotive, avionics, and health
- Verified code generation from models
- Coverage analysis for safety and standards
- LLMs in code design and refactoring
- Reinforcement learning for test scheduling
- AI for bug localization and prediction
- Search-Based Software Engineering (SBSE)
- AI in software comprehension and maintenance
- Heuristic-driven simulation optimization
- Co-pilot systems and auto-completion tools
- AI-powered model transformation pipelines
- ML models in verification tasks
- Bias detection and robustness in generated code
- CPS co-design methodologies
- Real-time simulation of control loops
- Digital thread integration
- Continuous integration for embedded systems
- Verification under timing and energy constraints
- Virtual commissioning using digital twins
- Sensor and actuator emulation in testing
- Adaptive systems and feedback design
- Embedded software resilience testing
- Simulation-based software updates and validation
- Design for constrained and heterogeneous hardware
- Platform-specific modeling and simulation
- Testing under mobility and connectivity constraints
- App updates, versioning, and fragmentation issues
- Energy-aware design and simulation
- Adaptive user interface and UX co-evolution
- Verification under varying OS and device profiles
- Lifecycle support for edge and fog integration
- Integration with native digital sensors and actuators
- Privacy, data protection, and platform policies
- Modular design and app ecosystem integration
- Build-test-deploy pipelines in app-centric workflows
- Simulation of user interaction and usage patterns
- App telemetry and post-deployment analytics
- Marketplace constraints and deployment policies
- Rapid update cycles and continuous delivery
- App-specific validation and A/B testing strategies
- Lifecycle implications of monetization models
- Ensuring backward compatibility
- AI-based co-development and maintenance tools
- Adaptive interfaces by screen profile
- Toolchains for design-simulation-verification loops
- AI-augmented DevOps workflows
- Test infrastructure in CI/CD pipelines
- Reproducibility in modeling and simulation
- IDE integrations for traceable V&V
- Infrastructure for remote collaborative modeling
- Simulation orchestration in cloud-native tools
- Digital logging for trace and audit
- Infrastructure for large model validation
- Feedback loops from simulation to design
- Software V&V for autonomous systems
- Human-in-the-loop in simulation and design
- Integration of symbolic and sub-symbolic tools
- Software aging and long-term reliability
- Quantum-inspired simulation and modeling
- Ethics and accountability in AI-based tools
- Multi-agent system testing
- Evolutionary software architectures
- Cross-disciplinary co-simulation (e.g., bio, energy)
- Towards self-verifying and self-healing systems
Instructions for Authors
For more information on the submission process, please consult The Detailed Instructions for Authors.
To submit your work to this event:
- Scientific Board
(to be announced)
- Submit an Article
Before submitting, please consult The Detailed Instructions for Authors.
To submit your work to this event:
- Event Satellites
If you are interested in organizing a workshop, a thematic session, or a demo within the program of this conference, we are looking forward to hearing from you.
The details for what this entails are available at Event Satellites. The contact information on that page will serve as the starting point with someone ready to answer any questions you may have and to help set up the required logistics.
- Camera Ready
Prepare the camera-ready following these guidelines:
- Ensure the paper is formatted according to the IEEE formatting template. See https://www.ieee.org/conferences/publishing/templates
- Consider all the comments from the reviewers that were sent with your acceptance notification email.
- Do NOT include page numbers or any copyright information.
- The length is 6 pages of text (including figures and references) in the standard IEEE two-column format above, with the possibility of 2 extra pages.
The camera ready site will be ready in time for notification.
- Registration
The registration site will be open at the same time as the notification date.
Details about the registration process are available on the Registration page.
- Publication
All accepted and registered papers (full papers and short/work in progress papers), regardless of presentation mode, will be published in the conference Proceedings under an ISBN reference and included in the Digital Library.
Proceedings: DRT Society Press
Library: DTR Society Digital Library
Accepted and registered Posters and Contributed Talks, regardless of presentation mode, will be posted on the conference webpage.
- Presentation
All accepted and registered contributions are allotted a presentation slot of 25 minutes in the conference program.
We encourage everyone to attend the conference and present in person, but we recognize that this may not always be feasible. Authors who are unable to attend physically have the option to send their presentation slides in advance to be posted online. If a prerecorded presentation video is provided, it will also be made available.
Authors who will present in person at the conference location also have the option to send their presentation slides to be posted.
The in-person sessions from the conference location will not be streamed.
For additional instructions on preparing the presentation slides and optional video, please see the Presentations page.
- Peer Review
Methodology
All submissions are peer reviewed by three or more reviewers, and evaluated based on relevance, technical content, originality, competence, significance, and presentation.
Reviewers are asked to offer constructive feedback to help the authors improve their work, regardless of whether the submission is accepted or rejected.
Reviewers are expected to adhere to our Conduct Policies.
Notification
Notification of acceptance or rejection will be issued by the evaluation system and sent to the contact author email address.
Rebuttal
Authors have a period for rebuttal of one week after notification. A rebuttal can be filed by contacting us along with the relevant data (conference name, submission number, and reason for rebuttal)
All rebuttals are answered, and the decisions are final.
- Indexing
All 2026 events are first events in their series. Indexing is planned when the events get mature and solid in terms of number of contributions and content within the coming years.
The enhanced visibility of all publications is the scientific target of the DTR Society. The proceeding will be submitted to various indexes like Google Scholar, SCOPUS, DBLP, PubMed, HCIBib, EI-Compendex, etc.
- Conference Venue
The conference will take place at:
Hotel Novotel Porto Gaia
Rua Martir Sao Sebastiao, Afurada,
4400-499 Vila Nova de Gaia
Phone: +351 22 772 8700
Email: h1050@accor.com
A group registration form will be available.
For more information about the conference venue, please consult the Hotel Novotel Porto Gaia page we have put together.
- Touristic Information
For places to visit around the conference location, please consult the Porto touristic information page.
- Program
| Location Hotel Novotel Porto Gaia Day 1: Sunday, June 7 |
||
| Time | Conference Room #1 | |
| 12:00 – End of Day | Participant Registration | |
| Invited Speeches | ||
| 19:00 – 20:00 | Welcome Reception | |
| Day 2: Monday, June 8 | ||
| Time | Conference Room #1 | Conference Room #2 |
| 09:15 – 09:30 | Opening Remarks | |
| 09:30 – 10:30 | Invited Speech | |
| 10:30 – 11:00 | Morning Break | |
| 11:00 – 12:30 | Presentations Session | Presentations Session |
| 12:30 – 14:00 | Lunch | |
| 14:00 – 15:30 | Presentations Session | Presentations Session |
| 15:30 – 16:00 | Afternoon Break | |
| 16:00 – 17:30 | Presentations Session | Presentations Session |
| 20:00 – 22:00 | Social Dinner | |
| Day 3: Tuesday, June 9 | ||
| Time | Conference Room #1 | Conference Room #2 |
| 09:30 – 10:30 | Invited Speech | |
| 10:30 – 11:00 | Morning Break | |
| 11:00 – 12:30 | Presentations Session | Presentations Session |
| 12:30 – 14:00 | Lunch | |
| 14:00 – 15:30 | Presentations Session | Presentations Session |
| 15:30 – 16:00 | Afternoon Break | |
| 16:00 – 17:30 | Presentations Session | Presentations Session |
| Day 4: Wednesday, June 10 | ||
| Time | Conference Room #1 | Conference Room #2 |
| 09:30 – 10:30 | Invited Speech | |
| 10:30 – 11:00 | Morning Break | |
| 11:00 – 12:30 | Presentations Session | Presentations Session |
| 12:30 – 14:00 | Lunch | |
| 14:00 – 15:30 | Presentations Session | Presentations Session |
| 15:30 – 16:00 | Afternoon Break | |
| 16:00 – 17:30 | Presentations Session | Presentations Session |
| Day 5: Thursday, June 11 | ||
| Time | Conference Room #1 | |
| 09:30 – 10:30 | Invited Speech | |
| 10:30 – 11:00 | Morning Break | |
| 11:00 – 12:30 | Presentations Session | |
| 12:30 – 14:00 | Lunch | |
| 14:00 – 15:30 | Presentations Session | |
| 15:30 – 16:00 | Closing Remarks | |