1021 search results - page 41 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
SIGSOFT
2004
ACM
15 years 12 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
118
click to vote
TII
2008
14 years 11 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
GPCE
2003
Springer
15 years 4 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
ECIR
2007
Springer
15 years 19 days ago
2007
Springer
Abstract. The identification of reliable and interesting items on Internet becomes more and more difficult and time consuming. This paper is a position paper describing our intend...
AC
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception