Formal architectural abstractions for interactive software.
Panos MarkopoulosPeter JohnsonJon RowsonPublished in: Int. J. Hum. Comput. Stud. (1998)
Keyphrases
- software architecture
- high level
- graphic user interface
- formal methods
- software development
- software tools
- computer systems
- user interaction
- software systems
- source code
- formal model
- software package
- graphical user interfaces
- architectural design
- real time
- requirements specification
- software platform
- design processes
- computer software
- hardware design
- trade off
- software maintenance
- open source