Author of the publication

Modeling Web Service Interactions Using the Coordination Language Reo.

, , , and . WS-FM, volume 4937 of Lecture Notes in Computer Science, page 108-123. Springer, (2007)

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.

No persons found for author name Tasharofi, Samira
add a person with the name Tasharofi, Samira
 

Other publications of authors with the same name

Evaluation of statistical part of speech tagging of persian text., , , and . ISSPA, page 1-4. IEEE, (2007)Modeling Web Service Interactions Using the Coordination Language Reo., , , and . WS-FM, volume 4937 of Lecture Notes in Computer Science, page 108-123. Springer, (2007)Bita: Coverage-guided, automatic testing of actor programs., , , and . ASE, page 114-124. IEEE, (2013)Why Do Scala Developers Mix the Actor Model with other Concurrency Models?, , and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 302-326. Springer, (2013)Process Patterns for Agile Methodologies., and . Situational Method Engineering, volume 244 of IFIP, page 222-237. Springer, (2007)TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs., , , , , and . FMOODS/FORTE, volume 7273 of Lecture Notes in Computer Science, page 219-234. Springer, (2012)Automated Mapping of Reo Circuits to Constraint Automata., , and . Electron. Notes Theor. Comput. Sci., (2006)Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm., , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 478-493. Springer, (2006)Keshmesh: a tool for detecting and fixing java concurrency bug patterns., , , and . OOPSLA Companion, page 39-40. ACM, (2011)Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM., and . Electron. Notes Theor. Comput. Sci., 229 (2): 155-174 (2009)