SEFeb 12, 2012
A Formal Approach for the Development of Service-Oriented Applications
arXiv:1202.2572v21 citations
AI Analysis
This addresses the problem of ensuring robust service-oriented applications for software engineers, but it appears incremental as it builds on existing formal methods.
The paper tackles the challenge of developing service-oriented applications by proposing a formal approach, resulting in a methodology that enhances reliability and correctness in such systems.
Please cite this as "Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru, Matei Popovici, Ciprian Dobre, A Formal Approach for the Development of Service-Oriented Applications, in Proc. of 18th International Conference on Control Systems and Computer Science (CSCS-18), Bucharest, Romania, 2011, pp. 804-810, ISSN: 2066-4451, Politehnica Press"