10870 search results - page 1811 / 2174 » Model Checking Programs |
162
click to vote
UM
2005
Springer
16 years 8 days ago
2005
Springer
Adaptive information systems typically exploit knowledge about the user’s interests, preferences, goals etc. to determine what should be presented to the user and how this presen...
193
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
197
click to vote
WAC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we describe ConStruct, a distributed, contextaggregation based service infrastructure which supports the development of context-aware applications. ConStruc...
144
click to vote
SAC
2004
ACM
16 years 6 days ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
167
click to vote
ARCS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...