Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 531-532

  Nakagawa, Hiroyuki ^a,c   Taguchi, Kenji ^b   Honiden, Shinichi ^a,b  

^a UNIVERSITY OF TOKYO   (Japan)

^b NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^c KAJIMA CORPORATION   (Japan)

Author keywords

formal methods; model transformation; requirements analysis

Indexed keywords

COMPLEX SYSTEMS; FORMAL SPECIFICATION; LITTLE RESEARCH; MODEL TRANSFORMATION; MODEL TRANSFORMATION TECHNIQUE; REQUIREMENTS ANALYSIS; REQUIREMENTS MODELS; REQUIREMENTS PHASE; REQUIREMENTS SPECIFICATIONS; SOFTWARE DEVELOPMENT;

COMPUTER SOFTWARE; REQUIREMENTS ENGINEERING; SOFTWARE DESIGN; SPECIFICATIONS; WAVELET TRANSFORMS;

FORMAL METHODS;

EID: 56549086788     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321729     Document Type: Conference Paper

References (5)

1. A.Dardenne, A.van Lamsweerde, S.Fickas, Goal - Directed Requirements Acquisition, Science of Computer Programming, Vol.20, 1993, pp.3-50, 1993.
2. J. Fitzgerald, P. G. Larsen, P. Mukherjee, N. Plat, M. Verhoef, Validated Designs for Object- oriented Systems, Springer, 2005.
3. J. Fitzgerald, P. G. Larsen, Modelling Systems, Cambridge University Press, 1998.
4. CEDITI, Objectiver, http://www.objectiver.com/.
5. CSK, VDM Tools, http://www.vdmtools.jp/en/.