An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems.
Yuting ChenShaoying LiuLinzhang WangPublished in: QSIC (2010)
Keyphrases
- software systems
- data flow
- formal specification language
- database machine
- software engineering
- software design
- software components
- control flow
- source code
- software maintenance
- software development
- temporal logic
- object oriented software
- software architecture
- formal methods
- metamodel
- formal specification
- multi agent systems
- software testing
- software quality
- software evolution
- embedded systems
- systolic array
- software engineers
- component based software
- complex software systems
- design patterns
- object oriented
- databases
- software projects
- information systems
- software intensive systems
- machine learning