Toward a Formal Model of Software Components.
Maritta HeiselThomas SantenJeanine SouquièresPublished in: ICFEM (2002)
Keyphrases
- software components
- formal model
- software systems
- software development
- software modules
- software reuse
- building blocks
- web services
- commercial off the shelf
- formal models
- security properties
- java programs
- predicate calculus
- reusable components
- development environments
- formal specification
- high level
- software artifacts
- metadata
- security patterns
- artificial intelligence