Knowledge-Based Software Architectures: Acquisition, Specification, and Verification.
Jeffrey J. P. TsaiAlan LiuEric Y. T. JuanAvinash SahayPublished in: IEEE Trans. Knowl. Data Eng. (1999)
Keyphrases
- software architecture
- formal verification
- asynchronous circuits
- formal methods
- description language
- model checking
- protocol specification
- software systems
- embedded software
- software engineering
- functional requirements
- distributed systems
- reference model
- software development
- architectural design
- design patterns
- formal specification
- software requirements
- product line
- concurrent systems
- dynamic reconfiguration
- expert systems
- specification language
- security requirements
- artificial intelligence
- software evolution
- database
- colored petri nets
- data acquisition
- object oriented