Sciweavers

2190 search results - page 13 / 438
» Constructing Use Case Model by Using a Systematic Approach: ...
Sort
View
SYNASC
2006
IEEE
64views Algorithms» more  SYNASC 2006»
14 years 2 months ago
Scheme-Based Systematic Exploration of Natural Numbers
In this paper, we report a case study of computer supported exploration of the theory of natural numbers, using a theory exploration model based on knowledge schemes, proposed by ...
Madalina Hodorog, Adrian Craciun
SQJ
2008
96views more  SQJ 2008»
13 years 7 months ago
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies
A design pattern is realized in various forms depending on the context of the applications. There has been intensive research on detecting pattern instances in models and in implem...
Dae-Kyoo Kim, Wuwei Shen
CPAIOR
2008
Springer
13 years 10 months ago
Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs
Solution-Guided Multi-Point Constructive Search (SGMPCS) is a complete, constructive search technique that has been shown to out-perform standard constructive search techniques on ...
Ivan Heckman, J. Christopher Beck
WER
2005
Springer
14 years 2 months ago
Using Task Descriptions for the Specification of Web Application Requirements
There are a significant number of proposals for modelling and developing Web Applications, but very few of them state rigorously how to elicit and represent requirements, and how t...
Pedro Valderas, Joan Fons, Vicente Pelechano
SAFECOMP
2010
Springer
13 years 7 months ago
Deriving Safety Cases for Hierarchical Structure in Model-Based Development
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
Nurlida Basir, Ewen Denney, Bernd Fischer 0002