9006 search results - page 469 / 1802 » Modeling Software |
175
click to vote
WSC
2000
15 years 8 months ago
2000
Recent developments in software component technology have renewed the promise of reusable software. Combining this with the possibilities of sharing simulation results and models ...
238
click to vote
APAL
2011
15 years 1 months ago
2011
We describe strongly minimal theories Tn with finite languages such that in the chain of countable models of Tn, only the first n models have recursive presentations. Also, we d...
178
click to vote
BCSHCI
2007
15 years 8 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
187
click to vote
SIGSOFT
1994
ACM
15 years 11 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
151
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
The measurement of the functional size of applications generated in MDA environments is a challenge for the software development industry. This paper presents the OO-Method COSMIC ...