Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study.
Xiaoqun DuKevin T. McDonnellEvangelos NanosY. S. RamakrishnaScott A. SmolkaPublished in: AMAST (1997)
Keyphrases
- lessons learned
- software design
- case study
- software development
- uml diagrams
- formal verification
- future directions
- formal methods
- asynchronous circuits
- software engineering
- software systems
- model checking
- protocol specification
- formal specification
- object oriented design
- open source
- high level
- participatory design
- signature verification
- design science
- functional requirements
- specification language
- design patterns
- educational software
- knowledge management
- concurrent systems
- literature review
- databases
- software components
- real world
- source code
- grounded theory
- design process
- cooperative learning
- learning technologies