4258 search results - page 446 / 852 » Languages and Interactive Software Development |
138
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in o...
117
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Pipeline, Delta, and Black Hole are three simple patterns used in concurrent software design. We recently presented these and other patterns for parallelism at a nine-hour worksho...
131
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
148
click to vote
HASKELL
2008
ACM
15 years 6 months ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...
141
click to vote
GG
2004
Springer
15 years 10 months ago
2004
Springer
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...