Interfaces and binding in component based development of formal models.
Giuliana FranceschinisMarco GribaudoMauro IaconoStefano MarroneFrancesco MoscatoValeria VittoriniPublished in: VALUETOOLS (2009)
Keyphrases
- formal models
- component based development
- software components
- formal model
- rule based systems
- process model
- software reuse
- embedded real time systems
- conceptual modeling
- reusable components
- object oriented
- software quality
- web services
- component based architecture
- database
- user interface
- development process
- artificial intelligence
- rule base
- software systems
- information technology
- neural network
- databases