3522 search results - page 161 / 705 » Modeling and Aspect Weaving |
JCSS
2011
13 years 5 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
CADE
2004
Springer
14 years 11 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
VAMOS
2007
Springer
14 years 4 months ago
2007
Springer
Variability modeling is at the heart of product line engineering. Variability models entail features and architectural elements, technical customization aspects, sales and marketi...
IEEEARES
2006
IEEE
14 years 4 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
ITRE
2006
IEEE
14 years 4 months ago
2006
IEEE
Knowledge models are structured representations of knowledge using symbols to represent pieces of knowledge and relationships between them, while a knowledge building community inv...