Formal Specification in Collaborative Design of Critical Software Tools.
David CoppitKevin J. SullivanPublished in: HASE (1998)
Keyphrases
- software tools
- formal specification
- collaborative design
- model checking
- object oriented design
- engineering design
- computer supported
- process algebra
- design process
- reverse engineering
- collaborative learning
- conflict resolution
- multi agent
- formal methods
- information exchange
- design methodology
- real world
- software components
- design processes
- reinforcement learning