Author:
Raji Amine,Dhaussy Philippe
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;P. Dhaussy,2009
2. Dhaussy, P., Boniol, F., De Belloy, S.E., Auvray, J., Landel, E.: Using context descriptions and property definition pattern for software formal verification. Modevva (2008)
3. Dhaussy, P., Creff, S., Plllain, P., Leilde, V.: CDL: a context description language, synthax and semantics, ENSTA-Bretagne, Tech. Rep. (2010)
4. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: International Conference on Software Engineering, pp. 411–420 (1999)
5. OMG, UML 2.1.2 Superstructure, pp. 1–738 (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Context Formalization for Context-aware Specification Approach;International Journal of Information System Modeling and Design;2018-07