1121 search results - page 105 / 225 » Building Formal Requirements Models for Reliable Software |
121
Voted
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...
179
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...
169
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
298
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
225
click to vote
SOSYM
2011
15 years 1 months ago
2011
In this document I present the work done under the supervision of Sebastian Uchitel between March and July 2008, in the research team of the Laboratorio de Fundamentos y Herramien...