Filters








2 Hits in 3.2 sec

Animation-Based Service Specification, Verification and Validation

Biljana Bajić-Bizumić
2015
As a consequence, it becomes difficult to create precise specifications at high-levels of abstraction, potentially leading to severe project problems.  ...  As a consequence, it becomes difficult to create precise high-level specifications and make sure that the implemented services are those that correspond to the business needs, potentially leading to severe  ...  The authors of [77] plan to use formal methods for simulation of business transactions in the existing method and toolset "Efficient" [78] , which will enable  ... 
doi:10.5075/epfl-thesis-6551 fatcat:wql7pkjzwvcwtdfk4syhqyxk2u

ICCGI 2015 The Tenth International Multi-Conference on Computing in the Global Information Technology

St Julians, Malta, Dan Tamir, Mirela Danubianu, " Stefan, Dominic Girardi, Bernhard Freudenthaler, Mirela Danubianu, " Stefan, Dominic Girardi, Bernhard Freudenthaler, Pablo Adasme (+134 others)
unpublished
We also gratefully thank the members of the ICCGI 2015 organizing committee for their help in handling the logistics and for their work that made this professional meeting a success.  ...  We hope ICCGI 2015 was a successful international forum for the exchange of ideas and results between academia and industry and to promote further progress in the field of computing in the global information  ...  The authors want to thank Lars Ackermann and Stefan Schönig, both with University of Bayreuth. ACKNOWLEDGMENT This work was supported by KAKENHI 15H02686.  ... 
fatcat:lf5jdtpy5fdqzl6gr43ou7hrbu