Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation-Reference-Cited by-同舟云学术

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

Published:2009 Issue: Volume: Page:438-452
ISSN:0302-9743
Container-title:Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Dhaussy Philippe,Pillain Pierre-Yves,Creff Stephen,Raji Amine,Le Traon Yves,Baudry Benoit

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04425-0_34

Reference22 articles.

1. Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical computer Science 126(2), 183–235 (2004)

2. Lecture Notes in Computer Science;M. Bozga,2002

3. Clarke, T., Evans, A., Sammut, P., Willians, J.: Applied Meamodeling: A foundation for Language Driven Development. Technical report, version 0.1, Xactium (2004)

4. ITU-T. Recommendations Z-100. Specification and Description Language (SDL) (1994)

5. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. of the 21st Int. Conf. on Software Engineering, pp. 411–420. IEEE Computer Society Press, Los Alamitos (1999)

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Language Agnostic Model Checking for SDL;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

2. Context modeling for cyber‐physical systems;Journal of Software: Evolution and Process;2022-04-08

3. Observer Patterns for Timed Properties;International Journal of Software Innovation;2021-04

4. Partially Bounded Context-Aware Verification;Software Engineering and Formal Methods;2019

5. Automated Context Formalization for Context-aware Specification Approach;International Journal of Information System Modeling and Design;2018-07