1676 search results - page 77 / 336 » Formal Development of Self-organising Systems |
146
click to vote
RSP
2005
IEEE
15 years 11 months ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
174
click to vote
FORTE
2007
15 years 7 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
148
click to vote
ISSAC
2009
Springer
16 years 12 days ago
2009
Springer
We study systems of higher-order linear differential equations having a regular singularity at the origin. Using the properties of matrix polynomials, we develop efficient method...
168
click to vote
LPAR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
214
click to vote
SEW
2006
IEEE
15 years 12 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...