A Formal Approach to Deploy Heterogeneous Software Components in a PLC.
Mohamed KhalguiEmanuele CarpanzanoPublished in: ICSOFT (SE) (2007)
Keyphrases
- software components
- formal specification
- software systems
- software reuse
- software development
- software modules
- building blocks
- control system
- java programs
- web services
- fuzzy control
- software design
- hardware and software
- development environments
- open source
- software engineering
- reusable components
- case study
- databases
- component based development
- purchasing behavior
- component based architecture
- formal representation
- source code
- cooperative
- database systems
- information systems
- artificial intelligence