Author:
Bolignano Dominique,Le Métayer Daniel,Loiseaux Claire
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Abrial, J. R.: “Assigning programs to meaning”. Cambridge University Press 1996.
2. Bochmann, G., Petrenko, A.: “Protocol testing: review of methods and relevance for software testing”. Proc. of the ACM int. Symposium on software testing and analysis 1994.
3. Booch, G., Rumbaugh, J., Jacobson, I.: “The Unified Modeling Language user guide”. Addison-Wesley 1998.
4. Bowman, H., Boiten, E., Derrick, J., Steen, M.: “Viewpoint consistency in ODP, a general interpretation”. Proc. of the 1st IFIP int. Workshop on formal methods for open object-based distributed systems, Chapman & Hall 1996, pp. 189–204.
5. “The Common Criteria for Information Technology Security Evaluation”. http://www.commoncriteria.org/docs/aboutus.html .