Specification of Software Systems - 9781447126447

Applied Software: Requirements Engineering for Software and Systems 4th Edition

Managing Software Requirements the Agile Way: Fred Heath

Specification and Design of Embedded Systems

Specification and Design of Concurrent Systems (McGraw-Hill Inte

Operating Systems: Design and Implementation (Prentice-Hall Software Series)

Software Specification: A Comparison of Formal Methods... - Zelkowitz, Martin

The Temporal Logic of Reactive and Concurrent Systems: Specification