Embedding continuous lifelong verification in service life cycles.
Domenico BianculliCarlo GhezziCesare PautassoPublished in: PESOS@ICSE (2009)
Keyphrases
- life cycle
- service providers
- business models
- design process
- model checking
- learning activities
- mass production
- protocol specification
- mobile platforms
- product life cycle
- requirements engineering
- concurrent engineering
- service composition
- lifelong learning
- product design
- software product
- service quality
- competence development
- mobile devices