Title | ||
---|---|---|
Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution. |
Abstract | ||
---|---|---|
•System model capturing time-synchronous component and connector systems.•Method for semantic differencing provided data types are finite.•Semantic differencing method possible on bush-button basis.•Method yields witnesses, facilitates evolution management.•Enables fully automatically proving stepwise refinement. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1016/j.jss.2018.12.016 | Journal of Systems and Software |
Keywords | Field | DocType |
Component Software Engineering,Semantics,Automata,Refinement,Semantic Differencing,Evolution Analysis | USable,Architecture,Computer science,Automaton,Communication channel,Real-time computing,Theoretical computer science,Architecture evolution,Cable gland,System model,Büchi automaton | Journal |
Volume | ISSN | Citations |
149 | 0164-1212 | 1 |
PageRank | References | Authors |
0.35 | 20 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Arvid Butting | 1 | 11 | 3.18 |
Oliver Kautz | 2 | 10 | 2.83 |
Bernhard Rumpe | 3 | 2691 | 313.45 |
Andreas Wortmann | 4 | 163 | 30.41 |