( en | de | ru )

 

Disambiguation of "Rifaut, André"

Author of the publication

copydeleteadd this publication to your clipboard
A knowledge representation language for requirements engineering.

, , , , and . Proc. IEEE, 74 (10): 1431-1444 (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ernst-Christian André

Helmut André

Achim André

Karl Wilhelm Andrée

Emil Andrée

 

Other publications of authors with the same name

Early Verification and Validation of Mission Critical Systems., , , , , and . FMICS, volume 133 of Electronic Notes in Theoretical Computer Science, page 237-254. Elsevier, (2004)FAUST: Formal Analysis Using Specification Tools., , , , , , and . RE, page 350. IEEE Computer Society, (2003)Goal-Driven Requirements Engineering for Supporting the ISO 15504 Assessment Process.. EuroSPI, volume 3792 of Lecture Notes in Computer Science, page 151-162. Springer, (2005)Operational risk management in financial institutions: Process assessment in concordance with Basel II., , , , , , , and . Softw. Process. Improv. Pract., 12 (4): 321-330 (2007)Improving Risk-Based Security Analysis with /*., , and . Social Modeling for Requirements Engineering, MIT Press, (2011)Early verification and validation of mission critical systems., , , , , and . Formal Methods Syst. Des., 30 (3): 233-247 (2007)The ERAE Model: A Case Study., , , , , and . Information Systems Design Methodologies: Improving the Practice, page 87-105. North-Holland, (1986)Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution., , , , , , , and . AICOL, volume 8929 of Lecture Notes in Computer Science, page 130-144. Springer, (2013)Capturing and Aligning Assurance Requirements for Business Services Systems., , , and . BSME, volume 7350 of Lecture Notes in Computer Science, page 71-92. Springer, (2010)Requirements Engineering with Grail/Kaos: Tell the Requirements, All the Requirements, and Nothing Else but the Requirement., , , and . RE, page 299. IEEE Computer Society, (2002)