This document discusses several languages and processors that have been developed for requirements specification in software development. It describes Problem Statement Language (PSL) and its processor, the Problem Statement Analyzer (PSA), which were developed to allow concise statement and automated analysis of requirements. It also discusses the Requirements Statement Language (RSL) and Requirements Engineering Validation System (REVS). Finally, it provides a brief overview of Structured Analysis and Design Technique (SADT), including its data and activity diagram components.