Constraint-based wrapper specification and verification for cooperative information systems.
Thomas Y. LeeYingwei YangPublished in: Inf. Syst. (2004)
Keyphrases
- cooperative
- information systems
- formal verification
- asynchronous circuits
- model checking
- formal methods
- protocol specification
- black box
- colored petri nets
- feature selection
- health care
- business rules
- formal specification
- requirements analysis
- distributed problem solving
- information technology
- constraint satisfaction
- high level
- multi agent
- conceptual models
- cooperative learning
- game theory
- multi agent systems
- petri net
- knowledge management
- systems development
- legacy systems
- specification language
- design science
- signature verification
- face verification
- public health
- web information extraction
- concurrent systems
- functional verification