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

DOI10.1007/978-3-642-19829-8_12zbMATH Open1325.68154OpenAlexW1672398008MaRDI QIDQ2999320FDOQ2999320

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

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

zbMATH Keywords

Event-Bformal specificationrequirements engineeringKAOSlocalization component

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• A derivation strategy for formal specifications from natural language requirements models
• A simplified and corroborative approach towards formalization of requirements
• Title not available (Why is that?)

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)