Modular verification of collaboration-based software designs.
Kathi FislerShriram KrishnamurthiPublished in: ESEC / SIGSOFT FSE (2001)
Keyphrases
- software systems
- software design
- information sharing
- user interface
- asynchronous circuits
- software tools
- computer systems
- software development
- software engineering
- information systems
- case study
- data sets
- software platform
- collaborative environment
- software evolution
- software package
- formal methods
- software developers
- source code
- software projects
- design patterns
- software architecture
- learning environment
- petri net
- knowledge management
- collaborative learning