2253 search results - page 289 / 451 » An Approach to Specifying Software Frameworks |
243
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
158
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
164
click to vote
INTENSIVE
2009
IEEE
15 years 11 months ago
2009
IEEE
Digital Preservation deals with the long-term storage, access, and maintenance of digital data objects. In order to prevent a loss of information, digital libraries and archives a...
120
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
134
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engi...