FAUST: Formal analysis using specification tools

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn 2003-January, Issue , 2003, Pages 350-

  Rifaut, A ^a   Massonet, P ^a   Molderez, J F ^a   Ponsard, C ^a   Stadnik, P ^a   Van Lamsweerde, A ^b   Van Hung, T ^b  

^a CETIC Research Center   (Belgium)

^b UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

Animation; Production

Indexed keywords

ANIMATION; PRODUCTION; REQUIREMENTS ENGINEERING; SPECIFICATIONS;

DOMAIN LEVELS; FORMAL ANALYSIS; HIGH QUALITY; INDUSTRIAL SYSTEMS; INTEGRATED TOOLSET; MODEL-CHECKING TECHNOLOGY; SEMI-FORMAL MODELS; SPECIFICATION TOOLS;

MODEL CHECKING;

EID: 34548582286     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2003.1232781     Document Type: Conference Paper

References (2)

1. Reference material about the KAOS methodology: http://www.info.ucl.ac.be/research/projects/AVL/ReqEng.html.
2. Project and toolbox status: http://www.cetic.be/~faust.