-
531
Automatic generation of suggestions for program investigation.
الحاوية / القاعدة Software engineering notes.مقال -
532
-
533
-
534
Reasoning about confidentiality at requirements engineering time.
الحاوية / القاعدة Software engineering notes.مقال -
535
-
536
A case study on value-based requirements tracing.
الحاوية / القاعدة Software engineering notes.مقال -
537
Fluent temporal logic for discrete-time event-based models.
الحاوية / القاعدة Software engineering notes.مقال -
538
-
539
-
540
Context- and path-sensitive memory leak detection.
الحاوية / القاعدة Software engineering notes.مقال