The following pages link to Specification of software systems. (Q625100):
Displaying 6 items.
- Software engineering 1. Abstraction and modelling. (Q1773139) (← links)
- Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. (Q1773140) (← links)
- Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker (Q2077760) (← links)
- Bounding pandemic spread by heat spread (Q2677386) (← links)
- (Q4692787) (← links)
- What causes a system to satisfy a specification? (Q5277809) (← links)