An Architecture Description Language for Verification in Component-Based Software.
Ahcene BouzoualeghDominique MarcadetFrédéric BoulangerChristophe JacquetPublished in: COMPSAC (2008)
Keyphrases
- description language
- component based software
- model checker
- software systems
- software architecture
- web services
- integration testing
- web applications
- web service composition
- action language
- model checking
- description languages
- formal verification
- multi agent systems
- planning domains
- software testing
- specification language
- logic programs
- test cases
- orders of magnitude
- information systems
- cooperative
- data structure
- data model