Is Transition Systems Approach of Modeling Software Systems Hard to Learn and Use?
Mrityunjay KumarVenkatesh ChoppellaPublished in: CompEd (2) (2023)
Keyphrases
- software systems
- transition systems
- software engineering
- source code
- software components
- software design
- software architecture
- multi agent systems
- software development
- concurrent systems
- software maintenance
- linux kernel
- software testing
- finite state
- metamodel
- design patterns
- model checking
- practical reasoning
- software intensive systems
- artificial intelligence
- software engineers
- temporal logic
- control flow
- software repositories
- reactive systems
- data flow
- distributed databases
- distributed systems
- complex software systems
- clone detection
- web services