1733 search results - page 88 / 347 » On the naturalness of software |
138
click to vote
PRDC
2007
IEEE
16 years 16 days ago
2007
IEEE
While email is fairly reliable, messages do get lost. This can be due to the store-and-forward nature of email, which passes responsibility for delivering email from one mail serv...
186
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
143
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
151
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
144
click to vote
QSIC
2005
IEEE
15 years 12 months ago
2005
IEEE
Dynamic service-oriented architectures aim to provide more flexible and robust systems that are able to handle change over time. Their dynamic nature however, provides extra chall...