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

Formal specification and security verification of usage control model based on PAT by Cong-hua ZHOU, Wei-he CHEN, Zhi-feng LIU

Subjects: Get full text

Specification-Based Testing of the Image-Recognition Performance of Automated Driving Systems by Kento Tanaka, Toshiaki Aoki, Takashi Tomita, Daisuke Kawakami, Nobuo Chida

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

Research on formal security policy model specification and its formal analysis by LI Li-ping1, QING Si-han1, ZHOU Zhou-yi1, HE Jian-bo1, WEN Hong-zi3

Subjects: Get full text

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

Subjects: Get full text

Data Overlay Mesh in Distributed Clouds Allowing Collaborative Applications by Milos Simic, Jovana Dedeic, Milan Stojkov, Ivan Prokic

Subjects: Get full text