Accomplishment Specification

Specification concerning what a program achieves in the world, analogous to perlocutionary correctness.

Neighborhood — ranked by edge-count

paper

concept

Perlocutionary Acts
associated_with
Speech acts whose success depends on effects in the world external to program; harder to verify than illocutionary acts.

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

Input-Output Specificationconcept0.779
Specification relating a program's inputs and outputs, analogous to illocutionary correctness.
Proving that a program meets accomplishment specifications must be based on assumptions about the world, the information it makes available to the program and the effects of the program's actions as well as on facts about the program itself.claim0.761
Claim about the nature of accomplishment verification.
comfortable completionconcept0.740
A sense of being complete and comfortable, as in the friendly house edge, that enhances life.
processesconcept0.740
Represented by boxes in process theory; transformations that take systems as inputs/outputs
Perhaps we will need three levels of specification, internal, input-output and accomplishment.hypothesis0.738
Speculation about specification hierarchy.
Process descriptions for detailingmethod0.736
Specifying building details through procedural descriptions rather than fixed drawings, to enable unique adaptation.
Precise specification informs use and implementation without entangling them.claim0.735
extentconcept0.733
The set of objects A of a formal concept (A,B).