作者: Oscar Pastor , José H. Canós , Isidro Ramos
关键词: Requirement 、 Software requirements specification 、 Software engineering 、 Software system 、 Computer science 、 Software development 、 Software construction 、 Computer-aided software engineering 、 Software design 、 Software requirements 、 Simulation
摘要: Software Engineering is still lacking methods which are capable of properly capturing the relevant System properties in problem space and at same time generating a correct representation (a final software product) solution space. This product must be functionally equivalent to system specification obtained an automated way. The design this kind development associated support tools one current challenges field. This leads us real CARE Computer-Aided Requirements environments, where replacement S (of CASE) by R very meaningful: we want focus on process capture properties. Our advanced will convert these "patterns" behavior into most convenient given environment, "compiling" following set mappings between conceptual patterns representations. To do it, formal basis model with necessary expressiveness needed order this. contribution paper object-oriented OASIS as basic for such together method production -the OO-Method- operational implementation ideas.