PROSPER - An Investigation into Software Architecture for Embedded Proof Engines.
Thomas F. MelhamPublished in: FroCoS (2002)
Keyphrases
- software architecture
- description language
- software systems
- software engineering
- architectural design
- distributed systems
- reference model
- embedded systems
- embedded software
- software development
- design patterns
- reference architecture
- functional requirements
- object oriented software
- autonomous agents
- artificial intelligence
- machine learning
- object oriented
- cooperative
- high level
- case study
- information systems