( en | de | ru )

 

Disambiguation of "Asteasuain, Fernando"

Author of the publication

copydeleteadd this publication to your clipboard
Open and Branching Behavioral Synthesis with Scenario Clauses.

, , , and . CLEI Electron. J., (2021)

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.

Fernando Rinaldi

Fernando Wiens

Fernando Boenicke

Fernando Cox

Fernando Silva

 

Other publications of authors with the same name

Specification Patterns: Formal and Easy., and . International Journal of Software Engineering and Knowledge Engineering, 25 (4): 669-700 (2015)Open and Branching Behavioral Synthesis with Scenario Clauses., , , and . CLEI Electron. J., (2021)Exploiting Anti-scenarios for the Non Realizability Problem., , and . CACIC, volume 1184 of Communications in Computer and Information Science, page 157-171. Springer, (2019)Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem., , , and . IBERAMIA-SBIA, volume 4140 of Lecture Notes in Computer Science, page 188-197. Springer, (2006)Specification patterns can be formal and still easy., and . SEKE, page 430-436. Knowledge Systems Institute Graduate School, (2010)Improving AOP Systems' Evolvability by Decoupling Advices from Base Code., , , and . RAM-SE, page 9-21. Fakultät für Informatik, Universität Magdeburg, (2006)Declaratively building behavior by means of scenario clauses., and . Requir. Eng., 22 (2): 239-274 (2017)A Sound and Correct Formalism to Specify, Verify and Synthesize Behavior in BIG DATA Systems., and . CACIC, volume 1584 of Communications in Computer and Information Science, page 109-123. Springer, (2021)New Horizons for Metamorphic Relationships in Formal Verification.. CACIC, volume 1778 of Communications in Computer and Information Science, page 107-122. Springer, (2022)