70 search results - page 6 / 14 » Step-wise Refinement Design Example Using LOTOS |
POPL
2006
ACM
14 years 8 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...
AIS
2000
Springer
13 years 7 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
13 years 9 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
12 years 11 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...
ACMIDC
2010
13 years 11 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...