2409 search results - page 178 / 482 » Logical systems for structured specifications |
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
216
click to vote
ASWEC
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
176
click to vote
ER
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we argue that many of the problems one may experience while visiting websites today may be avoided if their builders adopt a proper methodology for designin...
155
click to vote
IADIS
2004
15 years 8 months ago
2004
The complexity of preserving the web is becoming one of the most important information and communication media. While the quantity of digital resources available through the web i...
158
click to vote
SAJ
2000
15 years 6 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...