3185 search results - page 128 / 637 » Principles for modeling language design |
ESOP
1992
Springer
13 years 12 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
DGO
2008
13 years 9 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
SEMCO
2009
IEEE
14 years 2 months ago
2009
IEEE
—CSML is a semantic markup language created for the publishing and sharing of conceptual spaces, which are geometric structures that represent semantics at the conceptual level. ...