Robuta

https://portal.fis.tum.de/en/publications/towards-a-wide-spectrum-language-to-support-program-specification/ Towards a wide spectrum language to support program specification and program development -... to support program specification towards wide spectrum https://jcp.org/en/jsr/detail?id=224 The Java Community Process(SM) Program - JSRs: Java Specification Requests - detail JSR# 224 community process https://jcp.org/en/jsr/detail?id=310 The Java Community Process(SM) Program - JSRs: Java Specification Requests - detail JSR# 310 community process https://jcp.org/en/jsr/detail?id=250 The Java Community Process(SM) Program - JSRs: Java Specification Requests - detail JSR# 250 community process https://gm4.rcc.uchicago.edu/technical-specification/ Technical Specification | Major Research Instrumentation Program (MRI) technical specification major research instrumentation program