Title: Language constructs for describing features
Subjects: Development, Formal methods (Computer science), Congresses, Application software, Telecommunication systems