Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned

DOI10.1007/978-3-642-19829-8_12zbMath1325.68154OpenAlexW1672398008MaRDI QIDQ2999320

Frédéric Gervais, Abderrahman Matoussi, Régine Laleau

Publication date: 12 May 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19829-8_12

zbMATH Keywords

formal specificationEvent-Brequirements engineeringKAOSlocalization component

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Rodin
• ProB

Cites Work

• Unnamed Item
• Locality and interleaving semantics in calculi for mobile processes
• Towards Modelling Obligations in Event-B
• The B-Book

This page was built for publication: Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned