The result of planner in the visual viewSamaneh Soltani, Mohsen Asadi, Dragan Gasevic, Marek Hatala, Ebrahim Bagheri: Automated planning for feature model configuration based on functional and non-functional requirements. SPLC (1) 2012: 56…

Haskell parsec で命題論理（propositional logic）の構文解析器を作ってみた。作ってみた、とは一言っても、つくりかけ。BNF の右辺が２つの時はできるのだけど、それが３つ以上になった時にどうして良いかわからない。以下を参考に作った。以下と違って、…

The main challenge of this study was to model the input space in terms of a set of parameters and values. Once the model was designed,we generated test cases using ACTS, which were then later used to test ACTS