-
531
Automatic generation of suggestions for program investigation.
Gepubliceerd in Software engineering notes.Artikel -
532
-
533
-
534
Reasoning about confidentiality at requirements engineering time.
Gepubliceerd in Software engineering notes.Artikel -
535
Detecting and resolving semantic pathologies in UML sequence diagrams.
Gepubliceerd in Software engineering notes.Artikel -
536
A case study on value-based requirements tracing.
Gepubliceerd in Software engineering notes.Artikel -
537
Fluent temporal logic for discrete-time event-based models.
Gepubliceerd in Software engineering notes.Artikel -
538
-
539
-
540
Context- and path-sensitive memory leak detection.
Gepubliceerd in Software engineering notes.Artikel