-
34431
Using an SQL coverage measurement for testing database applications.
Опубликовано в: Software engineering notes.Статья -
34432
-
34433
Topology based automation of distributed applications management.
Опубликовано в: Software engineering notes.Статья -
34434
A graph based architectural (Re)configuration language.
Опубликовано в: Software engineering notes.Статья -
34435
-
34436
Deadlock detection in distribution object systems.
Опубликовано в: Software engineering notes.Статья -
34437
-
34438
Detecting implied scenarios in message sequence chart specifications.
Опубликовано в: Software engineering notes.Статья -
34439
-
34440
Using symbolic execution for verifying safety-critical systems.
Опубликовано в: Software engineering notes.Статья