Software Requirements Specification and Traceability for Automobile Sector
Pelánek, Radek. "Fighting state space explosion: Review and evaluation." In International Workshop on Formal Methods for Industrial Critical Systems, Springer, Berlin, Heidelberg, pp. 37-52, 2008.
Alur, Rajeev, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, and Sriram K. Rajamani. "Partial-order reduction in symbolic state space exploration." In International Conference on Computer Aided Verification, Springer, Berlin, Heidelberg, pp. 340-351, 1997.
Dhaussy, Philippe, and Jean-Charles Roger. "Cdl (context description language): syntax and semantics." Rapport technique, ENSTA-Bretagne 37 (2011).
Hassine, Jameleddine, Juergen Rilling, and Rachida Dssouli. "An ASM operational semantics for use case maps." In Requirements Engineering, 2005. Proceedings. 13th IEEE International Conference on, pp. 467-468.
Whittle, Jon. "Specifying precise use cases with use case charts." In International Conference on Model Driven Engineering Languages and Systems, Springer, Berlin, Heidelberg, pp. 290-301, 2005.
Dhaussy, Philippe, Frédéric Boniol, Jean-Charles Roger, and Luka Leroux. "Improving model checking with context modelling." Advances in Software Engineering 2012 (2012): 9.
Dhaussy, Philippe, Jean-Charles Roger, Luka Leroux, and Frédéric Boniol. "Context aware model exploration with obp tool to improve model-checking." In ERTS 2012, p. xx. 2012.
Dhaussy, Philippe, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, and Benoit Baudry. "Evaluating context descriptions and property definition patterns for software formal validation." In International Conference on Model Driven Engineering Languages and Systems, Springer, Berlin, Heidelberg, pp. 438-452, 2009.
Berthomieu, Bernard, Jean-Paul Bodeveix, Patrick Farail, Mamoun Filali, Hubert Garavel, Pierre Gaufillet, Frederic Lang, and François Vernadat. "Fiacre: an intermediate language for model verification in the topcased environment." In ERTS 2008.
Atkinson, Colin, Ralph Gerbig, and Thomas Kühne. "A unifying approach to connections for multi-level modeling." In Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on, pp. 216-225.
Lamport, Leslie. "Solved problems, unsolved problems and non-problems in concurrency." ACM SIGOPS Operating Systems Review 19, no. 4, pp. 34-44, 1985.
Benabbou, Amel, Safia Nait Bahloul, and Philippe Dhaussy. "An Automated Transformation Approach for Requirement Specification." Procedia Computer Science 91, pp. 891-900, 2016.
Mustafiz, Sadaf, Jorg Kienzle, and Hans Vangheluwe. "Model transformation of dependability-focused requirements models." In Modeling in Software Engineering, 2009. MISE'09. ICSE Workshop on, pp. 50-55.
Language and Tools set website: http://www.obpcdl.org.
Benabbou, Amel, Safia Nait Bahloul, and Dhaussy Philippe. "Context-aware approach for formal verification." EAI Endorsed Transactions on Context-aware Systems and Applications 3, no. 7, pp.1-10, 2016.
- There are currently no refbacks.
This work is licensed under a Creative Commons Attribution 3.0 License.