-
13271
MonDe safe updating through monitored deployment of new component versions.
Veröffentlicht in Software engineering notes.Artikel -
13272
Making distributed systems secure with program analysis and transformation.
Veröffentlicht in Software engineering notes.Artikel -
13273
Invariants and state in testing and formal methods.
Veröffentlicht in Software engineering notes.Artikel -
13274
Symbolic path simulation in path-sensitive dataflow analysis.
Veröffentlicht in Software engineering notes.Artikel -
13275
-
13276
Static control-flow analysis for reverse engineering of UML sequence diagrams.
Veröffentlicht in Software engineering notes.Artikel -
13277
-
13278
Formally modelling software architectures with the UML 2.0 profile for π-ADL.
Veröffentlicht in Software engineering notes.Artikel -
13279
Linguistic continuity in software engineering.
Veröffentlicht in Software engineering notes.Artikel -
13280