Behavioral Specification of Distributed Software Component Interfaces.
Cynthia Della Torre CicaleseShmuel RotenstreichPublished in: Computer (1999)
Keyphrases
- software components
- formal specification
- software systems
- software reuse
- distributed systems
- reusable components
- multi agent
- cooperative
- software development
- distributed environment
- metadata
- high level
- database
- software engineering
- user interface
- human behavior
- specification language
- case study
- development environments
- component based software engineering