|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2011 IEEE 35th Annual Computer Software and Applications Conference
Formal Methods in the Era of Service-Oriented Design
Munich, Germany
July 18-July 22
ISBN: 978-0-7695-4439-7
| ASCII Text | x | ||
| Tiziana Margaria, "Formal Methods in the Era of Service-Oriented Design," 2012 IEEE 36th Annual Computer Software and Applications Conference, pp. 452-453, 2011 IEEE 35th Annual Computer Software and Applications Conference, 2011. | |||
| BibTex | x | ||
| @article{ 10.1109/COMPSAC.2011.111, author = {Tiziana Margaria}, title = {Formal Methods in the Era of Service-Oriented Design}, journal ={2012 IEEE 36th Annual Computer Software and Applications Conference}, volume = {0}, year = {2011}, issn = {0730-3157}, pages = {452-453}, doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2011.111}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE 36th Annual Computer Software and Applications Conference TI - Formal Methods in the Era of Service-Oriented Design SN - 0730-3157 SP452 EP453 A1 - Tiziana Margaria, PY - 2011 KW - Formal Methods KW - Service engineering KW - agility KW - flexible design VL - 0 JA - 2012 IEEE 36th Annual Computer Software and Applications Conference ER - | |||
Index Terms:
Formal Methods, Service engineering, agility, flexible design
Citation:
Tiziana Margaria, "Formal Methods in the Era of Service-Oriented Design," compsac, pp.452-453, 2011 IEEE 35th Annual Computer Software and Applications Conference, 2011
Usage of this product signifies your acceptance of the Terms of Use.