A tool for visual and formal modelling of software designs.
Nuno AmálioChristian GlodtPublished in: Sci. Comput. Program. (2015)
Keyphrases
- software tools
- software application
- software package
- design tools
- graphical user interface
- software systems
- visual representations
- software design
- software maintenance
- software platform
- computer systems
- software development
- open source
- software architecture
- low level
- program understanding
- requirements specification
- code snippets
- formal methods
- free software
- intelligent software
- case study
- formal model
- visual information
- visual cues
- visual features
- test cases
- information systems
- uml profile
- high level
- programming tool
- multi agent systems
- data model
- software engineering
- computer software
- hardware design
- visual analysis
- embedded systems
- software quality
- visual perception