Formal specification of non-functional properties of component-based software systems.
Steffen ZschalerPublished in: Softw. Syst. Model. (2010)
Keyphrases
- formal specification
- software systems
- software components
- software engineering
- specification language
- object oriented design
- software development
- software design
- source code
- model checking
- reverse engineering
- data abstraction
- service oriented
- software architecture
- functional requirements
- software maintenance
- concurrent systems
- process algebra
- multi agent systems
- formal methods
- software engineers
- design patterns
- metamodel
- software evolution
- software reuse
- service selection
- software testing
- software quality
- information systems
- complex software systems
- database
- modeling language
- case study