RSF: a formalism for executable requirement specifications
- 1 January 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 16 (11), 1235-1246
- https://doi.org/10.1109/32.60312
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- RT-ASLAN: A specification language for real-time systemsIEEE Transactions on Software Engineering, 1986
- A logic-based calculus of eventsNew Generation Computing, 1986
- Testing Formal Specifications to Detect Design ErrorsIEEE Transactions on Software Engineering, 1985
- The operational versus the conventional approach to software developmentCommunications of the ACM, 1984
- Software Technology in the 1990's: Using a New ParadigmComputer, 1983
- An Operational Approach to Requirements Specification for Embedded SystemsIEEE Transactions on Software Engineering, 1982
- Using symbolic execution to characterize behaviorACM SIGSOFT Software Engineering Notes, 1982
- On the SUP-INF Method for Proving Presburger FormulasJournal of the ACM, 1977