2409 search results - page 231 / 482 » Logical systems for structured specifications |
133
click to vote
ICFEM
1998
Springer
15 years 9 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
141
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
144
click to vote
ADBIS
2001
Springer
15 years 9 months ago
2001
Springer
Due to the rapid growth of the Web, there is an increasing need for methodologies that support the design of Web-based Information Systems (WIS). After investigating the applicatio...
204
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
151
click to vote
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...