803 search results - page 70 / 161 » Building Formal Models for Software Requirements |
142
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
ECAI
2004
Springer
15 years 9 months 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...
120
click to vote
SEMWEB
2009
Springer
15 years 10 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...
135
click to vote
KBSE
2007
IEEE
15 years 10 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 ...
119
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...