Specification of a localization component driven by a goal-based approach: some lessons we learned

DOI10.1007/978-3-642-19829-8_12MaRDI QIDQ2999320zbMATH OpenOpenAlexFDO

Authors Abderrahman Matoussi, Frédéric Gervais, 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

Event-Bformal specificationrequirements engineeringKAOSlocalization component

Mathematics Subject Classification ID

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

Recommendations

• A derivation strategy for formal specifications from natural language requirements models
• Formal specification generation from requirement documents
• scientific article; zbMATH DE number 1706339
• scientific article; zbMATH DE number 194792
• Incremental System Modelling in Event-B

Cites work

• Locality and interleaving semantics in calculi for mobile processes
• Modeling in Event B. System and software engineering.
• The B-Book
• Towards Modelling Obligations in Event-B

Cited in

(3)

• A derivation strategy for formal specifications from natural language requirements models
• A simplified and corroborative approach towards formalization of requirements
• scientific article; zbMATH DE number 2087517 (Why is no real title available?)

Describes a project that uses

Uses Software

• Rodin
• ProB

This page was built for publication: Specification of a localization component driven by a goal-based approach: some lessons we learned

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2999320)