-
13391
-
13392
The structure and value of modularity in software design.
Cyhoeddwyd yn Software engineering notes.Erthygl -
13393
-
13394
Automatic synthesis of deadlock free connectors for COM
Cyhoeddwyd yn Software engineering notes.Erthygl -
13395
A notation for problematic architecture interactions.
Cyhoeddwyd yn Software engineering notes.Erthygl -
13396
Using symbolic execution for verifying safety-critical systems.
Cyhoeddwyd yn Software engineering notes.Erthygl -
13397
Modular verification of collaboration-based software designs.
Cyhoeddwyd yn Software engineering notes.Erthygl -
13398
-
13399
-
13400
WREN---an environment for component-based development.
Cyhoeddwyd yn Software engineering notes.Erthygl