Formal Specification Languages

• A Proposal of An extended LOTOS with Reflection
• Formal Methods for RLOTOS, Supporting Tools
• Software Process Description in RLOTOS
• Standarization Activity of Z, VDM, and LOTOS