-
Notifications
You must be signed in to change notification settings - Fork 25
Questions
Jacques Carette edited this page Sep 9, 2021
·
12 revisions
This is a question-driven exploration of future work on Drasil.
- What artifacts occur in software projects?
- it would be useful to know the relative frequency, as a very crude means of prioritization
- What information is contained in those artifacts?
- more precisely, how can the information be classified into different kinds?
- How would one encode those different kinds information (so as to be re-usable)?
- ex: math expressions, sentences, semi-structured sentences, semi-structured sets of these, 'theories', etc.
- What is the provenance of that information?
- provenance will reveal meta-artifacts that may not typically be in projects, but exist nonetheless
- When taking all the information in a set of of artifacts as a coherent whole,
- what is the joint information?
- what is the unique information?
- How does one transform encoded information into the form it appears in final artifacts?
- i.e. this is a reverse operation to the encoding step(s) above
- How to store a 'database' of such information so that it can be reused?
- How does one specify a set of transformations that makes up a 'recipe' from information to artifacts?
- How does one make that set of transformation modular?
- Observation: a software system (like Drasil) is itself a software project - could Drasil be encoded in Drasil?
- inspired by compilers, micro-passes is probably a good way to go
Stuff to add to above:
- new backends (Matlab, C, Rust, ...)
- testing as a cross-cutting approach
- version control
- workflow
- very different domains
- embedded computational knowledge
- best practices
- generalized definition of developer productivity
- Home
- Getting Started
- Documentation (of Drasil specifics)
- Design
-
Readings
- Drasil Papers and Documents
- Related Work and Inspiration
- Writing Documentation
- Compression as a Means to Learn Structure
- Glossary, Taxonomy, Ontology
- Grounded Theory
- Model Driven Scrapbook
- Model Transformation Languages
- ODE Definitions
- The Code Generator
- Suggested Reading
- Sustainability
- Productivity
- Reuse
- Formal Concept Analysis
- Generative Programming
- Software Documentation
- Units and Quantities
- Misc.
- WIP Projects