Author of the publication

Requirements by Contracts allow Automated System Testing

, , , and . ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, page 85. Washington, DC, USA, IEEE Computer Society, (2003)

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.

 

Other publications of authors with the same name

System Testing of Product Lines: From Requirements to Test Cases, , and . Software Product Lines, Springer-Verlag, (2006)A proposed meta-model for formalizing systems engineering knowledge, based on functional architectural patterns., , , , and . Syst. Eng., 15 (3): 321-332 (2012)A Generic Approach for Class Model Normalization., , and . ASE, page 431-434. IEEE Computer Society, (2008)Model-Driven Engineering for Requirements Analysis., , and . EDOC, page 459-466. IEEE Computer Society, (2007)Modelling equivalence classes of feature models with concept lattices to assist their extraction from product descriptions., , and . J. Syst. Softw., (2019)Variability Extraction from Simulator I/O Data Schemata in Agriculture Decision-Support Software., , , , and . FCA4AI@IJCAI, volume 2972 of CEUR Workshop Proceedings, page 59-70. CEUR-WS.org, (2021)Visualization of Use Cases through Automatically Generated Activity Diagrams., , , , and . MoDELS, volume 5301 of Lecture Notes in Computer Science, page 83-96. Springer, (2008)Analyzing Variability in Product Families through Canonical Feature Diagrams., , and . SEKE, page 185-190. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2017)Un framework de traçabilité pour des transformations à caractère impératif., , , , and . LMO, volume L-1 of RNTI, page 139-152. Cépaduès-Éditions, (2008)FCA for software product line representation: Mixing configuration and feature relationships in a unique canonical representation., , , and . Discret. Appl. Math., (2020)