16 search results - page 4 / 4 » Checking Full Satisfiability of Conceptual Models |
EMSOFT
2005
Springer
14 years 4 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...