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}
}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
An Architectural Proposal for a Model-Driven Environment to Support Lightweight Formal Software Engineering
- Computer Science
- 2015
All Things Considered: Inspecting Statecharts by Model Transformation
- Computer Science
- 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06)
- 2006
On the Maintenance Costs of Formal Software Requirements Specification Written in the Software Cost Reduction and in the Real-time Unified Modeling Language Notations
- Computer Science
- 2005
A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems
- Computer Science
- 2011
- 1
- PDF
Procedures and Algorithms for Continuous Integration in an Agile Specification Environment
- Engineering, Computer Science
- Int. J. Softw. Eng. Knowl. Eng.
- 2009
- 1
Model Checking Process with Goal Oriented Requirements Analysis
- Computer Science
- 2008 15th Asia-Pacific Software Engineering Conference
- 2008
- 9
Bringing the Agile Philosophy to Formal Specification Settings
- Computer Science
- Int. J. Softw. Eng. Knowl. Eng.
- 2006
- 7
References
SHOWING 1-10 OF 34 REFERENCES
Investigating the readability of state-based formal requirements specification languages
- Proceedings of the 24th International Conference on Software Engineering. ICSE 2002
- 2002
- 31
Designing specification languages for process control systems: lessons learned and steps to the future
- Computer Science
- ESEC/FSE-7
- 1999
- 97
- PDF
Requirements Specification for Process-Control Systems
- Computer Science
- IEEE Trans. Software Eng.
- 1994
- 619
- PDF
Statestep: a tool for systematic, incremental specification
- Computer Science
- Proceedings. 26th International Conference on Software Engineering
- 2004
- 2
A survey of structured and object-oriented software specification methods and techniques
- Computer Science
- CSUR
- 1998
- 242
- PDF