Pages that link to "Item:Q1762176"
From MaRDI portal
The following pages link to RCOS: a formal model-driven engineering method for component-based software (Q1762176):
Displaying 6 items.
- Using formal methods with SysML in aerospace design and engineering (Q434438) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation (Q1061482) (← links)
- Reasoning about iteration and recursion uniformly based on big-step semantics (Q2154025) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)