Communication protocol engineering

Communication Protocol Engineering

Volumn , Issue , 2016, Pages 1-438

  Popovic, Miroslav ^a  

^a UNIVERSITY OF NOVI SAD   (Serbia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85122509898     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book

References (12)

1. Booch, G., Rumbaugh, J., and Jacobson, I., The Unified Modeling Language User Guide, Addison-Wesley, Reading, MA, 1998.
2. Booch, G., Rumbaugh, J., and Jacobson, I., The Unified Software Development Process, Addison-Wesley, Reading, MA, 1998.
3. Broekman, B. and Notenboom, E., Testing Embedded Software, Addison-Wesley, London, 2003.
4. Meyer, S. and Apfelbaum, L., "Use Cases Are Not Requirements," http://www.geocities.com/model_based_testing/online_papers.htm, 1999.
5. Rosenberg, J. et al., "RFC 3261-SIP: Session Initiation Protocol," http://www.faqs.org/rfcs/rfc3261.html, 2002.
6. Halsall, F., Data Communications, Computer Networks and OSI, Addison-Wesley, Reading, MA, 1988.
7. Gamma, E., Helm, R., Johnson, R., and Vlissides, J., Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, Reading, MA, 1995.
8. Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, Ph., and McKenzie, P., Systems and Software Verification: Model-Checking Techniques and Tools, Springer-Verlag, Berlin, 2001.
9. Newborn, M., Automated Theorem Proving, Springer-Verlag, New York, 2001.
10. Popovic, M., Atlagic., B., and Kovacevic, V., "Case study: A maintenance practice used with real-time telecommunication software," Journal of Software Maintenance and Evolution: Research and Practice, John Wiley & Sons, West Sussex, No. 13, pp. 97, 2001.
11. Popovic, M. and Velikic, I., "A generic model-based test case generator," Proc. IEEE International Conference and Workshop on Engineering of Computer Based Systems, Greenbelt, MD, April 4-7, 2005.
12. Woit, D.M., "Operational profile specification, test case generation, and reliability estimation for modules," Ph.D. thesis, Queens University Kingstone, Ontario, Canada, February 1994.