5961 search results - page 885 / 1193 » Design Science and Software Engineering |
135
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
112
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
132
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
An important characteristic of ubiquitous computing is that the computational services in our environment are envisioned to be far more interconnectable than today. This means it ...
151
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
112
click to vote
AOSD
2004
ACM
15 years 9 months ago
2004
ACM
It is generally accepted that early determination of the stakeholder requirements assists in the development of systems that better meet the needs of those stakeholders. General s...