967 search results - page 65 / 194 » Languages and Tools for Hybrid Systems Design |
CHI
1995
ACM
13 years 11 months ago
1995
ACM
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
ESANN
2001
13 years 9 months ago
2001
Over the years the amount and range of electronic text stored on the WWW has expanded rapidly, overwhelming both users and tools designed to index and search the information. It is...
OOPSLA
2007
Springer
14 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 ...
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...
OOPSLA
2001
Springer
14 years 4 days ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...