Sciweavers

235 search results - page 4 / 47
» Software Semantic Provisioning: Actually Reusing Software
Sort
View
SAC
2010
ACM
13 years 8 months ago
XTemplate 3.0: adding semantics to hypermedia compositions and providing document structure reuse
Hypermedia composite templates define generic structures of nodes and links that can be reused in different document compositions. The XTemplate language is an XML-based solutio...
Joel André Ferreira dos Santos, Débo...
FM
2003
Springer
160views Formal Methods» more  FM 2003»
14 years 3 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
IWPC
2008
IEEE
14 years 4 months ago
The Reuse of Grammars with Embedded Semantic Actions
Reusing syntax specifications without embedded arbitrary semantic actions is straightforward because the semantic analysis phases of new applications can feed off trees or other ...
Terence Parr
TOOLS
2000
IEEE
14 years 2 months ago
Generic Components to Foster Reuse
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
Lothar Baum, Martin Becker
ICOST
2009
Springer
14 years 4 months ago
Enhancing OSGi: Semantic Add-ins for Service Oriented Collaborative Environments
Service Oriented Architectures offer an incomparable setting for the management and reuse of services, mixing different factors like software and services. The ability to choose be...
Pablo Cabezas, Raúl Barrena, Jon Legarda, D...