Skip to content

drasil-system: Create SmithEtAl-style software requirements specification encoding.#4332

Draft
balacij wants to merge 1 commit intomainfrom
structuredReqSpec
Draft

drasil-system: Create SmithEtAl-style software requirements specification encoding.#4332
balacij wants to merge 1 commit intomainfrom
structuredReqSpec

Conversation

@balacij
Copy link
Collaborator

@balacij balacij commented Aug 15, 2025

Contributes to #3260 and #4304

@balacij
Copy link
Collaborator Author

balacij commented Aug 15, 2025

Just before anyone reads the code, one note: I'm pausing work on this because I'm not so sure this is the right design yet. I'll try to write out some thoughts on it later.

@JacquesCarette
Copy link
Owner

This definitely needs design first. I think the SmithEtAl format should be seen as exactly that, an output format.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants