About MATSUMOTO Yuma
About Department of Computer Science, Ritsumeikan University
About OMORI Takayuki
About Department of Computer Science, Ritsumeikan University
About ITOGA Hiroya
About Department of Computer Science, Ritsumeikan University
About OHNISHI Atsushi
About Department of Computer Science, Ritsumeikan University
About IEICE Transactions on Information and Systems (Web)
About requirement specification
About model
About natural language
About Java(programming language)
About prototype
About verification
About frame model
About functional requirements
About correctness
About non-functional requirement
About non-functional requirements
About NFR
About time-response requirements
About requirements frame
About verification of non-functional requirements
About Computer system development
About 応答
About 検証