1676 search results - page 229 / 336 » Formal System Development with KIV |
162
click to vote
SPLC
2008
15 years 6 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
148
click to vote
WICSA
2008
15 years 6 months ago
2008
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
126
click to vote
BNCOD
2004
15 years 6 months ago
2004
When storing data in heterogeneous databases, one of the top-down design issues concerns the usage of multiple query languages. A common language enables querying of database schem...
133
click to vote
CSREAEEE
2006
15 years 6 months ago
2006
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
167
Voted
APPINF
2003
15 years 6 months ago
2003
We deal with mechanical documentation in software development tools. First, we review tabular forms for program specification and their formal syntax by an attribute edNCE graph ...