exploratory programming Closed software system 1 Domain-specific programming languages 1 Embedded systems 1 Exploratory programming 1 Fitness to task 1 Formal specification 1 Functional programming 1 General-purpose programming language 1 Generality-power tradeoff 1 Open resource coalition 1 Power 1 Problem oriented languages 1 Problem-setting design 1 Problem-solving 1 Problem-solving design 1 Software credential 1 Software design 1 Software developer 1 Software-systems 1 Sufficient correctness 1 Vernacular software developer 1 closed software system 1 domain-specific programming language 1 fitness to task 1 formal specifications 1 general-purpose programming language 1 generality-power tradeoffs 1 literature study 1 live coding 1