JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java.
Simon BliudzePetra van den BosMarieke HuismanRobert RubbensLarisa SafinaPublished in: FASE (2023)
Keyphrases
- software systems
- source code
- component based software
- open source
- software engineering
- software design
- software components
- software projects
- software architecture
- software maintenance
- high level
- software development
- metamodel
- programming language
- software developers
- object oriented
- complex software systems
- software evolution
- multi agent systems
- software engineers
- functional requirements
- software quality
- software intensive systems
- database applications
- development effort
- dynamic reconfiguration
- address these issues
- safety critical
- web applications
- design patterns
- case study