From CASE to CARE (Computer-Aided Requirements Engineering)

作者: Oscar Pastor , José H. Canós , Isidro Ramos

DOI: 10.1007/3-540-47866-3_19

关键词: RequirementSoftware requirements specificationSoftware engineeringSoftware systemComputer scienceSoftware developmentSoftware constructionComputer-aided software engineeringSoftware designSoftware requirementsSimulation

摘要: 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.

参考文章(22)
Tom Atwood, Roderick G. Cattell, Object Database Standard: ODMG-93 Morgan Kaufmann Publishers Inc.. ,(1993)
David Harel, First-Order Dynamic Logic ,(1979)
I. Ramos, Logics and OO-Data Bases:a declarative approach database and expert systems applications. pp. 229- 233 ,(1990) , 10.1007/978-3-7091-7553-8_37
Oscar Pastor, Vicente Pelechano, Emilio Insfrán, Jaime Gómez, From Object Oriented Conceptual Modeling to Automated Programming in Java Conceptual Modeling – ER ’98. pp. 183- 196 ,(1998) , 10.1007/978-3-540-49524-6_16
Stephen W. Liddle, David W. Embley, Scott N. Woodfield, Unifying Modelling and Programming through an Active, Object-Oriented, Model-Equivalent Programming Language international conference on conceptual modeling. pp. 55- 64 ,(1995) , 10.1007/BFB0020520
Francis G. McCabe, Logic and objects ,(1992)
Stephanie Bodoff, Chris Dollin, Helena Gilchrist, Patrick Arnold, Fiona Hayes, Derek Coleman, Paul Jeremaes, Object-oriented development: the fusion method Prentice-Hall, Inc.. ,(1994)
Ralf Jungclaus, Gunter Saake, Cristina Sernadas, Formal specification of object systems TAPSOFT '91. pp. 60- 82 ,(1991) , 10.1007/3540539816_61
Oscar Pastor Lopez, Fiona Hayes, Stephen Bear, Oasis: An object-oriented specification language conference on advanced information systems engineering. pp. 348- 363 ,(1992) , 10.1007/BFB0035141