6474 search results - page 1019 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
179
click to vote
EMSOFT
2005
Springer
16 years 26 days ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
175
click to vote
PROFES
2005
Springer
16 years 25 days ago
2005
Springer
This paper addresses the almost never-ending headache the role of documentation has given for software projects. Working software has been given recently a focus over comprehensive...
215
click to vote
CAISE
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
219
click to vote
ERLANG
2003
ACM
16 years 18 days ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
185
click to vote
DFG
2007
Springer
15 years 11 months ago
2007
Springer
: Interval arithmetic was introduced by Ramon Moore [Moo66] in the 1960s as an approach to bound rounding errors in mathematical computation. The theory of interval analysis emerge...