Sciweavers

1138 search results - page 112 / 228
» Talking about concerns
Sort
View
JSW
2008
105views more  JSW 2008»
15 years 5 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
JOLLI
2006
86views more  JOLLI 2006»
15 years 5 months ago
Types as Graphs: Continuations in Type Logical Grammar
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
Chris Barker, Chung-chieh Shan
ENTCS
2007
92views more  ENTCS 2007»
15 years 5 months ago
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
Clemens Grabmayer
JSCIC
2006
92views more  JSCIC 2006»
15 years 5 months ago
Moving Mesh Discontinuous Galerkin Method for Hyperbolic Conservation Laws
In this paper, a moving mesh discontinuous Galerkin (DG) method is developed to solve the nonlinear conservation laws. In the mesh adaptation part, two issues have received much a...
Ruo Li, Tao Tang
RE
2006
Springer
15 years 5 months ago
A Case Study in Systematic Improvement of Language for Requirements
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...
Kimberly S. Wasson