DESIGNING DEPENDABLE AGILE LAYERED WEB SERVICES SECURITY ARCHITECTURE SOLUTIONS Journal title: Indian Journal of Computer Science and Engineering Authors: M.UPENDRA KUMAR , Dr.D.SRAVAN KUMAR , Dr. B.PADMAJA RANI , K.VENKATESWARA RAO Subject(s):
A Systematic Survey report on Various Frameworks and Models for Verification of Choreography in SOA Journal title: International Journal of Computer Science & Engineering Technology Authors: Choudhury Bandana Das , Prachet Bhuyan Subject(s):
UML activity diagram transformation into BPEL integration flow Journal title: Bulletin of the Military University of Technology Authors: Tomasz Górski, Grzegorz Ziemski Subject(s):
Transformacja diagramu aktywności UML w przepływ integracyjny BPEL Journal title: Bulletin of the Military University of Technology Authors: Tomasz Górski, Grzegorz Ziemski Subject(s):
The Investigation of TLC Model Checker Properties Journal title: Journal of Information and Organizational Sciences Authors: Vadym Viktorovych Shkarupylo, Igor Tomičić, Kostiantyn Mykolaiovych Kasian Subject(s): Computer and Information Science, Information Technology, Computer Science, Information Systems
Survey on Testing of BPEL Processes Journal title: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY Authors: Gurpreet Kaur, Mrs. Gaganpreet Kaur Subject(s):
