3185 search results - page 476 / 637 » Principles for modeling language design |
161
Voted
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
162
Voted
ITICSE
2005
ACM
16 years 16 days ago
2005
ACM
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
183
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
195
Voted
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
173
Voted
DOCENG
2006
ACM
16 years 28 days ago
2006
ACM
This paper presents a system that exploits the benefits of modelling multimedia presentations as structured documents within the context of interactive digital television systems....