1117 search results - page 111 / 224 » Domain Specific Engineering Environments |
151
click to vote
RE
2004
Springer
15 years 9 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
128
Voted
XPU
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...
135
click to vote
ASWEC
2000
IEEE
15 years 8 months ago
2000
IEEE
The aim of the paper is to present the results of research into Component-Based software development by providing a specification mechanism allowing searching for components in a ...
130
Voted
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
142
Voted
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...