Sciweavers

1143 search results - page 85 / 229
» Language Models Based on Semantic Composition
Sort
View
ECBS
2008
IEEE
124views Hardware» more  ECBS 2008»
14 years 12 months ago
Hierarchical Model to Develop Component-Based Systems
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
Abdelkrim Amirat, Mourad Oussalah
WWW
2005
ACM
15 years 10 months ago
Building adaptable and reusable XML applications with model transformations
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
Ivan Kurtev, Klaas van den Berg
JSW
2008
105views more  JSW 2008»
14 years 10 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
CC
1998
Springer
134views System Software» more  CC 1998»
15 years 2 months ago
Flow Logics for Constraint Based Analysis
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
Hanne Riis Nielson, Flemming Nielson
ENTCS
2007
119views more  ENTCS 2007»
14 years 10 months ago
PML: Toward a High-Level Formal Language for Biological Systems
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
Bor-Yuh Evan Chang, Manu Sridharan