The following pages link to (Q2701739):
Displaying 7 items.
- Specification of software systems. (Q625100) (← links)
- Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. (Q1773140) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
- (Q4003175) (← links)
- (Q4692787) (← links)
- Engineering methods from method requirements specifications (Q5950350) (← links)