Augmenting Formal Development with Use Case Reasoning

No abstract is available for this paper.

• Publication year

  2012

• Venue

  International Conference on Reliable Software Technologies

• Publication date

  2012-06-11

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-642-30598-6_10
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Industrial Deployment of System Engineering Methods

  2013cited by this paper
• Project DEPLOY Grant Agreement 214158 "Industrial deployment of advanced system engineering methods for high productivity and dependability"

  2011cited by this paper
• Use Case Scenarios as Verification Conditions: Event-B/Flow Approach

  2011influential reference
• Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

  2008cited by this paper
• On the purpose of Event-B proof obligations

  2008cited by this paper
• FM2005: Formal Methods

  2005cited by this paper
• Combining CSP and B for Specification and Property Verification

  2005cited by this paper
• ZB 2003: Formal Specification and Development in Z and B

  2003cited by this paper
• Composing Specifications Using Communication

  2003cited by this paper
• Model-Checking CSP-OZ Specifications with FDR

  1999cited by this paper
• Introducing Dynamic Constraints in B

  1998cited by this paper
• B’98: Recent Advances in the Development and Use of the B Method

  1998cited by this paper
• A Survey of Approaches For Describing and Formalizing Use Cases

  1998cited by this paper
• The B Book

  1971cited by this paper

• Requirements development and management of embedded real-time systems

  2014cites this paper
• A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems

  2014cites this paper
• An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems

  2014cites this paper
• Industrial Deployment of System Engineering Methods

  2013cites this paper
• A method for rigorous development of fault-tolerant systems

  2013cites this paper
• Event-B/SLP

  2013cites this paper