Searching for "Formal Specifications of User Requirements." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems
by Abdolbaghi Rezaza Deh, Michael Butler — 2003 — In: Refinement of Critical Systems (RCS’03
… presentation of the system followed by a very high-level formal specification of user requirements in single…
Cited by 1 (1 self) – Add To MetaCart

Practical Formal Development of Real-Time Systems
by Bradley Henderson Kendall, S. P. Bradley, W. D. Henderson, D. Kendall, A. P. Robson — 1994 — In 11th IEEE Workshop on Real-Time Operating Systems and Software, RTOSS '94, Seattle
… Kernel Implementation Formal Specification User Requirements Write Functional Code Prove Design Correct…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB