2935 search results - page 258 / 587 » An Integrated Approach to High Integrity Software Verificati... |
166
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
196
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Component recovery supports program understanding, architecture recovery, and re-use. Among the best known techniques for detection of re-usable objects (related global variables ...
164
click to vote
WSC
2007
15 years 9 months ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
170
click to vote
CODES
2007
IEEE
16 years 29 days ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
182
click to vote
ISORC
2007
IEEE
16 years 28 days ago
2007
IEEE
In service-based systems, services from various providers can be integrated following specific workflows to achieve users’ goals. These workflows are often executed and coordina...