Unsafe Impedance: Safe Languages and Safe by Design Software.
Lee BarneyAdolfo NetoPublished in: CoRR (2024)
Keyphrases
- software design
- hardware design
- user interface
- design process
- engineering design
- databases
- software development
- software architecture
- language independent
- design tools
- architectural models
- aspect oriented
- intellectual property
- formal methods
- simulation environment
- software systems
- knowledge based systems
- software engineering
- case study