Publication | Closed Access

Describing products as executable programs: Variant specification in a customer-oriented environment

MarketingExecutable ProgramsSpecification LanguageProduct-service-software SystemEngineeringProgram AnalysisVariant SpecificationSoftware TestingDesignFormal MethodsSoftware Product LineSoftware EngineeringProduct Line EngineeringSoftware AnalysisSystem SoftwareSoftware DesignSystem SpecificationCustomer-oriented Environment