summaryrefslogtreecommitdiff
path: root/spec (follow)
AgeCommit message (Expand)Author
2020-05-28spec: Add requirement referencesSebastian Huber
2020-05-28spec: Add content from engineering manualSebastian Huber
2020-05-28spec: Add examplesSebastian Huber
2020-05-28spec: Reuse interface description and notesSebastian Huber
2020-05-28specverify: Improve contains operationSebastian Huber
2020-05-28spec: Canonicalize specification of itemsSebastian Huber
2020-05-28specdoc: Use mapper substitutions for descriptionsSebastian Huber
2020-05-28spec: Add interface domain itemsSebastian Huber
2020-05-28spec: Add interface-target link roleSebastian Huber
2020-05-28spec: Add dedicated constraint itemsSebastian Huber
2020-05-28spec: Add specification of requirement validationSebastian Huber
2020-05-28spec: Canonicalize specification of specificationSebastian Huber
2020-05-28spec: Add rationale attribute to requirementsSebastian Huber
2020-05-28Rename custom constraints attributeSebastian Huber
2020-05-28Add constraint link roleSebastian Huber
2020-05-28Rename application configuration attributesSebastian Huber
2020-05-28spec: Add specification of test itemsSebastian Huber
2020-05-28Rename test suite attributesSebastian Huber
2020-05-28Rename test case attributesSebastian Huber
2020-05-28spec: Add specification of interface itemsSebastian Huber
2020-05-28spec: Add function body attributeSebastian Huber
2020-05-28spec: Remove superfluous domain attributeSebastian Huber
2020-05-28spec: Add unspecified interface typeSebastian Huber
2020-05-28Rename interface attributesSebastian Huber
2020-05-28spec: Add specification of interface group itemsSebastian Huber
2020-05-28spec: Sort attributesSebastian Huber
2020-05-28Rename interface group attributesSebastian Huber
2020-05-28spec: Add more interface specification itemsSebastian Huber
2020-05-28spec: Add specification of glossary itemsSebastian Huber
2020-05-28Rename glossary attributesSebastian Huber
2020-05-28spec: Add specification of build itemsSebastian Huber
2020-05-28spec: Add specification of specification itemsSebastian Huber
2020-05-28spec: Add requirement typesSebastian Huber
2020-05-28spec: Make constraints non-functional requirementsSebastian Huber
2020-05-28spec: Add requirement-refinement link roleSebastian Huber
2020-05-28spec: Add glossary-member link roleSebastian Huber
2020-05-28spec: Fix descriptionSebastian Huber
2020-05-28spec: Add appl-config-group-member link roleSebastian Huber
2020-05-28spec: Add specification of specification itemsSebastian Huber
2020-05-28spec: Add missing license and copyrightsSebastian Huber
2020-05-28Change format of enabled-by attributeSebastian Huber
2020-05-28spec: Add some interface itemsSebastian Huber
2020-05-28spec: Use item mapper for glossary termsSebastian Huber
2020-05-28Generate a test suite with two test casesSebastian Huber
2020-04-21Remove Doorstop specificsSebastian Huber
2020-04-02spec: Move optionSebastian Huber
2020-04-01spec: Clarify config options useSebastian Huber
2020-04-01spec: Use null if no notes are presentSebastian Huber
2020-04-01spec: Add and use constraintSebastian Huber
2020-03-31spec: Add undocumented configuration optionsSebastian Huber