Pages that link to "Item:Q2481209"
From MaRDI portal
The following pages link to Integrating a formal method into a software engineering process with UML and Java (Q2481209):
Displaying 6 items.
- Dynamic consistency in process algebra: from paradigm to ACP (Q541685) (← links)
- Integrating formal specifications into applications: the ProB Java API (Q2147695) (← links)
- Model transformations across views (Q2266947) (← links)
- Combining the box structure development method and CSP for software development (Q2848418) (← links)
- Automatic verification of combined specifications: an overview (Q2873685) (← links)
- Dynamic Consistency in Process Algebra: From Paradigm to ACP (Q5179202) (← links)