HPRS: hierarchical potential-based reward shaping from task specifications by Luigi Berducci, Edgar A. Aguilar, Dejan Ničković, Radu Grosu

Subjects: Get full text

Automated class diagram elicitation using intermediate use case template by Shweta, Ratna Sanyal, Bibhas Ghoshal

Subjects: Get full text

Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking by Wenjie Zhong, Jian‐tao Zhou, Tao Sun

Subjects: Get full text

Business rules modeling using OCL by Sergejus Sosunovas, Olegas Vasilecas

Subjects: Get full text

MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems by Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem

Subjects: Get full text

Requirements engineering for crossover services: Issues, challenges and research directions by Zhengli Liu, Bing Li, Jian Wang, Rong Yang

Subjects: “…formal specification…”
Get full text