Skip to Content

Documents

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:

  • Rigorous Specification of Use Cases with the RSL Language. A. Rodrigues da Silva. International Conference on Information Systems Development (ISD 2019)
    Access Paper
  • Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language. A. C. Gomes, A. C. R. Paiva, A. Rodrigues da Silva.  International Conference on Information Systems Development (ISD 2021).
    Access Paper
  • Combining Rigorous Requirements Specifications with Low-Code Platforms to Rapid Development Software Business Applications. P. Galhardo, A. Rodrigues da Silva
    Applied Sciences, 12(19), 9556.
    Access Paper
  • Validation of Rigorous Requirements Specifications and Document Automation with the ITLingo RSL Language. A. Rodrigues, A. R. da Silva. arXiv preprint arXiv:2312.10822
    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.