Dinapter: Automatic Adapter Specification for Software Composition.
José Antonio MartínErnesto PimentelPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- industry standard
- software development
- open systems
- software systems
- semi automatic
- fully automatic
- software projects
- tool suite
- test case generation
- requirements specification
- formal verification
- hardware design
- software package
- software tools
- design patterns
- data sets
- computer systems
- data driven
- user interface
- real time
- user defined
- databases
- website
- reactive systems
- web services composition
- code generation
- web services
- computer software
- source code
- control flow
- formal methods
- modeling language
- database
- test cases