Skip to Content

Documentation

This area includes scientific papers, tutorials, and technical reports related to the ITLingo initiative and its languages, such as the RSL (Requirements Specification Language) and ASL (Application Specification Language). These materials present concepts, methodologies, validation techniques, document automation approaches, and real-world case studies related to rigorous, AI-assisted system specification and design.

Available references include:

  • E. Guerra, A. Rodrigues da Silva (2026). ITLingo-Chatbot: A Conversational Assistant for Knowledge-Grounded Requirements Engineering. International Conference on Information Systems Development (ISD2026).
    Access Paper
  • A. Rodrigues, A. R. da Silva (2023). Validation of Rigorous Requirements Specifications and Document Automation with the ITLingo RSL Language. arXiv preprint arXiv:2312.10822
    Access Paper
  • A. C. Gomes, A. C. R. Paiva, A. Rodrigues da Silva (2021).  Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language. International Conference on Information Systems Development (ISD 2021).
    Access Paper
  • P. Galhardo, A. Rodrigues da Silva (2022). Combining Rigorous Requirements Specifications with Low-Code Platforms to Rapid Development Software Business Applications. Applied Sciences, 12(19), 9556.
    Access Paper
  • A. Rodrigues da Silva (2019). Rigorous Specification of Use Cases with the RSL Language. International Conference on Information Systems Development (ISD 2019)
    Access Paper

These resources support students, researchers, and practitioners in understanding the foundations, evolution, and practical application of the ITLingo ecosystem and its rigorous specification languages.