122 search results - page 10 / 25 » Design snippets: partial design representations extracted fr... |
STTT
2010
13 years 7 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
When a query is submitted to a search engine, the search engine returns a dynamically generated result page containing the result records, each of which usually consists of a link...
CIKM
2007
Springer
14 years 2 months ago
2007
Springer
The rapid growth of available data arises the need for more sophisticated techniques for semantic access to information. It has been proved that using conceptual model or ontology...
ICSE
1999
IEEE-ACM
14 years 25 days ago
1999
IEEE-ACM
Many reverse-engineering tools have been developed to detract representations from source code. Yet, most of these tools completely ignore recovery of the all-important rationale ...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...