Control Engineering Practice · 1995 · 1K citations · 0 references
ComputingComputer ScienceFormal MethodsModel-based Systems EngineeringSoftware EngineeringModel-driven Software EngineeringSoftware ArchitectureSoftware DesignSoftware ModelingSoftware Process ModelsSoftware Quality AssuranceSoftware Development Life CycleSoftware Development LifecycleSoftware Development Methodology