70 search results - page 6 / 14 » Step-wise Refinement Design Example Using LOTOS |
163
Voted
POPL
2006
ACM
15 years 9 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
70
Voted
AIS
2000
Springer
14 years 9 months ago
2000
Springer
Interface design normally follows the traditional approach of Art and Design, which requires reworking to refine an idea through visual playfulness until a solution has been achiev...
OMER
2001
14 years 11 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Programmers frequently use the Web while writing code: they search for libraries, code examples, tutorials, and documentation. This link between code and visited Web pages remains...
82
Voted
ACMIDC
2010
15 years 1 months ago
2010
COSPATIAL is a multi-disciplinary project that is using collaborative virtual reality and tabletop devices for training social competence within the theoretical framework of Cogni...