Pages that link to "Item:Q5897129"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5897129):
Displaying 6 items.
- Integration of usability evaluation and model-based software development (Q733264) (← links)
- Model-based fault injection for testing gray-box systems (Q1734510) (← links)
- Template method test pattern (Q1799560) (← links)
- Investigating the use of analysis contracts to improve the testability of object-oriented code (Q4422647) (← links)
- Testing for a conformance relation based on acceptance (Q5044759) (← links)
- FM 2005: Formal Methods (Q5716907) (← links)