Author of the publication

Specification patterns can be formal and still easy.

, and . SEKE, page 430-436. Knowledge Systems Institute Graduate School, (2010)

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

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)Specification patterns can be formal and still easy., and . SEKE, page 430-436. Knowledge Systems Institute Graduate School, (2010)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)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)