Software Components: a Formal Semantics Based on Coloured Petri Nets.
Rémi BastideEric BarboniPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- software components
- coloured petri nets
- formal specification
- software systems
- software development
- software reuse
- building blocks
- formal verification
- software modules
- java programs
- commercial off the shelf
- reusable components
- web services
- development environments
- case study
- data sets
- component based architecture
- life cycle
- artificial intelligence