2278 search results - page 332 / 456 » Specification Techniques for Automatic Performance Analysis ... |
85
Voted
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
132
click to vote
APCCM
2009
15 years 22 days ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...
RE
2008
Springer
14 years 11 months ago
2008
Springer
An accurate set of traceability relations between software development artifacts is desirable to support evolutionary development. However, even where an initial set of traceabili...
ICSE
2008
IEEE-ACM
16 years 13 days ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...