4151 search results - page 144 / 831 » Language Driven System Design |
124
click to vote
ITS
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
193
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
166
click to vote
DKE
2011
14 years 10 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
119
click to vote
EURODAC
1995
IEEE
15 years 6 months ago
1995
IEEE
The requirements of large system design place great demands upon the performance and diagnostic capabilities of simulation. This paper explains how these requirements have been sa...
110
click to vote
ICECCS
2002
IEEE
15 years 8 months ago
2002
IEEE
Cost-effective development of large, integrated computer-based systems can be realized through systematic reuse of development experiences throughout the development process. In t...