Publication:3355245
From MaRDI portal
zbMath0729.68045MaRDI QIDQ3355245
Michael Löwe, Horst Hansen, Werner Fey, Hartmut Ehrig, Dean Jacobs
Publication date: 1989
modules; software engineering; software configuration management; design methodologies; version control; configuration families
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
68N99: Theory of software
Related Items