Experience of using a lightweight formal specification method for a commercial embedded system product line

@article{Breen2004ExperienceOU,
  title={Experience of using a lightweight formal specification method for a commercial embedded system product line},
  author={M. Breen},
  journal={Requirements Engineering},
  year={2004},
  volume={10},
  pages={161-172}
}
  • M. Breen
  • Published 2004
  • Computer Science
  • Requirements Engineering
  • A simple specification method is introduced and the results of its application to a series of projects in Philips are reported. The method is principally designed to ensure that that every unusual scenario is considered in a systematic way. In practice, this has led to high-quality specifications and accelerated product development. While the straightforward tabular notation used has proved readily understandable to non-technical personnel, it is also a formal method, producing a model of… CONTINUE READING
    23 Citations
    All Things Considered: Inspecting Statecharts by Model Transformation
    • M. Breen
    • Computer Science
    • 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06)
    • 2006
    Procedures and Algorithms for Continuous Integration in an Agile Specification Environment
    • 1
    Towards Classification of Lightweight Formal Methods
    • 6
    • Highly Influenced
    • PDF
    Model Checking Process with Goal Oriented Requirements Analysis
    • 9
    Bringing the Agile Philosophy to Formal Specification Settings
    • 7
    A Formal Semantics of Statestep Tables
    • PDF

    References

    SHOWING 1-10 OF 34 REFERENCES
    Strategies for Real-Time System Specification
    • 785
    • PDF
    Investigating the readability of state-based formal requirements specification languages
    • 31
    Designing specification languages for process control systems: lessons learned and steps to the future
    • 97
    • PDF
    Requirements Specification for Process-Control Systems
    • 619
    • PDF
    Statestep: a tool for systematic, incremental specification
    • M. Breen
    • Computer Science
    • Proceedings. 26th International Conference on Software Engineering
    • 2004
    • 2
    Why are Formal Methods Not Used More Widely
    • 72
    • PDF
    Lightweight Formal Methods
    • 179
    A Rational Design Process: How and Why to Fake It
    • 307
    • PDF