1162 search results - page 147 / 233 » Specifying Reusable Components |
123
Voted
EMSOFT
2010
Springer
15 years 18 days ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...
186
Voted
JUCS
2010
14 years 9 months ago
2010
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
128
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
97
Voted
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
108
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We address the problem of standardising the semantics of agent communication. The diversity of existing approaches suggests that no single agent communication language can satisfa...