Timing verification of component-based vehicle software with rubus-ICE: end-user's experience.
Saad MubeenMattias GålnanderAlessio BucaioniJohn LundbäckKurt-Lennart LundbäckPublished in: SQUADE@ICSE (2018)
Keyphrases
- end users
- user interface
- user experience
- user requirements
- application development
- web applications
- service providers
- user friendliness
- asynchronous circuits
- software development
- pedestrian detection
- computer systems
- software systems
- search tools
- user driven
- business intelligence
- software quality
- user friendly
- software developers
- model checking
- real time
- formal methods
- cloud computing
- data processing
- source code
- interactive data mining